MOSES - A Mobile Safety System for Work Clearance Processes. - Werner Kurschl; Stefan Schmid 006; Christian Domscha (ICMB, 2005)

SmartDOTS - A Framework for Efficient Data Synchronization on Mobile Devices. - Werner Kurschl; Stefan Mitsch; Rene Prokop (ITNG, 2006)

SelectiveDES: A Distributed Event Service Add-On for Invocation-Based Middleware supporting Selective Multi-Channel Communication and Notification Delivery. - Werner Kurschl; Stefan Mitsch; Rene Prokop (ITNG, 2006)

MobileWork Clearance Management - Challenges and Solutions. - Werner Kurschl; Stefan Mitsch; Rene Prokop (MMS, 2006)

Gulliver-A Framework for Building Smart Speech-Based Applications. - Werner Kurschl; Stefan Mitsch; Rene Prokop; Johannes Schönböck (HICSS, 2007)

Evaluation of a Mobile Multimodal Application Design - Major Usability Criteria and Usability Test Results. - Werner Kurschl; Wolfgang Gottesheim; Stefan Mitsch; Rene Prokop; Johannes Schönböck (ICMB, 2007)

Development issues for speech-enabled mobile applications. - Werner Kurschl; Stefan Mitsch; Rene Prokop; Johannes Schönböck (Software Engineering, 2007)

An Engineering Toolbox to Build Situation Aware Ambient Assisted Living Systems. - Werner Kurschl; Stefan Mitsch; Johannes Schönböck (BroadCom, 2008)

Automatic Position Determination of Fixed Infrastructure Sensor Network Nodes based on Topology Sensing and Maps. - Werner Kurschl; Wolfgang Gottesheim; Stefan Mitsch; Rene Prokop; Johannes Schönböck (ICWN, 2008)

Modeling wireless sensor networks based context-aware emergency coordination systems. - Werner Kurschl; Stefan Mitsch; Johannes Schönböck; Wolfgang Beer (iiWAS, 2008)

A Two-Layered Deployment Scheme for Wireless Sensor Network based Location Tracking. - Werner Kurschl; Wolfgang Gottesheim; Stefan Mitsch; Rene Prokop; Johannes Schönböck; Wolfgang Beer (ITNG, 2008)

An Evaluation Framework for Pervasive Healthcare Applications. - Werner Kurschl; Stefan Mitsch; Johannes Schönböck (BroadBandCom, 2009)

Modeling Distributed Signal Processing Applications. - Werner Kurschl; Stefan Mitsch; Johannes Schönböck (BSN, 2009)

Modeling Situation-Aware Ambient Assisted Living Systems for Eldercare. - Werner Kurschl; Stefan Mitsch; Johannes Schönböck (ITNG, 2009)

On Optimization of Predictions in Ontology-Driven Situation Awareness. - Norbert Baumgartner; Wolfgang Gottesheim; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (KSEM, 2009)

"Same, Same but Different" A Survey on Duplicate Detection Methods for Situation Awareness. - Norbert Baumgartner; Wolfgang Gottesheim; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (OTM Conferences (2), 2009)

Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness. - Norbert Baumgartner; Wolfgang Gottesheim; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (ER, 2010)

WorkAware - Situation-aware Workflow Management. - Wolfgang Gottesheim; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; Norbert Baumgartner (KMIS, 2010)

Towards Duplicate Detection for Situation Awareness Based on Spatio-temporal Relations. - Norbert Baumgartner; Wolfgang Gottesheim; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (OTM Conferences (2), 2010)

BeAware! - Situation awareness, the ontology-driven way. - Norbert Baumgartner; Wolfgang Gottesheim; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (Data Knowl. Eng., 2010)

SemGen - Towards a Semantic Data Generator for Benchmarking Duplicate Detectors. - Wolfgang Gottesheim; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; Norbert Baumgartner (DASFAA Workshops, 2011)

Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations. - Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (ER Workshops, 2011)

Reasoning on Data Streams for Situation Awareness. - Norbert Baumgartner; Wolfgang Gottesheim; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (KEOD, 2011)

Making workflows situation aware: an ontology-driven framework for dynamic spatial systems. - Stefan Mitsch; Wolfgang Gottesheim; Franz Hermann Pommer; Birgit Pröll; Werner Retschitzegger; Wieland Schwinger; Robert Hutter; Gustavo Rossi; Norbert Baumgartner (iiWAS, 2011)

Towards Formal Verification of Freeway Traffic Control. - Stefan Mitsch; Sarah M. Loos; André Platzer (ICCPS, 2012)

User profile integration made easy: model-driven extraction and transformation of social network schemas. - Martin Wischenbart; Stefan Mitsch; Elisabeth Kapsammer; Angelika Kusel; Birgit Pröll; Werner Retschitzegger; Wieland Schwinger; Johannes Schönböck; Manuel Wimmer; Stephan Lechner (WWW (Companion Volume), 2012)

Automatic Data Transformation - Breaching the Walled Gardens of Social Network Platforms. - Martin Wischenbart; Stefan Mitsch; Elisabeth Kapsammer; Angelika Kusel; Stephan Lechner; Birgit Pröll; Werner Retschitzegger; Johannes Schönböck; Wieland Schwinger; Manuel Wimmer (APCCM, 2013)

A Survey on Clustering Techniques for Situation Awareness. - Stefan Mitsch; Andreas Müller 015; Werner Retschitzegger; Andrea Salfinger; Wieland Schwinger (APWeb, 2013)

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. - Stefan Mitsch; Khalil Ghorbal; André Platzer (Robotics: Science and Systems, 2013)

Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. - Stefan Mitsch; Jan-David Quesel; André Platzer (FM, 2014)

SEM2 suite - Towards a tool suite for supporting knowledge management in situation awareness systems. - Andrea Salfinger; Daniel Neidhart; Werner Retschitzegger; Wieland Schwinger; Stefan Mitsch (IRI, 2014)

A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (KSEM, 2014)

A tour of BeAware - A situation awareness framework for control centers. - Norbert Baumgartner; Stefan Mitsch; Andreas Müller 015; Werner Retschitzegger; Andrea Salfinger; Wieland Schwinger (Inf. Fusion, 2014)

Collaborative Verification-Driven Engineering of Hybrid Systems. - Stefan Mitsch; Grant Olney Passmore; André Platzer (Math. Comput. Sci., 2014)

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. - Nathan Fulton; Stefan Mitsch; Jan-David Quesel; Marcus Völp; André Platzer (CADE, 2015)

Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. - Andreas Müller 015; Stefan Mitsch; André Platzer (ITSC, 2015)

Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems. - Stefan Mitsch; André Platzer; Werner Retschitzegger; Wieland Schwinger (ACM Comput. Surv., 2015)

A Component-Based Approach to Hybrid Systems Safety Verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (IFM, 2016)

The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving. - Stefan Mitsch; André Platzer (F-IDE@FM, 2016)

ModelPlex: verified runtime validation of verified cyber-physical system models. - Stefan Mitsch; André Platzer (Formal Methods Syst. Des., 2016)

How to model and prove hybrid systems with KeYmaera: a tutorial on safety. - Jan-David Quesel; Stefan Mitsch; Sarah M. Loos; Nikos Aréchiga; André Platzer (Int. J. Softw. Tools Technol. Transf., 2016)

A Benchmark for Component-based Hybrid Systems Safety Verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (ARCH@CPSWeek, 2017)

Change and Delay Contracts for Hybrid System Component Verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (FASE, 2017)

Bellerophon: Tactical Theorem Proving for Hybrid Systems. - Nathan Fulton; Stefan Mitsch; Rose Bohrer; André Platzer (ITP, 2017)

Formal Verification of Train Control with Air Pressure Brakes. - Stefan Mitsch; Marco Gario; Christof J. Budnik; Michael Golm; André Platzer (RSSRail, 2017)

Formal verification of obstacle avoidance and navigation of ground robots. - Stefan Mitsch; Khalil Ghorbal; David Vogelbacher; André Platzer (Int. J. Robotics Res., 2017)

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. - Jean-Baptiste Jeannin; Khalil Ghorbal; Yanni Kouskoulas; Aurora C. Schmidt; Ryan W. Gardner; Stefan Mitsch; André Platzer (Int. J. Softw. Tools Technol. Transf., 2017)

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Andrew Sogokon; Yong Kiam Tan; André Platzer; Hengjun Zhao; Xiangyu Jin; Shuling Wang 003; Naijun Zhan (ARCH@ADHS, 2018)

A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). - Andreas Müller 015; Stefan Mitsch; Wieland Schwinger; André Platzer (CyPhy/WESE, 2018)

VeriPhy: verified controller executables from verified cyber-physical system models. - Rose Bohrer; Yong Kiam Tan; Stefan Mitsch; Magnus O. Myreen; André Platzer (PLDI, 2018)

Verified Runtime Validation for Partially Observable Hybrid Systems. - Stefan Mitsch; André Platzer (CoRR, 2018)

Tactical contract composition for hybrid system component verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (Int. J. Softw. Tools Technol. Transf., 2018)

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Andrew Sogokon; Yong Kiam Tan; Xiangyu Jin; Bohua Zhan; Shuling Wang 003; Naijun Zhan (ARCH@CPSIoTWeek, 2019)

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. - Simon Lunel; Stefan Mitsch; Benoît Boyer; Jean-Pierre Talpin (FM, 2019)

Pegasus: A Framework for Sound Continuous Invariant Generation. - Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer (FM, 2019)

HyPLC: hybrid programmable logic controller program translation for verification. - Luis Garcia 001; Stefan Mitsch; André Platzer (ICCPS, 2019)

Toward multi-task support and security analyses in PLC program translation for verification: poster abstract. - Luis Garcia 001; Stefan Mitsch; André Platzer (ICCPS, 2019)

Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. - Eduard Kamburjan; Stefan Mitsch; Martina Kettenbach; Reiner Hähnle (CoRR, 2019)

