| 2024 | Development and Maintenance of Trust in Human-Drone Interaction: Preliminary Empirical Findings in a Warehouse Setting. | Annette Kluge, Lisa Thomaschewski, Christopher Reining, Sven Franke, Shrutarv Awasthi, Moritz Roidl, Olga Vogel, Markus Pauly |
| 2024 | Optimizing Label Coverage Using Regular Expression-Based Linear Programming. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi, Hadhami Elouni |
| 2024 | Responsibility Attribution for AI-Mediated Damages with Mechanistic Interpretability. | Lena Kstner, Johann Cordes, Herbert Zech |
| 2024 | Statistical Model Checking the 2024 Edition! | Sudeep Kanav, Jan Kretnsk, Kim G. Larsen |
| 2024 | Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks. | Jintao Jia, Gaiyun Liu, Zhiwu Li |
| 2024 | Reinforcement Learning for Discretized Euclidean MDPs. | Manfred Jaeger, Kim Guldstrand Larsen |
| 2024 | Context Engineering for AI-Assisted Programming for Domain-Specific Languages. | Moez Ben Haj Hmida, Edward A. Lee |
| 2024 | AI Act for the Working Programmer. | Holger Hermanns, Anne Lauber-Rnsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang |
| 2024 | Towards a Model for Energy-Efficient and Flexible IoT Systems. | Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet |
| 2024 | Responsible and Trusted AI: An Interdisciplinary Perspective. | Thorsten Helfer, Kevin Baum, Andreas Sesing-Wagenpfeil, Eva Schmidt, Markus Langer |
| 2024 | A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. | Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi, Mohamed Ghazel |
| 2024 | A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees. | Mario Gleirscher, Philip Hnnecke |
| 2024 | Feedback from AI Team Members: Implications on Self-image and Trust. | Eleni Georganta, Anna-Sophie Ulfert, Zhen-Cong Ng |
| 2024 | Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach. | Ikram Garfatta, Kas Klai, Walid Gaaloul |
| 2024 | The Impact of Generative Artificial Intelligence Tools in Project-Based Learning. | Tom van Dijk, Vadim Zaytsev |
| 2024 | Team Design Patterns for Meaningful Human Control in Responsible Military Artificial Intelligence. | Jurriaan van Diggelen, Christine Boshuijzen-van Burken, Hussein A. Abbass |
| 2024 | Toward Green Data Lake Management and Analysis Through a CTMC Model. | Marzieh Derakhshannia, Julien Grange, Nihal Pekergin |
| 2024 | Formal Verification of Coupled Transmission Lines using Theorem Proving. | Elif Deniz, Adnan Rashid, Sofine Tahar |
| 2024 | Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges. | Christian Colombo, Gordon J. Pace, Dylan Seychell |
| 2024 | LLM-Based Scheme for Synthesis of Formal Verification Algorithms. | Itay Cohen, Doron Peled |
| 2024 | Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns |
| 2024 | Efficient Shield Synthesis via State-Space Transformation. | Asger Horn Brorholt, Andreas Holck Heg-Petersen, Kim Guldstrand Larsen, Christian Schilling |
| 2024 | LC/NC Pipeline for Training and Operationalising Segmentation Models in a Data Scarce Domain: De-arraying Tissue MicroArrays. | Colm Brandon, anna Fennell, Amandeep Singh, Tiziana Margaria |
| 2024 | Monitoring of Neural Network Classifiers Using Neuron Activation Paths. | Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel |
| 2024 | Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. | Tobias Worm Bgedal, Ren Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen |