Stefan Mitsch
Stefan Mitsch
Computer Science Department, Carnegie Mellon University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.cmu.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1852015
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
1222010
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
S Mitsch, A Platzer
Formal Methods in System Design 49 (1), 33-74, 2016
1152016
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
942013
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
642016
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
612017
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
612012
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
542018
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
372017
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, B Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
342017
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
332014
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
232013
The KeYmaera X proof IDE-concepts on usability in hybrid systems theorem proving
S Mitsch, A Platzer
arXiv preprint arXiv:1701.08469, 2017
202017
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
202016
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
192017
Situation prediction nets
N Baumgartner, W Gottesheim, S Mitsch, W Retschitzegger, W Schwinger
International Conference on Conceptual Modeling, 202-218, 2010
162010
Modeling situation-aware ambient assisted living systems for eldercare
W Kurschl, S Mitsch, J Schoenboeck
2009 Sixth International Conference on Information Technology: New …, 2009
162009
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
142015
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20