KeYmaera X: An axiomatic tactical theorem prover for hybrid systems N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 312 | 2015 |
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models S Mitsch, A Platzer Formal Methods in System Design 49 (1), 33-74, 2016 | 186 | 2016 |
BeAware!—situation awareness, the ontology-driven way N Baumgartner, W Gottesheim, S Mitsch, W Retschitzegger, W Schwinger Data & Knowledge Engineering 69 (11), 1181-1193, 2010 | 138 | 2010 |
On provably safe obstacle avoidance for autonomous robotic ground vehicles S Mitsch, K Ghorbal, A Platzer Robotics: Science and Systems IX, Technische Universität Berlin, Berlin …, 2013 | 119 | 2013 |
Formal verification of obstacle avoidance and navigation of ground robots S Mitsch, K Ghorbal, D Vogelbacher, A Platzer The International Journal of Robotics Research 36 (12), 1312-1340, 2017 | 105 | 2017 |
How to model and prove hybrid systems with KeYmaera: a tutorial on safety JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer International Journal on Software Tools for Technology Transfer 18 (1), 67-91, 2016 | 97 | 2016 |
VeriPhy: Verified controller executables from verified cyber-physical system models R Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 93 | 2018 |
Towards formal verification of freeway traffic control S Mitsch, SM Loos, A Platzer 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 171-180, 2012 | 72 | 2012 |
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ... International Journal on Software Tools for Technology Transfer 19, 717-741, 2017 | 61 | 2017 |
Bellerophon: Tactical theorem proving for hybrid systems N Fulton, S Mitsch, R Bohrer, A Platzer International Conference on Interactive Theorem Proving, 207-224, 2017 | 56 | 2017 |
A tour of BeAware–A situation awareness framework for control centers N Baumgartner, S Mitsch, A Mueller, W Retschitzegger, A Salfinger, ... Information Fusion 20, 155-173, 2014 | 40 | 2014 |
The keymaera X proof IDE-concepts on usability in hybrid systems theorem proving S Mitsch, A Platzer arXiv preprint arXiv:1701.08469, 2017 | 34 | 2017 |
A component-based approach to hybrid systems safety verification A Müller, S Mitsch, W Retschitzegger, W Schwinger, A Platzer Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 33 | 2016 |
User profile integration made easy: model-driven extraction and transformation of social network schemas M Wischenbart, S Mitsch, E Kapsammer, A Kusel, B Pröll, ... Proceedings of the 21st International Conference on World Wide Web, 939-948, 2012 | 33 | 2012 |
A formal safety net for waypoint-following in ground robots R Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer IEEE Robotics and Automation Letters 4 (3), 2910-2917, 2019 | 32 | 2019 |
Refactoring, refinement, and reasoning: A logical characterization for hybrid systems S Mitsch, JD Quesel, A Platzer FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 31 | 2014 |
Tactical contract composition for hybrid system component verification A Müller, S Mitsch, W Retschitzegger, W Schwinger, A Platzer International Journal on Software Tools for Technology Transfer 20, 615-643, 2018 | 30 | 2018 |
High-assurance SPIRAL: End-to-end guarantees for robot and car control F Franchetti, TM Low, S Mitsch, JP Mendoza, L Gui, A Phaosawasdi, ... IEEE Control Systems Magazine 37 (2), 82-103, 2017 | 26 | 2017 |
A survey on clustering techniques for situation awareness S Mitsch, A Müller, W Retschitzegger, A Salfinger, W Schwinger Asia-pacific web conference, 815-826, 2013 | 24 | 2013 |
Parallel composition and modular verification of computer controlled systems in differential dynamic logic S Lunel, S Mitsch, B Boyer, JP Talpin International Symposium on Formal Methods, 354-370, 2019 | 23 | 2019 |