default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaike Schwammberger
Person information
- affiliation: Karlsruhe Institute of Technology, Germany
- affiliation (PhD 2021): University of Oldenburg, Department of Computing Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]Judith Michael
, Maike Schwammberger, Andreas Wortmann:
Explaining Cyberphysical System Behavior With Digital Twins. IEEE Softw. 41(1): 55-63 (2024)- [j5]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): 2:1-2:32 (2024) - [j4]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): 3:1-3:27 (2024) - [j3]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): 4:1-4:23 (2024) - [c15]Maike Schwammberger, Raffaela Mirandola, Nils Wenninghoff:
Explainability Engineering Challenges: Connecting Explainability Levels to Run-Time Explainability. xAI (4) 2024: 205-218 - 2023
- [c14]Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger:
A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. REW 2023: 332-336 - [c13]Maike Schwammberger:
From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations Can Save the World. AISoLA (Selected Papers) 2023: 307-317 - [e1]Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger:
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023. EPTCS 395, 2023 [contents] - 2022
- [c12]Verena Klös, Mersedeh Sadeghi, Maike Schwammberger:
Welcome to the Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES). RE Workshops 2022: 81-82 - [c11]Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger:
Towards Formal Concepts for Explanation Timing and Justifications. RE Workshops 2022: 98-102 - [c10]Maike Schwammberger, Verena Klös:
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. FMAS/ASYDE@SEFM 2022: 20-37 - [c9]Gleifer Vaz Alves, Maike Schwammberger:
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata. FMAS/ASYDE@SEFM 2022: 77-85 - [i2]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 abs/2208.05273 (2022) - 2021
- [b1]Maike Schwammberger:
Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic. Oldenburg University, Germany, 2021 - [j2]Maike Schwammberger:
Proving properties of autonomous car manoeuvres in urban traffic. it Inf. Technol. 63(5-6): 253-263 (2021) - [c8]Maike Schwammberger:
A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres. RE Workshops 2021: 195-199 - [c7]Maike Schwammberger, Gleifer Vaz Alves:
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. FMAS 2021: 1-19 - 2020
- [p1]Maike Schwammberger:
Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr. Ausgezeichnete Informatikdissertationen 2020: 299-308
2010 – 2019
- 2019
- [c6]Christopher Bischopink, Maike Schwammberger:
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections. FM Workshops (1) 2019: 249-264 - [c5]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: 543-548 - [i1]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 abs/1908.04698 (2019) - 2018
- [j1]Maike Schwammberger:
An abstract model for proving safety of autonomous urban traffic. Theor. Comput. Sci. 744: 143-169 (2018) - [c4]Maike Schwammberger:
Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. SCAV@CPSWeek 2018: 17-31 - 2017
- [c3]Ernst-Rüdiger Olderog, Maike Schwammberger:
Formalising a Hazard Warning Communication Protocol with Timed Automata. Models, Algorithms, Logics and Tools 2017: 640-660 - [c2]Maike Schwammberger:
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. FVAV@iFM 2017: 59-74 - 2016
- [c1]Martin Hilscher, Maike Schwammberger:
An Abstract Model for Proving Safety of Autonomous Urban Traffic. ICTAC 2016: 274-292
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
