| 2024 | Quantum Machine Learning in Precision Medicine and Drug Discovery - A Game Changer for Tailored Treatments? | Markus Bertl, Alan Mott, Salvatore Sinno, Bhavika Bhalgamiya |
| 2024 | Transparent Transparency Developing a Scheme for Understanding Transparency Requirements. | Deborah Baum, Kevin Baum, Sasha Zamani, Christian Bennoit, Dirk Werth |
| 2024 | Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics. | Kevin Baum |
| 2024 | A Comparison of Monitoring Techniques for Deep Neural Networks. | Ezio Bartocci, Wasim Essbai |
| 2024 | Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code. | Bernhard K. Aichernig, Klaus Havelund |
| 2024 | A Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices. | Mohamed Aiche, Samir Ouchani, Hafida Bouarfa |
| 2024 | AI Assisted Programming - (AISoLA 2024 Track Introduction). | Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund |
| 2023 | AI-Related Risk and Uncertainty. | Giacomo Zanotti, Daniele Chiffi, Viola Schiaffonati |
| 2023 | Using Passive Sensing to Identify Depression. | Evi Zafeiridi, Malik Muhammad Qirtas, Eleanor Bantry-White, Dirk Pesch |
| 2023 | Mapping Madness: HGIS and the Analysis of Irish Patient Records. | Oonagh Walsh, Stuart Clancy |
| 2023 | Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. | Martin Tappler, Bernhard K. Aichernig |
| 2023 | A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks. | Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui |
| 2023 | From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations Can Save the World. | Maike Schwammberger |
| 2023 | The Reachability Problem for Neural-Network Control Systems. | Christian Schilling, Martin Zimmermann |
| 2023 | Thinking Outside the Box? - Regulatory Sandboxes as a Tool for AI Regulation. | Hannah Ruschemeier |
| 2023 | Digitised Historical Sources and Non-digital Humanists: An Interdisciplinary Challenge? | Maelle Le Roux, Anna Gasperini |
| 2023 | Benchmark: Neural Network Malware Classification. | Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson |
| 2023 | A Comparative Study of Online Cybersecurity Training Platforms. | Abdeslam Rehaimi, Yassine Sadqi, Yassine Maleh |
| 2023 | Towards a Multi-dimensional Health Data Analysis Framework. | Fazle Rabbi, Bahareh Fatemi, Suresh Kumar Mukhiya, Yngve Lamo |
| 2023 | Towards ML-Integration and Training Patterns for AI-Enabled Systems. | Sven Peldszus, Henriette Knopp, Yorick Sens, Thorsten Berger |
| 2023 | Coding Historical Causes of Death Data with Large Language Models. | Bjrn-Richard Pedersen, Maisha Islam, Doris Tove Kristoffersen, Lars Ailo Bongo, Eilidh Garrett, Alice Reid, Hilde L. Sommerseth |
| 2023 | CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. | Ludwig Pechmann, Yannik Potdevin, Kai Brehmer, Dirk Nowotka, Martin Leucker |
| 2023 | Optimized Smart Sampling. | Maxime Parmentier, Axel Legay, Firmin Chenoy |
| 2023 | Benchmark: Formal Verification of Semantic Segmentation Neural Networks. | Neelanjana Pal, Seojin Lee, Taylor T. Johnson |
| 2023 | An Enhanced Interface-Based Probabilistic Compositional Verification Approach. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |