Stefan Mitsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
21
Active years
2008–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | Can Large Language Models Autoformalize Kinematics? | Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, Andr Platzer |
| 2024 | TACAS | CESAR: Control Envelope Synthesis via Angelic Refinements. | Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andr Platzer |
| 2023 | CADE | Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. | Marvin Brieger, Stefan Mitsch, Andr Platzer |
| 2023 | TAP | Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. | Megan Strauss, Stefan Mitsch |
| 2022 | CADE | Implicit Definitions with Differential Equations for KeYmaera X - (System Description). | James Gallicchio, Yong Kiam Tan, Stefan Mitsch, Andr Platzer |
| 2022 | VMCAI | Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems. | David Bayani, Stefan Mitsch |
| 2021 | FM | Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. | Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren |
| 2021 | FM | Verified Quadratic Virtual Substitution for Real Arithmetic. | Matias Scharager, Katherine Cordwell, Stefan Mitsch, Andr Platzer |
| 2020 | IIWAS | Towards CPS Verification Engineering. | Andreas Mller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger |
| 2019 | FM | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. | Simon Lunel, Stefan Mitsch, Benot Boyer, Jean-Pierre Talpin |
| 2019 | FM | Pegasus: A Framework for Sound Continuous Invariant Generation. | Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, Andr Platzer |
| 2018 | PLDI | VeriPhy: verified controller executables from verified cyber-physical system models. | Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, Andr Platzer |
| 2017 | FASE | Change and Delay Contracts for Hybrid System Component Verification. | Andreas Mller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Andr Platzer |
| 2017 | ITP | Bellerophon: Tactical Theorem Proving for Hybrid Systems. | Nathan Fulton, Stefan Mitsch, Rose Bohrer, Andr Platzer |
| 2016 | IFM | A Component-Based Approach to Hybrid Systems Safety Verification. | Andreas Mller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Andr Platzer |
| 2015 | CADE | KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. | Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Vlp, Andr Platzer |
| 2014 | FM | Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. | Stefan Mitsch, Jan-David Quesel, Andr Platzer |
| 2014 | IRI | SEM | Andrea Salfinger, Daniel Neidhart, Werner Retschitzegger, Wieland Schwinger, Stefan Mitsch |
| 2014 | KSEM | A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. | Andreas Mller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger |
| 2014 | RV | ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. | Stefan Mitsch, Andr Platzer |
| 2013 | APCCM | Automatic Data Transformation - Breaching the Walled Gardens of Social Network Platforms. | Martin Wischenbart, Stefan Mitsch, Elisabeth Kapsammer, Angelika Kusel, Stephan Lechner, Birgit Prll, Werner Retschitzegger, Johannes Schnbck, Wieland Schwinger, Manuel Wimmer |
| 2013 | APWEB | A Survey on Clustering Techniques for Situation Awareness. | Stefan Mitsch, Andreas Mller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger |
| 2012 | WWW | User profile integration made easy: model-driven extraction and transformation of social network schemas. | Martin Wischenbart, Stefan Mitsch, Elisabeth Kapsammer, Angelika Kusel, Birgit Prll, Werner Retschitzegger, Wieland Schwinger, Johannes Schnbck, Manuel Wimmer, Stephan Lechner |
| 2011 | DASFAA | SemGen - Towards a Semantic Data Generator for Benchmarking Duplicate Detectors. | Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Norbert Baumgartner |
| 2011 | ER | Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations. | Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger |
| 2011 | IC3K | Reasoning on Data Streams for Situation Awareness. | Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger |
| 2011 | IIWAS | Making workflows situation aware: an ontology-driven framework for dynamic spatial systems. | Stefan Mitsch, Wolfgang Gottesheim, Franz Hermann Pommer, Birgit Prll, Werner Retschitzegger, Wieland Schwinger, Robert Hutter, Gustavo Rossi, Norbert Baumgartner |
| 2010 | ER | Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness. | Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger |
| 2010 | IC3K | WorkAware - Situation-aware Workflow Management. | Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Norbert Baumgartner |
| 2009 | BSN | Modeling Distributed Signal Processing Applications. | Werner Kurschl, Stefan Mitsch, Johannes Schnbck |
| 2009 | KSEM | On Optimization of Predictions in Ontology-Driven Situation Awareness. | Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger |
| 2008 | IIWAS | Modeling wireless sensor networks based context-aware emergency coordination systems. | Werner Kurschl, Stefan Mitsch, Johannes Schnbck, Wolfgang Beer |