Articles with public access mandates - Stefan MitschLearn more
Available somewhere: 42
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
S Mitsch, A Platzer
Formal Methods in System Design 49 (1), 33-74, 2016
Mandates: US National Science Foundation, European Commission
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
Mandates: US National Science Foundation, US Department of Defense, US Department of …
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
Mandates: US National Science Foundation, US Department of Energy, German Research …
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
Mandates: US National Science Foundation, US Department of Defense, A*Star, Singapore
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
Mandates: US National Science Foundation
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, R Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
Mandates: US National Science Foundation, US Department of Defense
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
Mandates: Austrian Science Fund
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
Mandates: US National Science Foundation, US Department of Defense, A*Star, Singapore
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
Mandates: US Department of Defense, Austrian Science Fund
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
Mandates: US Department of Defense
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
Mandates: US Department of Defense
Collaborative verification-driven engineering of hybrid systems
S Mitsch, GO Passmore, A Platzer
Mathematics in Computer Science 8, 71-97, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Change and delay contracts for hybrid system component verification
A Müller, S Mitsch, W Retschitzegger, W Schwinger, A Platzer
Fundamental Approaches to Software Engineering: 20th International …, 2017
Mandates: US Department of Defense, Austrian Science Fund
HyPLC: Hybrid programmable logic controller program translation for verification
L Garcia, S Mitsch, A Platzer
Proceedings of the 10th acm/ieee international conference on cyber-physical …, 2019
Mandates: US Department of Energy, US Department of Defense, US Department of Education
Pegasus: Sound continuous invariant generation
A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer
Formal Methods in System Design 58 (1), 5-41, 2021
Mandates: US National Science Foundation, US Department of Defense, A*Star, Singapore
A retrospective on developing hybrid system provers in the keymaera family: a tale of three provers
S Mitsch, A Platzer
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
Mandates: US Department of Defense
Verified traffic networks: Component-based verification of cyber-physical flow systems
A Müller, S Mitsch, A Platzer
2015 IEEE 18th International Conference on Intelligent Transportation …, 2015
Mandates: Austrian Science Fund
Pegasus: A framework for sound continuous invariant generation
A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer
International Symposium on Formal Methods, 138-157, 2019
Mandates: US National Science Foundation, US Department of Defense, A*Star, Singapore
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.
S Mitsch, A Sogokon, YK Tan, X Jin, B Zhan, S Wang, N Zhan
ARCH@ CPSIoTWeek, 141-161, 2019
Mandates: US Department of Defense, Chinese Academy of Sciences, National Natural …
Formally verified next-generation airborne collision avoidance games in ACAS X
R Cleaveland, S Mitsch, A Platzer
ACM Transactions on Embedded Computing Systems 22 (1), 1-30, 2022
Mandates: US Department of Defense
Publication and funding information is determined automatically by a computer program