Maike Schwammberger
Carl von Ossietzky Universität Oldenburg
H-index: 8
Europe-Germany
Top articles of Maike Schwammberger
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction
ACM Transactions on Cyber-Physical Systems
2024/1/14
A Reference Architecture of Human Cyber-Physical Systems–Part I: Fundamental Concepts
ACM Transactions on Cyber-Physical Systems
2024/1/14
Cyber-physical systems
ACM Transactions on
2023
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
arXiv preprint arXiv:2311.08987
2023/11/15
Maike Schwammberger
H-Index: 4
A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers
2023/9/28
Louise Dennis
H-Index: 16
Maike Schwammberger
H-Index: 4
Explaining Cyber-Physical System Behavior with Digital Twins
IEEE Software
2023/9/27
Maike Schwammberger
H-Index: 4
Welcome to the Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES)
2023/9/4
Brake or Drive: On the Relation Between Morality and Traffic Rules when Driving Autonomously
2023
Maike Schwammberger
H-Index: 4
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
arXiv preprint arXiv:2209.14036
2022/9/28
Gleifer Vaz Alves
H-Index: 6
Maike Schwammberger
H-Index: 4
From specification models to explanation models: An extraction and refinement process for timed automata
arXiv preprint arXiv:2209.14034
2022/9/28
Maike Schwammberger
H-Index: 4
Verena Klös
H-Index: 6
Welcome to the second international workshop on requirements engineering for explainable systems (RE4ES)
2022/8/15
Verena Klös
H-Index: 6
Maike Schwammberger
H-Index: 4
Towards formal concepts for explanation timing and justifications
2022/8/15
Willem Hagemann
H-Index: 5
Maike Schwammberger
H-Index: 4
Integrating formal verification and simulation-based assertion checking in a corroborative v&v process
arXiv preprint arXiv:2208.05273
2022/8/10
Maike Schwammberger
H-Index: 4
Christopher Harper
H-Index: 1
Gleifer Vaz Alves
H-Index: 6
Greg Chance
H-Index: 6
Kerstin Eder
H-Index: 16
Proving properties of autonomous car manoeuvres in urban traffic
it-Information Technology
2021/11/25
Maike Schwammberger
H-Index: 4
Extending urban multi-lane spatial logic to formalise road junction rules
arXiv preprint arXiv:2110.12583
2021/10/25
Maike Schwammberger
H-Index: 4
Gleifer Vaz Alves
H-Index: 6
A quest of self-explainability: when causal diagrams meet autonomous urban traffic manoeuvres
2021/9/20
Maike Schwammberger
H-Index: 4
Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr
2021
Maike Schwammberger
H-Index: 4
Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic
2020
Maike Schwammberger
H-Index: 4
