| 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 | 326 | 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 | 194 | 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 | 139 | 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 | 122 | 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 | 107 | 2017 |
| 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 | 100 | 2018 |
| 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 | 100 | 2016 |
| 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 | 75 | 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 | 63 | 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 | 58 | 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 | 35 | 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 |
| 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 | 32 | 2018 |
| 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 | 32 | 2014 |
| 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 |
| 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 | 25 | 2019 |
| 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 |
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerified email at kit.edu
