Stefan Mitsch

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 62

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

ARCH

Publications

Samuel Teuber, Stefan Mitsch, André Platzer
Provably Safe Neural Network Controllers via Differential Dynamic Logic. CoRR (2024)
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
CESAR: Control Envelope Synthesis via Angelic Refinements. TACAS (1) (2024)
Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. ARCH (2023)
Marvin Brieger, Stefan Mitsch, André Platzer
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CADE (2023)
Myra Dotzel, Stefan Mitsch, André Platzer
A Usage-Aware Sequent Calculus for Differential Dynamic Logic. CoRR (2023)
Marvin Brieger, Stefan Mitsch, André Platzer
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CoRR (2023)
Rachel Cleaveland, Stefan Mitsch, André Platzer
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X. ACM Trans. Embed. Comput. Syst. 22 (1) (2023)
Marvin Brieger, Stefan Mitsch, André Platzer
Dynamic Logic of Communicating Hybrid Programs. CoRR (2023)
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
CESAR: Control Envelope Synthesis via Angelic Refinements. CoRR (2023)
Megan Strauss, Stefan Mitsch
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. TAP (2023)
Megan Strauss, Stefan Mitsch
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. CoRR (2023)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Marian Qian, Stefan Mitsch
Reward Shaping from Hybrid Systems Models in Reinforcement Learning. NFM (2023)
Qin Lin, Stefan Mitsch, André Platzer, John M. Dolan
Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles. IEEE Control. Syst. Lett. 6 (2022)
David Bayani, Stefan Mitsch
Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems. VMCAI (2022)
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. ARCH@SAFECOMP (2022)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Implicit Definitions with Differential Equations for KeYmaera X (System Description). CoRR (2022)
Yong Kiam Tan, Stefan Mitsch, André Platzer
Verifying Switched System Stability With Logic. HSCC (2022)
Aditi Kabra, Stefan Mitsch, André Platzer
Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP (2022)
Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. Leibniz Trans. Embed. Syst. 8 (2) (2022)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Implicit Definitions with Differential Equations for KeYmaera X - (System Description). IJCAR (2022)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58 (1-2) (2021)
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. CoRR (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. Arch. Formal Proofs 2021 (2021)
Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael Warren
Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. FM (2021)
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Stefan Mitsch
Implicit and Explicit Proof Management in KeYmaera X. F-IDE@NFM (2021)
Rachel Cleaveland, Stefan Mitsch, André Platzer
Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X. CoRR (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. FM (2021)
Yong Kiam Tan, Stefan Mitsch, André Platzer
Verifying Switched System Stability With Logic. CoRR (2021)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
Towards CPS Verification Engineering. iiWAS (2020)
David Bayani, Stefan Mitsch
Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems. CoRR (2020)
Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. ARCH (2020)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: Sound Continuous Invariant Generation. CoRR (2020)
Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. CoRR (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint-Following in Ground Robots. IEEE Robotics Autom. Lett. 4 (3) (2019)
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. FM (2019)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. ARCH@CPSIoTWeek (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint Following in Ground Robots. CoRR (2019)
Luis Garcia, Stefan Mitsch, André Platzer
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification. CoRR (2019)
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. CoRR (2019)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: A Framework for Sound Continuous Invariant Generation. FM (2019)
Luis Garcia, Stefan Mitsch, André Platzer
HyPLC: hybrid programmable logic controller program translation for verification. ICCPS (2019)
Luis Garcia, Stefan Mitsch, André Platzer
Toward multi-task support and security analyses in PLC program translation for verification: poster abstract. ICCPS (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
VeriPhy: verified controller executables from verified cyber-physical system models. PLDI (2018)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS (2018)
Stefan Mitsch, André Platzer
Verified Runtime Validation for Partially Observable Hybrid Systems. CoRR (2018)
Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer
A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). CyPhy/WESE (2018)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
Tactical contract composition for hybrid system component verification. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
Change and Delay Contracts for Hybrid System Component Verification. FASE (2017)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Nathan Fulton, Stefan Mitsch, Brandon Bohrer, André Platzer
Bellerophon: Tactical Theorem Proving for Hybrid Systems. ITP (2017)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
A Benchmark for Component-based Hybrid Systems Safety Verification. ARCH@CPSWeek (2017)
Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer
Formal Verification of Train Control with Air Pressure Brakes. RSSRail (2017)
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
Formal verification of obstacle avoidance and navigation of ground robots. Int. J. Robotics Res. 36 (12) (2017)
Stefan Mitsch, André Platzer
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving. F-IDE@FM (2016)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
A Component-Based Approach to Hybrid Systems Safety Verification. IFM (2016)
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer
How to model and prove hybrid systems with KeYmaera: a tutorial on safety. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots. CoRR (2016)
Stefan Mitsch, André Platzer
ModelPlex: verified runtime validation of verified cyber-physical system models. Formal Methods Syst. Des. 49 (1-2) (2016)
Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. CADE (2015)
Stefan Mitsch, André Platzer, Werner Retschitzegger, Wieland Schwinger
Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems. ACM Comput. Surv. 48 (1) (2015)
Andreas Müller, Stefan Mitsch, André Platzer
Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. ITSC (2015)
Stefan Mitsch, André Platzer
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. RV (2014)
Stefan Mitsch, Grant Olney Passmore, André Platzer
Collaborative Verification-Driven Engineering of Hybrid Systems. Math. Comput. Sci. 8 (1) (2014)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. KSEM (2014)
Stefan Mitsch, Grant Olney Passmore, André Platzer
Collaborative Verification-Driven Engineering of Hybrid Systems. CoRR (2014)
Andrea Salfinger, Daniel Neidhart, Werner Retschitzegger, Wieland Schwinger, Stefan Mitsch
suite - Towards a tool suite for supporting knowledge management in situation awareness systems. IRI (2014)
Norbert Baumgartner, Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger
A tour of BeAware - A situation awareness framework for control centers. Inf. Fusion 20 (2014)
Stefan Mitsch, Jan-David Quesel, André Platzer
Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. FM (2014)
Stefan Mitsch, Khalil Ghorbal, André Platzer
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. Robotics: Science and Systems (2013)
Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger
A Survey on Clustering Techniques for Situation Awareness. APWeb (2013)
Martin Wischenbart, Stefan Mitsch, Elisabeth Kapsammer, Angelika Kusel, Stephan Lechner, Birgit Pröll, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Manuel Wimmer
Automatic Data Transformation - Breaching the Walled Gardens of Social Network Platforms. APCCM (2013)
Martin Wischenbart, Stefan Mitsch, Elisabeth Kapsammer, Angelika Kusel, Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Johannes Schönböck, Manuel Wimmer, Stephan Lechner
User profile integration made easy: model-driven extraction and transformation of social network schemas. WWW (Companion Volume) (2012)
Stefan Mitsch, Sarah M. Loos, André Platzer
Towards Formal Verification of Freeway Traffic Control. ICCPS (2012)
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
Reasoning on Data Streams for Situation Awareness. KEOD (2011)
Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Norbert Baumgartner
SemGen - Towards a Semantic Data Generator for Benchmarking Duplicate Detectors. DASFAA Workshops (2011)
Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations. ER Workshops (2011)
Stefan Mitsch, Wolfgang Gottesheim, Franz Hermann Pommer, Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Robert Hutter, Gustavo Rossi, Norbert Baumgartner
Making workflows situation aware: an ontology-driven framework for dynamic spatial systems. iiWAS (2011)
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness. ER (2010)
Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Norbert Baumgartner
WorkAware - Situation-aware Workflow Management. KMIS (2010)
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
BeAware! - Situation awareness, the ontology-driven way. Data Knowl. Eng. 69 (11) (2010)
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
Towards Duplicate Detection for Situation Awareness Based on Spatio-temporal Relations. OTM Conferences (2) (2010)
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
On Optimization of Predictions in Ontology-Driven Situation Awareness. KSEM (2009)
Werner Kurschl, Stefan Mitsch, Johannes Schönböck
An Evaluation Framework for Pervasive Healthcare Applications. BroadBandCom (2009)
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
"Same, Same but Different" A Survey on Duplicate Detection Methods for Situation Awareness. OTM Conferences (2) (2009)
Werner Kurschl, Stefan Mitsch, Johannes Schönböck
Modeling Distributed Signal Processing Applications. BSN (2009)
Werner Kurschl, Stefan Mitsch, Johannes Schönböck
Modeling Situation-Aware Ambient Assisted Living Systems for Eldercare. ITNG (2009)
Werner Kurschl, Wolfgang Gottesheim, Stefan Mitsch, Rene Prokop, Johannes Schönböck, Wolfgang Beer
A Two-Layered Deployment Scheme for Wireless Sensor Network based Location Tracking. ITNG (2008)
Werner Kurschl, Stefan Mitsch, Johannes Schönböck
An Engineering Toolbox to Build Situation Aware Ambient Assisted Living Systems. BroadCom (2008)
Werner Kurschl, Stefan Mitsch, Johannes Schönböck, Wolfgang Beer
Modeling wireless sensor networks based context-aware emergency coordination systems. iiWAS (2008)
Werner Kurschl, Wolfgang Gottesheim, Stefan Mitsch, Rene Prokop, Johannes Schönböck
Automatic Position Determination of Fixed Infrastructure Sensor Network Nodes based on Topology Sensing and Maps. ICWN (2008)
Werner Kurschl, Stefan Mitsch, Rene Prokop, Johannes Schönböck
Development issues for speech-enabled mobile applications. Software Engineering (2007)
Werner Kurschl, Stefan Mitsch, Rene Prokop, Johannes Schönböck
Gulliver-A Framework for Building Smart Speech-Based Applications. HICSS (2007)
Werner Kurschl, Wolfgang Gottesheim, Stefan Mitsch, Rene Prokop, Johannes Schönböck
Evaluation of a Mobile Multimodal Application Design - Major Usability Criteria and Usability Test Results. ICMB (2007)
Werner Kurschl, Stefan Mitsch, Rene Prokop
SmartDOTS - A Framework for Efficient Data Synchronization on Mobile Devices. ITNG (2006)
Werner Kurschl, Stefan Mitsch, Rene Prokop
MobileWork Clearance Management - Challenges and Solutions. MMS (2006)
Werner Kurschl, Stefan Mitsch, Rene Prokop
SelectiveDES: A Distributed Event Service Add-On for Invocation-Based Middleware supporting Selective Multi-Channel Communication and Notification Delivery. ITNG (2006)

Stefan Mitsch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Mitsch