Stefan Mitsch - RankMe

110 papers A* 2A 4B 11C 10Misc 2Journal 40Unranked 40

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