| 2024 | Formal Security Analysis of Deep Neural Network Architecture. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2024 | Monitoring Safety and Reliability of Underwater Robots: A Case Study. | Mahsa Varshosaz, Andrzej Wasowski |
| 2024 | Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa. | Andrea Vandin |
| 2024 | A Formal Approach for Verifying and Validating Security Objectives in Software Architecture. | Loc Thierry, Brahim Hamid, Jason Jaskolka |
| 2024 | Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints. | Perla Tannoury, Ahmed Hammad |
| 2024 | DRL Based SFC Orchestration in SDN/NFV Environments Subject to Transient Unavailability. | Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui |
| 2024 | Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase. | Amer Tahat, David S. Hardin, Adam Petz, Perry Alexander |
| 2024 | On SMC-Based Dependability Analysis in LoLiPoP-IoT Project. | Josef Strnadel, Jakub Lojda, Pavel Smrz, Vclav Simek |
| 2024 | Using Statistical Model Checker for Schedulability Analysis of Real-Time Systems Under Uncertainty. | Josef Strnadel |
| 2024 | What Computing Professionals Should Know About Ethics: Perspectives of Philosophers. | Sarah Sterz |
| 2024 | SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning. | Gerhard Stenzel, Kyrill Schmid, Michael Klle, Philipp Altmann, Marian Lingsch Rosenfeld, Maximilian Zorn, Tim Bcher, Thomas Gabor, Martin Wirsing, Lenz Belzner |
| 2024 | It's Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games. | Maike Schwammberger, Qais Hamarneh |
| 2024 | Is Your AI-Based System Five Star Sustainable? | Ina K. Schieferdecker |
| 2024 | ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario. | Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel |
| 2024 | Towards Person-Owned and Controlled Personal Health Records: Past, Present, and Future Research at eMedLab, TalTech. | Gunnar Piho, Toomas Klementi, Igor Bossenko, Kristian Kankainen, Marten Kask, Olga Vovk, Peeter Ross |
| 2024 | Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software. | Minal Suresh Patil, Gustav Ung, Mattias Nyberg |
| 2024 | Adaptive Stopping Algorithms Based on Concentration Inequalities. | Maxime Parmentier, Axel Legay |
| 2024 | Verification and Learning for Assured Autonomy. | Ral Pardo, Devdatt P. Dubhashi, Gerardo Schneider, Hazem Torfah |
| 2024 | Intrusion Detection Using an Enhancement Bi-LSTM Recurrent Neural Network Model. | Nour Elhouda Oueslati, Hichem Mrabet, Abderrazak Jemai |
| 2024 | Systematic Translation from Natural Language Robot Task Descriptions to STL. | Sara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy V. Deshmukh |
| 2024 | MDE in the Era of Generative AI. | Ahmed Alaoui Mdaghri, Meriem Ouederni, Lotfi Chari |
| 2024 | A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL. | Christoph Matheja |
| 2024 | Certainty vs. Intelligence. | Edward A. Lee |
| 2024 | Epistemic Deference to AI. | Benjamin Lange |
| 2024 | Towards Verifying Robotic Systems Using Statistical Model Checking in STORM. | Marco Lampacrescia, Michaela Klauck, Matteo Palmas |