Follow
Stefan Mitsch
Title
Cited by
Cited by
Year
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
3112015
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
S Mitsch, A Platzer
Formal Methods in System Design 49 (1), 33-74, 2016
1852016
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
1382010
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
1192013
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
1052017
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
972016
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
932018
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
712012
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
602017
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, R Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
562017
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
402014
The keymaera X proof IDE-concepts on usability in hybrid systems theorem proving
S Mitsch, A Platzer
arXiv preprint arXiv:1701.08469, 2017
342017
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
332016
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
332012
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
322019
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
312014
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
302018
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
262017
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
242013
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
232019
The system can't perform the operation now. Try again later.
Articles 1–20