Concepedia

Stefan Mitsch

SM

Statistics

Publications

18

Citations

747

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, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsComputer EngineeringAutomationSoftware VerificationSystem Software

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 · 120 citations · Full text

Cyber Physical Systems, Runtime Validation, Engineering +12

BeAware!—Situation awareness, the ontology-driven way

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

Ontology (Information Science), Knowledge Representation, Engineering +9

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles

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

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 · 69 citations · Full text

Engineering, Verification, System-level Design +23

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

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

Engineering, Verification, Present Veriphy +18

1–5 of 18