| 2025 | Dead Transitions Analysis and Resolution in Dual-Time Petri Nets. | Shu Zhang, Ruotian Liu, Yufeng Chen, Maria Pia Fanti, Wei Wei, Boyu Dong |
| 2025 | AGREE-Dog Copilot: A Neuro-Symbolic Approach to Enhanced Model-Based Systems Engineering. | Amer Tahat, Isaac Amundson, David S. Hardin, Darren D. Cofer |
| 2025 | Justifications for Democratizing AI Alignment and Their Prospects. | Andr Steingrber, Kevin Baum |
| 2025 | Correct-by-Construction Code Generation from Event-B to Python. | Neeraj Kumar Singh |
| 2025 | Integrating LLMs with QC-OpenDRIVE: Ensuring Normative Correctness in Autonomous Driving Scenarios. | Julian Mller, Thies de Graaff, Eike Mhlmann |
| 2025 | Transformation of DES Formalisms with the Assistance of Generative AI. | Celina Lemmouchi, Rim Saddem-Yagoubi |
| 2025 | Extended Abstract: Will Embodied AI Become Sentient? | Edward A. Lee |
| 2025 | On the Complexities of Testing for Compliance with Human Oversight Requirements in AI Regulation. | Markus Langer, Veronika Lazar, Kevin Baum |
| 2025 | A Voice-Enabled Query Framework for Systems Engineering Artefacts. | Lennart Landt, Martin Leucker, Carsten Burchardt |
| 2025 | Network Traversal Time (NTT) Analysis of ST Flows with Non-zero Arrival Jitter in TSN Networks. | Pavan Kumar Kondooru, Deepak Gangadharan |
| 2025 | Responsible and Trusted AI: An Interdisciplinary Perspective (2025). | Sophie Kerstan, Kevin Baum, Thorsten Helfer, Markus Langer, Eva Schmidt, Andreas Sesing-Wagenpfeil, Timo Speith |
| 2025 | Partially Aggregatable Distributed Multi-Key Generation Protocol. | Rym Kalai, Wafa Neji, Narjes Ben Rajeb |
| 2025 | Intelligent Path Planning for UAV Swarms via Deep Reinforcement Learning. | Hafedh Jouini, Hamza Gharsellaoui, Mohamed Khalgui |
| 2025 | CASP: An Evaluation Dataset for Formal Verification of C Code. | Niclas Hertzberg, Merlijn Sevenhuijsen, Liv Kreborn, Anna Lokrantz |
| 2025 | RAG and Agentic Assistant: A Combined Approach. | Moez Ben HajHmida, Edward A. Lee |
| 2025 | A Multivariate Stochastic Ordering for Analysis of Task Graphs with Correlated Random Durations. | Jean-Michel Fourneau, Soumeya Kaada, Nihal Pekergin |
| 2025 | LLM-Based Property-Based Test Generation for Guardrailing Cyber-Physical Systems. | Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson |
| 2025 | Supporting a SOTIF Safety Argument by Activation Pattern Monitoring with Statistical Guarantees. | Rdiger Ehlers, Loch Kamdoum Deameni, Nikita Maslov |
| 2025 | Reversibility-Aware Step Graphs for State Space Reduction and Reversibility Checking in Concurrent Systems. | Hao Dou, Mengchu Zhou, Shouguang Wang, Dan You, Wenli Duo |
| 2025 | Tuning NB-IoT Power Battery Lifetime Using SPN Modeling. | Mohammed Djahafi, Nabila Salmi |
| 2025 | Rail Requirements Tracking and Architectural Verification. | Aroua Ben Daya, Rim Saddem-Yagoubi, Mohamed Taha Bennani |
| 2025 | On the Formalization of Pseudoinverse of the Laplacian Matrix in HOL. | Kubra Aksoy, Adnan Rashid, Sofine Tahar |
| 2025 | A Generic Event-B Theory for the Formalisation of the International System of Units. | Idir At-Sadoune |
| 2025 | AI Assisted Programming (AISoLA 2025 Track Introduction). | Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund |
| 2025 | $\mathbb {FETMA}$: A Tool for Functional Block Diagram and Event Tree Based Safety Analysis. | Mohamed Abdelghany, Adnan Rashid, Sofine Tahar |