| 2023 | End-to-End AI Generated Runtime Verification from Natural Language Specification. | Itay Cohen, Doron Peled |
| 2023 | Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning. | Itay Cohen, Doron Peled |
| 2023 | ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. | Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen |
| 2023 | Shielded Reinforcement Learning for Hybrid Systems. | Asger Horn Brorholt, Peter Gjl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling |
| 2023 | Interoperating Civil Registration of Death and Census Data: Old Age and Marriage as Categories of Analysis. | Ciara Breathnach, Rachel Murphy, Alexander Schieweck, Tiziana Margaria |
| 2023 | Digital Humanities and Cultural Heritage in AI and IT-Enabled Environments. | Ciara Breathnach, Tiziana Margaria |
| 2023 | Model Driven Development for AI-Based Healthcare Systems: A Review. | Colm Brandon, Amandeep Singh, Tiziana Margaria |
| 2023 | A Sound Abstraction Method Towards Efficient Neural Networks Verification. | Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel |
| 2023 | AI and Democratic Equality: How Surveillance Capitalism and Computational Propaganda Threaten Democracy. | Ashton Black |
| 2023 | Formal XAI via Syntax-Guided Synthesis. | Katrine Bjrner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Knighofer |
| 2023 | Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper). | Dirk Beyer |
| 2023 | Future Opportunities for Systematic AI Support in Healthcare. | Markus Bertl, Gunnar Piho, Dirk Draheim, Peeter Ross, Ludwig Pechmann, Nicholas Bucciarelli, Rahul Sharma |
| 2023 | Challenges for AI in Healthcare Systems. | Markus Bertl, Yngve Lamo, Martin Leucker, Tiziana Margaria, Esfandiar Mohammadi, Suresh Kumar Mukhiya, Ludwig Pechmann, Gunnar Piho, Fazle Rabbi |
| 2023 | Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. | Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Knighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu |
| 2023 | What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. | Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao |
| 2023 | Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. | Lenz Belzner, Thomas Gabor, Martin Wirsing |
| 2023 | Formal Verification of a Post-quantum Signal Protocol with Tamarin. | Hugo Beguinet, Cline Chevalier, Thomas Ricosset, Hugo Senet |
| 2023 | Factorization of the State Space Construction for Cyclic Systems with Data. | Johan Arcile, Raymond Devillers, Hanna Klaudel |
| 2023 | Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. | Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens |
| 2023 | DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. | Hamzah Al-Qadasi, Ylis Falcone, Saddek Bensalem |
| 2023 | AI-Assisted Programming with Test-Based Refinement. | Bernhard K. Aichernig, Klaus Havelund |
| 2023 | AI Assisted Programming - (AISoLA 2023 Track Introduction). | Wolfgang Ahrendt, Klaus Havelund |
| 2023 | Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. | Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke |
| 2021 | Coalition Formation with Multiple Alternatives of Interdependent Tasks. | Youcef Sklab, Samir Aknine, Onn Shehory, Hanane Ariouat |
| 2021 | Roles and Responsibilities for a Predictable Update Process - A Position Paper. | Astrid Rakow, Janis Krger |