An Abstract Model for Proving Safety of Autonomous Urban Traffic. - Martin Hilscher; Maike Schwammberger (ICTAC, 2016)

Formalising a Hazard Warning Communication Protocol with Timed Automata. - Ernst-Rüdiger Olderog; Maike Schwammberger (Models, Algorithms, Logics and Tools, 2017)

Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. - Maike Schwammberger (FVAV@iFM, 2017)

Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. - Maike Schwammberger (SCAV@CPSWeek, 2018)

An abstract model for proving safety of autonomous urban traffic. - Maike Schwammberger (Theor. Comput. Sci., 2018)

Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections. - Christopher Bischopink; Maike Schwammberger (FM Workshops (1), 2019)

Towards Self-Explainable Cyber-Physical Systems. - Mathias Blumreiter; Joel Greenyer; Francisco Javier Chiyah Garcia; Verena Klös; Maike Schwammberger; Christoph Sommer 001; Andreas Vogelsang; Andreas Wortmann 001 (MoDELS (Companion), 2019)

Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr. - Maike Schwammberger (Ausgezeichnete Informatikdissertationen, 2020)

A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres. - Maike Schwammberger (RE Workshops, 2021)

Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. - Maike Schwammberger; Gleifer Vaz Alves (FMAS, 2021)

Proving properties of autonomous car manoeuvres in urban traffic. - Maike Schwammberger (it Inf. Technol., 2021)

Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic. - Maike Schwammberger (2021)

Towards Formal Concepts for Explanation Timing and Justifications. - Akhila Bairy; Willem Hagemann; Astrid Rakow; Maike Schwammberger (RE Workshops, 2022)

Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES). - Verena Klös; Mersedeh Sadeghi; Maike Schwammberger (RE Workshops, 2022)

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process. - Maike Schwammberger; Christopher Harper; Gleifer Vaz Alves; Greg Chance; Tony Pipe; Kerstin Eder (CoRR, 2022)

From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. - Maike Schwammberger; Verena Klös (FMAS/ASYDE@SEFM, 2022)

Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata. - Gleifer Vaz Alves; Maike Schwammberger (FMAS/ASYDE@SEFM, 2022)

A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. - Miriam C. Buiten; Louise A. Dennis; Maike Schwammberger (REW, 2023)

From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations Can Save the World. - Maike Schwammberger (AISoLA (Selected Papers), 2023)

It's Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games. - Maike Schwammberger; Qais Hamarneh (AISoLA, 2024)

Explainability Engineering Challenges: Connecting Explainability Levels to Run-Time Explainability. - Maike Schwammberger; Raffaela Mirandola; Nils Wenninghoff (xAI (4), 2024)

Explaining Cyberphysical System Behavior With Digital Twins. - Judith Michael; Maike Schwammberger; Andreas Wortmann 001 (IEEE Softw., 2024)

A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. - Klaus Bengler; Werner Damm; Andreas Lüdtke; Jochem W. Rieger; Benedikt Austel; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. - Werner Damm; Martin Fränzle; Alyssa J. Kerscher; Forrest Laine; Klaus Bengler; Bianca Biebl; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Sebastian Lehnhoff; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. - Werner Damm; David Hess; Mark Schweda; Janos Sztipanovits; Klaus Bengler; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; Klas Ihme; Severin Kacianka; Alyssa J. Kerscher; et al. (ACM Trans. Cyber Phys. Syst., 2024)

Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems. - Qais Hamarneh; Maike Schwammberger (HSCC, 2025)

Designing Value-Aligned Traffic Agents through Conflict Sensitivity. - Astrid Rakow; Joe Collenette; Maike Schwammberger; Marija Slavkovik 001; Gleifer V. Alves (CoRR, 2025)