Maike Schwammberger

35 papers C 1Journal 10Unranked 20
YearRankTypeTitle / Venue / Authors
2026 — conf
Safe to Cross? Towards Multimodal Explanations for V2X-Equipped Social Robots.
HRI Companion
Akhila Bairy, Diana Burkart, Maximilian Schrapel, Jan Meyerhoefer, John Pravin Arockiasamy, Andy Comeca, Manuel Bied, Alexey Vinel, Maike Schwammberger
2025 J jnl
Designing Value-Aligned Traffic Agents through Conflict Sensitivity.
CoRR
Astrid Rakow, Joe Collenette, Maike Schwammberger, Marija Slavkovik, Gleifer V. Alves
2025 — conf
Explainability in Automated Cross-Domain Model-Driven Brake System Development.
ASEW
Nathan Hagel, Johannes Mäkelburg, Claus Hammann, Thomas Weber, Thomas Alexander Völk, Francesco P. Urbano, Patrick Grycz, Katharina Bause, Minakshi Kaushik, Vincenzo Scotti, Akhila Bairy, Maike Schwammberger, Maribel Acosta, Albert Albers, Anne Koziolek, Tobias Düser
2025 — conf
Interpretable World Model Imaginations as Deep Reinforcement Learning Explanation.
xAI (3)
Nils Wenninghoff, Maike Schwammberger
2025 — conf
Optimised Timing of Multi-step Explanations for Multiple Users Through Reactive Games.
EXTRAAMAS
Akhila Bairy, Martin Fränzle, Maike Schwammberger
2025 — ed.
Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2025, Paris, 17th to 19th of November 2025.
FMAS@iFM
Matt Luckcuck, Maike Schwammberger, Mengwei Xu
2025 J jnl
ROBOPOL: Social Robotics Meets Vehicular Communications for Cooperative Automated Driving.
CoRR
Manuel Bied, John Arockiasamy, Andy Comeca, Maximilian Schrapel, Victoria Yang, Alexey Rolich, Barbara Bruno, Maike Schwammberger, Dieter Fiems, Alexey Vinel
2025 — conf
Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems.
HSCC
Qais Hamarneh, Maike Schwammberger
2024 J jnl
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts.
ACM Trans. Cyber Phys. Syst.
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, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith
2024 J jnl
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations.
ACM Trans. Cyber Phys. Syst.
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, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
2024 J jnl
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction.
ACM Trans. Cyber Phys. Syst.
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, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
2024 — conf
Explainability Engineering Challenges: Connecting Explainability Levels to Run-Time Explainability.
xAI (4)
Maike Schwammberger, Raffaela Mirandola, Nils Wenninghoff
2024 J jnl
Explaining Cyberphysical System Behavior With Digital Twins.
IEEE Softw.
Judith Michael, Maike Schwammberger, Andreas Wortmann
2024 — conf
It's Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games.
AISoLA
Maike Schwammberger, Qais Hamarneh
2023 — conf
A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers.
REW
Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger
2023 — conf
From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations Can Save the World.
AISoLA (Selected Papers)
Maike Schwammberger
2023 — ed.
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023.
FMAS@iFM
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
2022 — conf
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata.
FMAS/ASYDE@SEFM
Maike Schwammberger, Verena Klös
2022 J jnl
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process.
CoRR
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves, Greg Chance, Tony Pipe, Kerstin Eder
2022 — conf
Towards Formal Concepts for Explanation Timing and Justifications.
RE Workshops
Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger
2022 — conf
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata.
FMAS/ASYDE@SEFM
Gleifer Vaz Alves, Maike Schwammberger
2022 — conf
Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES).
RE Workshops
Verena Klös, Mersedeh Sadeghi, Maike Schwammberger
2021 — conf
A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres.
RE Workshops
Maike Schwammberger
2021 — —
Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic.
Maike Schwammberger
2021 — conf
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules.
FMAS
Maike Schwammberger, Gleifer Vaz Alves
2021 J jnl
Proving properties of autonomous car manoeuvres in urban traffic.
it Inf. Technol.
Maike Schwammberger
2020 — ch.
Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr.
Ausgezeichnete Informatikdissertationen
Maike Schwammberger
2019 — conf
Towards Self-Explainable Cyber-Physical Systems.
MoDELS (Companion)
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
2019 J jnl
Towards Self-Explainable Cyber-Physical Systems.
CoRR
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
2019 — conf
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections.
FM Workshops (1)
Christopher Bischopink, Maike Schwammberger
2018 J jnl
An abstract model for proving safety of autonomous urban traffic.
Theor. Comput. Sci.
Maike Schwammberger
2018 — conf
Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL.
SCAV@CPSWeek
Maike Schwammberger
2017 — conf
Formalising a Hazard Warning Communication Protocol with Timed Automata.
Models, Algorithms, Logics and Tools
Ernst-Rüdiger Olderog, Maike Schwammberger
2017 — conf
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres.
FVAV@iFM
Maike Schwammberger
2016 C conf
An Abstract Model for Proving Safety of Autonomous Urban Traffic.
ICTAC
Martin Hilscher, Maike Schwammberger