| 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 | 335 | 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 | 210 | 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 | 141 | 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 | 125 | 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 |
| 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 | 101 | 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 | 99 | 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 | 76 | 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 | 64 | 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 | 42 | 2014 |
| The keymaera X proof IDE-concepts on usability in hybrid systems theorem proving S Mitsch, A Platzer arXiv preprint arXiv:1701.08469, 2017 | 37 | 2017 |
| 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 | 35 | 2012 |
| 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 |
| 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 | 33 | 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 | 32 | 2018 |
| 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 | 31 | 2019 |
| 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 TechnologyE-mail megerősítve itt: kit.edu
Wieland Schwingera. Professor for Computer Science, Johannes Kepler University LinzE-mail megerősítve itt: jku.at
Johannes SchönböckFachhochschule HagenbergE-mail megerősítve itt: fh-hagenberg.at
Jan-David QueselGoogleE-mail megerősítve itt: google.com
Yong Kiam TanInstitute for Infocomm Research, SingaporeE-mail megerősítve itt: cs.cmu.eduSarah M. LoosGoogleE-mail megerősítve itt: google.com
Rose BohrerAssistant Professor, Worcester Polytechnic InstituteE-mail megerősítve itt: wpi.edu
Khalil GhorbalINRIAE-mail megerősítve itt: inria.fr
Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.E-mail megerősítve itt: amazon.com
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgE-mail megerősítve itt: uni.lu
Wolfgang BeerDynatrace GmbhE-mail megerősítve itt: smartlab.at
Magnus MyreenChalmers University of TechnologyE-mail megerősítve itt: cl.cam.ac.uk
Jean-Baptiste JeanninUniversity of MichiganE-mail megerősítve itt: umich.edu
Aurora SchmidtJohns Hopkins University Applied Physics LaboratoryE-mail megerősítve itt: jhuapl.edu
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
Juan Pablo MendozaCarnegie Mellon UniversityE-mail megerősítve itt: ri.cmu.edu
Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
