Seguir
Stefan Mitsch
Título
Citado por
Citado por
Año
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems
N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer
International Conference on Automated Deduction, 527-538, 2015
2272015
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
S Mitsch, A Platzer
Formal Methods in System Design 49 (1), 33-74, 2016
1452016
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
1292010
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
1042013
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
832017
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
732016
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
652012
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
642018
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, R Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
462017
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 (6), 717-741, 2017
442017
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
352014
Refactoring, refinement, and reasoning
S Mitsch, JD Quesel, A Platzer
International Symposium on Formal Methods, 481-496, 2014
302014
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
292012
The keymaera X proof IDE-concepts on usability in hybrid systems theorem proving
S Mitsch, A Platzer
arXiv preprint arXiv:1701.08469, 2017
272017
A component-based approach to hybrid systems safety verification
A Müller, S Mitsch, W Retschitzegger, W Schwinger, A Platzer
International Conference on Integrated Formal Methods, 441-456, 2016
242016
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
232017
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
232013
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 (6), 615-643, 2018
202018
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
182019
Collaborative verification-driven engineering of hybrid systems
S Mitsch, GO Passmore, A Platzer
Mathematics in Computer Science 8 (1), 71-97, 2014
172014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20