Maike Schwammberger

According to our database, Maike Schwammberger authored at least 22 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, 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

ACM Trans. Cyber Phys. Syst., January, 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, 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

ACM Trans. Cyber Phys. Syst., January, 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, 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

ACM Trans. Cyber Phys. Syst., January, 2024

Explaining Cyberphysical System Behavior With Digital Twins.

Judith Michael, Maike Schwammberger, Andreas Wortmann

IEEE Softw., 2024

2023

A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers.

Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

2022

Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata.

Gleifer Vaz Alves, Maike Schwammberger

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata.

Maike Schwammberger, Verena Klös

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 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

Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES).

Verena Klös, Mersedeh Sadeghi, Maike Schwammberger

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Towards Formal Concepts for Explanation Timing and Justifications.

Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

2021

Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic.

Maike Schwammberger

PhD thesis, 2021

Proving properties of autonomous car manoeuvres in urban traffic.

Maike Schwammberger

it Inf. Technol., 2021

Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules.

Maike Schwammberger, Gleifer Vaz Alves

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres.

Maike Schwammberger

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

2020

Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr.

Maike Schwammberger

Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020

2019

Towards Self-Explainable Cyber-Physical Systems.

Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections.

Christopher Bischopink, Maike Schwammberger

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

An abstract model for proving safety of autonomous urban traffic.

Maike Schwammberger

Theor. Comput. Sci., 2018

Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL.

Maike Schwammberger

Proceedings of the Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, 2018

2017

Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres.

Maike Schwammberger

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Formalising a Hazard Warning Communication Protocol with Timed Automata.

Ernst-Rüdiger Olderog, Maike Schwammberger

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

An Abstract Model for Proving Safety of Autonomous Urban Traffic.

Martin Hilscher, Maike Schwammberger

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016