Maike Schwammberger

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 22

Top Topics

Fundamental Concepts

Top Venues

ACM Trans. Cyber Phys. Syst.

FMAS/ASYDE@SEFM

Publications

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
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Judith Michael, Maike Schwammberger, Andreas Wortmann
Explaining Cyberphysical System Behavior With Digital Twins. IEEE Softw. 41 (1) (2024)
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
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
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
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems. CoRR (2023)
Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger
A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. REW (2023)
Verena Klös, Mersedeh Sadeghi, Maike Schwammberger
Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES). RE Workshops (2022)
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves, Greg Chance, Tony Pipe, Kerstin Eder
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process. CoRR (2022)
Gleifer Vaz Alves, Maike Schwammberger
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata. FMAS/ASYDE@SEFM (2022)
Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger
Towards Formal Concepts for Explanation Timing and Justifications. RE Workshops (2022)
Maike Schwammberger, Verena Klös
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. FMAS/ASYDE@SEFM (2022)
Maike Schwammberger, Gleifer Vaz Alves
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. FMAS (2021)
Maike Schwammberger
Proving properties of autonomous car manoeuvres in urban traffic. it Inf. Technol. 63 (5-6) (2021)
Maike Schwammberger
A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres. RE Workshops (2021)
Christopher Bischopink, Maike Schwammberger
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections. FM Workshops (1) (2019)
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
Towards Self-Explainable Cyber-Physical Systems. CoRR (2019)
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
Towards Self-Explainable Cyber-Physical Systems. MoDELS (Companion) (2019)
Maike Schwammberger
Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. SCAV@CPSWeek (2018)
Maike Schwammberger
An abstract model for proving safety of autonomous urban traffic. Theor. Comput. Sci. 744 (2018)
Ernst-Rüdiger Olderog, Maike Schwammberger
Formalising a Hazard Warning Communication Protocol with Timed Automata. Models, Algorithms, Logics and Tools (2017)
Maike Schwammberger
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. FVAV@iFM (2017)
Martin Hilscher, Maike Schwammberger
An Abstract Model for Proving Safety of Autonomous Urban Traffic. ICTAC (2016)