Towards self-explainable cyber-physical systems M Blumreiter, J Greenyer, FJC Garcia, V Klös, M Schwammberger, ... 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 37 | 2019 |
Cyber-physical systems Q Liang, S Zhao, J Zhang, H Deng, W Damm, D Hess, M Schweda, ... ACM Transactions on 8 (1), 2024 | 33 | 2024 |
An abstract model for proving safety of autonomous urban traffic M Schwammberger Theoretical Computer Science 744, 143-169, 2018 | 29 | 2018 |
An abstract model for proving safety of autonomous urban traffic M Hilscher, M Schwammberger International Colloquium on Theoretical Aspects of Computing, 274-292, 2016 | 29 | 2016 |
Introducing liveness into multi-lane spatial logic lane change controllers using UPPAAL M Schwammberger arXiv preprint arXiv:1804.04346, 2018 | 14 | 2018 |
Verification of fair controllers for urban traffic manoeuvres at intersections C Bischopink, M Schwammberger International Symposium on Formal Methods, 249-264, 2019 | 13 | 2019 |
Imperfect knowledge in autonomous urban traffic manoeuvres M Schwammberger arXiv preprint arXiv:1709.02559, 2017 | 9 | 2017 |
Extending urban multi-lane spatial logic to formalise road junction rules M Schwammberger, GV Alves arXiv preprint arXiv:2110.12583, 2021 | 8 | 2021 |
Formalising a hazard warning communication protocol with timed automata ER Olderog, M Schwammberger Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017 | 8 | 2017 |
From specification models to explanation models: An extraction and refinement process for timed automata M Schwammberger, V Klös arXiv preprint arXiv:2209.14034, 2022 | 6 | 2022 |
Towards formal concepts for explanation timing and justifications A Bairy, W Hagemann, A Rakow, M Schwammberger 2022 IEEE 30th International Requirements Engineering Conference Workshops …, 2022 | 5 | 2022 |
A quest of self-explainability: when causal diagrams meet autonomous urban traffic manoeuvres M Schwammberger 2021 IEEE 29th International Requirements Engineering Conference Workshops …, 2021 | 5 | 2021 |
Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic M Schwammberger Universität Oldenburg, 2020 | 5 | 2020 |
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction K Bengler, W Damm, A Luedtke, R Jochem, B Austel, B Biebl, M Fränzle, ... ACM Transactions on Cyber-Physical Systems 8 (1), 1-27, 2024 | 2 | 2024 |
Welcome to the Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES) J Droste, V Klös, M Sadeghi, M Schwarnmberger, T Speith 2023 IEEE 31st International Requirements Engineering Conference Workshops …, 2023 | 2 | 2023 |
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata GV Alves, M Schwammberger arXiv preprint arXiv:2209.14036, 2022 | 2 | 2022 |
Integrating formal verification and simulation-based assertion checking in a corroborative v&v process M Schwammberger, C Harper, GV Alves, G Chance, T Pipe, K Eder arXiv preprint arXiv:2208.05273, 2022 | 2 | 2022 |
A Reference Architecture of Human Cyber-Physical Systems–Part I: Fundamental Concepts W Damm, D Hess, M Schweda, J Sztipanovits, K Bengler, B Biebl, ... ACM Transactions on Cyber-Physical Systems 8 (1), 1-32, 2024 | 1 | 2024 |
A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers M Buiten, L Dennis, M Schwammberger 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW), 2023 | 1 | 2023 |
Explaining Cyber-Physical System Behavior with Digital Twins J Michael, M Schwammberger, A Wortmann IEEE Software, 2023 | 1 | 2023 |