Journal Article High-Assurance SPIRAL END-TO-END GUARANTEES FOR ROBOT AND CAR CONTROL 2017 • IEEE Control Systems • 37(2):82-103 Franchetti F, Low TM, Mitsch S, Mendoza JP, Gui L, Phaosawasdi A, Padua D, Kar S, Moura JMF, Franusich M, Johnson J, Platzer A, Veloso MM
Preprint The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving 2017 Mitsch S, Platzer A
Journal Article The KeYmaera X Proof IDE Concepts on Usability in Hybrid Systems Theorem Proving 2017 • Electronic Proceedings in Theoretical Computer Science • 67-81 Mitsch S, Platzer A
Conference A Component-Based Approach to Hybrid Systems Safety Verification 2016 • Lecture Notes in Computer Science • 9681:441-456 Mueller A, Mitsch S, Retschitzegger W, Schwinger W, Platzer A
Preprint Formal Verification of Obstacle Avoidance and Navigation of Ground Robots 2016 Mitsch S, Ghorbal K, Vogelbacher D, Platzer A
Journal Article How to model and prove hybrid systems with KeYmaera: a tutorial on safety 2016 • International Journal on Software Tools for Technology Transfer • 18(1):67-91 Quesel J-D, Mitsch S, Loos S, Arechiga N, Platzer A
Journal Article ModelPlex: verified runtime validation of verified cyber-physical system models 2016 • Formal methods in system design • 49(1-2):33-74 Mitsch S, Platzer A
Conference KeYmaera X: An axiomatic tactical theorem prover for hybrid systems 2015 • Lecture Notes in Computer Science • 9195:527-538 Fulton N, Mitsch S, Quesel JD, Völp M, Platzer A
Conference KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems 2015 • Lecture Notes in Computer Science • 9195:527-538 Fulton N, Mitsch S, Quesel J-D, Voelp M, Platzer A
Journal Article Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems 2015 • ACM Computing Surveys • 48(1): Mitsch S, Platzer A, Retschitzegger W, Schwinger W
Conference Verified Traffic Networks: Component-based Verification of Cyber-Physical Flow Systems 2015 • IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC • 757-764 Mueller A, Mitsch S, Platzer A
Conference A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems 2014 • Lecture Notes in Computer Science • 8793:368-379 Mueller A, Mitsch S, Retschitzegger W, Schwinger W
Journal Article A tour of BeAware - A situation awareness framework for control centers 2014 • Information Fusion • 20:155-173 Baumgartner N, Mitsch S, Mueller A, Retschitzegger W, Salfinger A, Schwinger W
Journal Article Collaborative Verification-Driven Engineering of Hybrid Systems 2014 • Mathematics in Computer Science • 8(1):71-97 Mitsch S, Passmore GO, Platzer A
Preprint Collaborative Verification-Driven Engineering of Hybrid Systems 2014 Mitsch S, Passmore GO, Platzer A
Journal Article ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models 2014 • Lecture Notes in Computer Science • 8734:199-214 Mitsch S, Platzer A
Conference Refactoring, Refinement, and Reasoning A Logical Characterization for Hybrid Systems 2014 • Lecture Notes in Computer Science • 8442:481-496 Mitsch S, Quesel J-D, Platzer A
Conference SEM<SUP>2</SUP> Suite - Towards a Tool Suite for Supporting Knowledge Management in Situation Awareness Systems 2014 • 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI) • 351-360 Salfinger A, Neidhart D, Retschitzegger W, Schwinger W, Mitsch S
Conference SEM<sup>2</sup> suite - Towards a tool suite for supporting knowledge management in situation awareness systems 2014 • Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration, IEEE IRI 2014 • 351-360 Salfinger A, Neidhart D, Retschitzegger W, Schwinger W, Mitsch S
Conference A survey on clustering techniques for situation awareness 2013 • Lecture Notes in Computer Science • 7808 LNCS:815-826 Mitsch S, Müller A, Retschitzegger W, Salfinger A, Schwinger W
Conference A vision of collaborative verification-driven engineering of hybrid systems 2013 • Do-Form: Enabling Domain Experts to Use Formalised Reasoning - AISB Convention 2013 • 8-17 Mitsch S, Passmore GO, Platzer A
Conference Automatic data transformation-Breaching the walled gardens of social network platforms 2013 • Conferences in Research and Practice in Information Technology Series • 143:89-98 Wischenbart M, Mitsch S, Kapsammer E, Kusel A, Lechner S, Pröll B, Retschitzegger W, Schönböck J, Schwinger W, Wimmer M
Conference Ontology-driven generation of multi-view modeling tools 2012 • Proceedings of the IASTED International Conference on Software Engineering, SE 2012 • 45-51 Kusel A, Mitsch S, Retschitzegger W, Schwinger W, Mayr R, Schönböck J
Conference The situation radar-visualizing collaborative situation awareness in traffic control systems 2012 • 19th Intelligent Transport Systems World Congress, ITS 2012 Baumgartner N, Mitsch S, Müller A, Retschitzegger W, Salfinger A, Schwinger W
Conference Towards Formal Verification of Freeway Traffic Control 2012 • 2012 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2012) • 171-180 Mitsch S, Loos SM, Platzer A
