Stefan Mitsch
Titel
Geciteerd door
Geciteerd door
Jaar
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
1572015
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
1242010
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
S Mitsch, A Platzer
Formal Methods in System Design 49 (1), 33-74, 2016
1092016
On provably safe obstacle avoidance for autonomous robotic ground vehicles
S Mitsch, K Ghorbal, A Platzer
932013
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
602016
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
592012
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
542017
VeriPhy: Verified controller executables from verified cyber-physical system models
B Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
532018
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
332017
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, B Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
312017
A tour of BeAware–A situation awareness framework for control centers
N Baumgartner, S Mitsch, A Müller, W Retschitzegger, A Salfinger, ...
Information Fusion 20, 155-173, 2014
302014
Refactoring, refinement, and reasoning
S Mitsch, JD Quesel, A Platzer
International Symposium on Formal Methods, 481-496, 2014
272014
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
252012
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
212013
The KeYmaera X proof IDE-concepts on usability in hybrid systems theorem proving
S Mitsch, A Platzer
arXiv preprint arXiv:1701.08469, 2017
182017
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
172016
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
152017
Situation prediction nets
N Baumgartner, W Gottesheim, S Mitsch, W Retschitzegger, W Schwinger
International Conference on Conceptual Modeling, 202-218, 2010
152010
Modeling situation-aware ambient assisted living systems for eldercare
W Kurschl, S Mitsch, J Schoenboeck
2009 Sixth International Conference on Information Technology: New …, 2009
152009
Change and delay contracts for hybrid system component verification
A Müller, S Mitsch, W Retschitzegger, W Schwinger, A Platzer
International Conference on Fundamental Approaches to Software Engineering …, 2017
132017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20