A Formal Safety Net for Waypoint-Following in Ground Robots. - Rose Bohrer; Yong Kiam Tan; Stefan Mitsch; Andrew Sogokon; André Platzer (IEEE Robotics Autom. Lett., 2019)

ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Jonathan Julián Huerta y Munive; Xiangyu Jin; Bohua Zhan; Shuling Wang 003; Naijun Zhan (ARCH, 2020)

Towards CPS Verification Engineering. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (iiWAS, 2020)

A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers. - Stefan Mitsch; André Platzer (20 Years of KeY, 2020)

ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Xiangyu Jin; Bohua Zhan; Shuling Wang 003; Naijun Zhan (ARCH@ADHS, 2021)

Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. - Alexei Kopylov; Stefan Mitsch; Aleksey Nogin; Michael A. Warren (FM, 2021)

Verified Quadratic Virtual Substitution for Real Arithmetic. - Matias Scharager; Katherine Cordwell; Stefan Mitsch; André Platzer (Arch. Formal Proofs, 2021)

Implicit and Explicit Proof Management in KeYmaera X. - Stefan Mitsch (F-IDE@NFM, 2021)

Pegasus: sound continuous invariant generation. - Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer (Formal Methods Syst. Des., 2021)

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety. - Jan-David Quesel; Stefan Mitsch; Sarah M. Loos; Nikos Aréchiga; André Platzer (Int. J. Softw. Tools Technol. Transf., 2021)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger (ARCH@SAFECOMP, 2022)

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Bohua Zhan; Huanhuan Sheng; Alexander Bentkamp; Xiangyu Jin; Shuling Wang 003; Simon Foster 001; Christian Pardillo Laursen; Jonathan Julián Huerta y Munive (ARCH@SAFECOMP, 2022)

Implicit Definitions with Differential Equations for KeYmaera X - (System Description). - James Gallicchio; Yong Kiam Tan; Stefan Mitsch; André Platzer (IJCAR, 2022)

Verifying Switched System Stability With Logic. - Yong Kiam Tan; Stefan Mitsch; André Platzer (HSCC, 2022)

Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems. - David Bayani; Stefan Mitsch (VMCAI, 2022)

Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles. - Qin Lin 001; Stefan Mitsch; André Platzer; John M. Dolan (IEEE Control. Syst. Lett., 2022)

A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. - Eduard Kamburjan; Stefan Mitsch; Reiner Hähnle (Leibniz Trans. Embed. Syst., 2022)

Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces. - Aditi Kabra; Stefan Mitsch; André Platzer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

HABS Simulator Virtual Machine. - Eduard Kamburjan; Stefan Mitsch; Reiner Hähnle (Zenodo, 2022)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Elena Ivanova; Yangge Li; Sayan Mitra; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger; et al. (ARCH, 2023)

ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Huanhuan Sheng; Bohua Zhan; Shuling Wang 003; Simon Foster 001; Jonathan Julián Huerta y Munive (ARCH, 2023)

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. - Marvin Brieger; Stefan Mitsch; André Platzer (CADE, 2023)

Reward Shaping from Hybrid Systems Models in Reinforcement Learning. - Marian Qian; Stefan Mitsch (NFM, 2023)

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 (TAP, 2023)

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. - Alessandro Abate; Matthias Althoff; Lei Bu; Gidon Ernst; Goran Frehse; Luca Geretti; Taylor T. Johnson; Claudio Menghi; Stefan Mitsch; Stefan Schupp; Sadegh Soudjani (TOOLympics@ETAPS, 2023)

Dynamic Logic of Communicating Hybrid Programs. - Marvin Brieger; Stefan Mitsch; André Platzer (CoRR, 2023)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic. - Myra Dotzel; Stefan Mitsch; André Platzer (CoRR, 2023)

Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X. - Rachel Cleaveland; Stefan Mitsch; André Platzer (ACM Trans. Embed. Comput. Syst., 2023)

Towards Verification-Driven Control Learning. - Stefan Mitsch (ICAA, 2024)

Provably Safe Neural Network Controllers via Differential Dynamic Logic. - Samuel Teuber; Stefan Mitsch; André Platzer (NeurIPS, 2024)

CESAR: Control Envelope Synthesis via Angelic Refinements. - Aditi Kabra; Jonathan Laurent; Stefan Mitsch; André Platzer (TACAS (1), 2024)

Complete Dynamic Logic of Communicating Hybrid Programs. - Marvin Brieger; Stefan Mitsch; André Platzer (CoRR, 2024)

samysweb/NCubeV: v0.9. - Samuel Teuber; Stefan Mitsch; André Platzer (Zenodo, 2024)

HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems. - Jainta Paul; Stefan Mitsch; Luis Garcia 001 (NFM, 2025)

Hybrid Game Control Envelope Synthesis. - Aditi Kabra; Jonathan Laurent; Stefan Mitsch; André Platzer (CoRR, 2025)