Concepedia

Stefan Mitsch

SM

Statistics

Publications

18

Citations

764

H-Index

14

Active since

2009

Affiliations

Carnegie Mellon University(Current)

Johannes Kepler University of Linz

Chalmers University of Technology

University of Applied Sciences Upper Austria

Stefan Mitsch is an author at Carnegie Mellon University specializing in engineering, computer science, and formal methods.

Publications per year

2009–2022

18

Publications

18

ModelPlex: verified runtime validation of verified cyber-physical system models

Stefan Mitsch, André Platzer · Formal Methods in System Design · 2016 · 122 citations · Full text

Engineering, Computer Science, Systems Engineering +17

BeAware!—Situation awareness, the ontology-driven way

Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch et al. · Data & Knowledge Engineering · 2010 · 100 citations

Computing, Information Systems, Knowledge Representation +11

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles

Stefan Mitsch, Khalil Ghorbal, André Platzer · 2013 · 92 citations · Full text

Engineering, Autonomous Systems, Robotics Engineering +17

How to model and prove hybrid systems with KeYmaera: a tutorial on safety

Jan-David Quesel, Stefan Mitsch, Sarah M. Loos et al. · International Journal on Software Tools for Technology Transfer · 2015 · 71 citations · Full text

Computing, Computer Science, Systems Engineering +17

VeriPhy: verified controller executables from verified cyber-physical system models

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch et al. · 2018 · 60 citations · Full text

Engineering, Computer Engineering, Computer Science +17

1–5 of 18