Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Stefan Mitsch

Stefan Schmid 0006

> Home > Persons

Person information

affiliation: Carnegie Mellon University, Pittsburgh, PA, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/CleavelandMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/CleavelandMP23
Rachel Cleaveland, Stefan Mitsch, André Platzer:
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X. ACM Trans. Embed. Comput. Syst. 22(1): 10:1-10:30 (2023)
2022
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/LinMPD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/LinMPD22
Qin Lin, Stefan Mitsch, André Platzer, John M. Dolan:
Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles. IEEE Control. Syst. Lett. 6: 1574-1579 (2022)
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lites/KamburjanMH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lites/KamburjanMH22
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): 04:1-04:34 (2022)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/KabraMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/KabraMP22
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): 4409-4420 (2022)
2021
[j13]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ScharagerCMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ScharagerCMP21
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. Arch. Formal Proofs 2021 (2021)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/SogokonMTCP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SogokonMTCP21
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58(1-2): 5-41 (2021)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/QueselMLAP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/QueselMLAP21
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): 827 (2021)
2019
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/BohrerTMSP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/BohrerTMSP19
Rose 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): 2910-2917 (2019)
2018
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/MullerMRSP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MullerMRSP18
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): 615-643 (2018)
2017
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ijrr/MitschGVP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijrr/MitschGVP17
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer:
Formal verification of obstacle avoidance and navigation of ground robots. Int. J. Robotics Res. 36(12): 1312-1340 (2017)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JeanninGKSGMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JeanninGKSGMP17
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): 717-741 (2017)
2016
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/MitschP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MitschP16
Stefan Mitsch, André Platzer:
ModelPlex: verified runtime validation of verified cyber-physical system models. Formal Methods Syst. Des. 49(1-2): 33-74 (2016)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/QueselMLAP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/QueselMLAP16
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): 67-91 (2016)
2015
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/MitschPRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/MitschPRS15
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): 3:1-3:40 (2015)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/inffus/BaumgartnerMMRSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/inffus/BaumgartnerMMRSS14
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: 155-173 (2014)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mics/MitschPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/MitschPP14
Stefan Mitsch, Grant Olney Passmore, André Platzer:
Collaborative Verification-Driven Engineering of Hybrid Systems. Math. Comput. Sci. 8(1): 71-97 (2014)
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/BaumgartnerGMRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/BaumgartnerGMRS10
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
BeAware! - Situation awareness, the ontology-driven way. Data Knowl. Eng. 69(11): 1181-1193 (2010)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/KabraLMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KabraLMP24
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer:
CESAR: Control Envelope Synthesis via Angelic Refinements. TACAS (1) 2024: 144-164
2023
[c60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/BriegerMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BriegerMP23
Marvin Brieger, Stefan Mitsch, André Platzer:
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CADE 2023: 96-115
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/QianM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/QianM23
Marian Qian, Stefan Mitsch:
Reward Shaping from Hybrid Systems Models in Reinforcement Learning. NFM 2023: 122-139
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tap/StraussM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/StraussM23
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: 149-167
2022
[c57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/GallicchioTMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GallicchioTMP22
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer:
Implicit Definitions with Differential Equations for KeYmaera X - (System Description). IJCAR 2022: 723-733
[c56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/hybrid/TanMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/TanMP22
Yong Kiam Tan, Stefan Mitsch, André Platzer:
Verifying Switched System Stability With Logic. HSCC 2022: 2:1-2:11
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BayaniM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BayaniM22
David Bayani, Stefan Mitsch:
Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems. VMCAI 2022: 43-68
2021
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/MitschJZWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/MitschJZWZ21
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS 2021: 120-132
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KopylovMNW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KopylovMNW21
Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren:
Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. FM 2021: 122-141
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ScharagerCMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ScharagerCMP21
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. FM 2021: 200-217
[c51]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02965
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02965
Stefan Mitsch:
Implicit and Explicit Proof Management in KeYmaera X. F-IDE@NFM 2021: 53-67
2020
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/MitschMJZWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/MitschMJZWZ20
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: 153-174
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/0015MRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/0015MRS20
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Towards CPS Verification Engineering. iiWAS 2020: 367-371
2019
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/MitschSTJZWZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/MitschSTJZWZ19
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: 141-161
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SogokonMTCP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SogokonMTCP19
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: A Framework for Sound Continuous Invariant Generation. FM 2019: 138-157
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LunelMBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LunelMBT19
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: 354-370
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iccps/GarciaMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/GarciaMP19
Luis Garcia, Stefan Mitsch, André Platzer:
HyPLC: hybrid programmable logic controller program translation for verification. ICCPS 2019: 47-56
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/GarciaMP19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/GarciaMP19a
Luis Garcia, Stefan Mitsch, André Platzer:
Toward multi-task support and security analyses in PLC program translation for verification: poster abstract. ICCPS 2019: 348-349
2018
[c43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/adhs/MitschSTPZJWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/MitschSTPZJWZ18
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: 110-127
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/0015MSP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/0015MSP18
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: 91-110
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BohrerTMMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BohrerTMMP18
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer:
VeriPhy: verified controller executables from verified cyber-physical system models. PLDI 2018: 617-630
2017
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/0002MRSP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/0002MRSP17
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
A Benchmark for Component-based Hybrid Systems Safety Verification. ARCH@CPSWeek 2017: 65-74
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/0002MRSP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/0002MRSP17
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
Change and Delay Contracts for Hybrid System Component Verification. FASE 2017: 134-151
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/FultonMBP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/FultonMBP17
Nathan Fulton, Stefan Mitsch, Rose Bohrer, André Platzer:
Bellerophon: Tactical Theorem Proving for Hybrid Systems. ITP 2017: 207-224
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/MitschGBGP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/MitschGBGP17
Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer:
Formal Verification of Train Control with Air Pressure Brakes. RSSRail 2017: 173-191
2016
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MullerMRSP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MullerMRSP16
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
A Component-Based Approach to Hybrid Systems Safety Verification. IFM 2016: 441-456
[c35]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MitschP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MitschP17
Stefan Mitsch, André Platzer:
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving. F-IDE@FM 2016: 67-81
2015
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/FultonMQVP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FultonMQVP15
Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer:
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. CADE 2015: 527-538
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/0002MP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/0002MP15
Andreas Müller, Stefan Mitsch, André Platzer:
Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. ITSC 2015: 757-764
2014
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MitschQP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MitschQP14
Stefan Mitsch, Jan-David Quesel, André Platzer:
Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. FM 2014: 481-496
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/SalfingerNRSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/SalfingerNRSM14
Andrea Salfinger, Daniel Neidhart, Werner Retschitzegger, Wieland Schwinger, Stefan Mitsch:
SEM² suite - Towards a tool suite for supporting knowledge management in situation awareness systems. IRI 2014: 351-360
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ksem/MullerMRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ksem/MullerMRS14
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. KSEM 2014: 368-379
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/MitschP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MitschP14
Stefan Mitsch, André Platzer:
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. RV 2014: 199-214
2013
[c28]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apccm/WischenbartMKKLPRSSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apccm/WischenbartMKKLPRSSW13
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: 89-98
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/apweb/MitschMRSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apweb/MitschMRSS13
Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger:
A Survey on Clustering Techniques for Situation Awareness. APWeb 2013: 815-826
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/MitschGP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/MitschGP13
Stefan Mitsch, Khalil Ghorbal, André Platzer:
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. Robotics: Science and Systems 2013
2012
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/MitschLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/MitschLP12
Stefan Mitsch, Sarah M. Loos, André Platzer:
Towards Formal Verification of Freeway Traffic Control. ICCPS 2012: 171-180
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/www/WischenbartMKKPRSSWL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/WischenbartMKKPRSSWL12
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: 939-948
2011
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/dasfaa/GottesheimMRSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasfaa/GottesheimMRSB11
Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Norbert Baumgartner:
SemGen - Towards a Semantic Data Generator for Benchmarking Duplicate Detectors. DASFAA Workshops 2011: 490-501
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/er/MitschRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/MitschRS11
Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations. ER Workshops 2011: 271-280
[c21]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ic3k/BaumgartnerGMRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/BaumgartnerGMRS11
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Reasoning on Data Streams for Situation Awareness. KEOD 2011: 407-412
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/MitschGPPRSHRB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/MitschGPPRSHRB11
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: 182-188
2010
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/er/BaumgartnerGMRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/BaumgartnerGMRS10
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness. ER 2010: 202-218
[c18]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ic3k/GottesheimMRSB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/GottesheimMRSB10
Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Norbert Baumgartner:
WorkAware - Situation-aware Workflow Management. KMIS 2010: 246-252
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/BaumgartnerGMRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/BaumgartnerGMRS10
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: 1097-1107
2009
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/broadcom/KurschlMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/broadcom/KurschlMS09
Werner Kurschl, Stefan Mitsch, Johannes Schönböck:
An Evaluation Framework for Pervasive Healthcare Applications. BroadBandCom 2009: 313-318
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/bsn/KurschlMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bsn/KurschlMS09
Werner Kurschl, Stefan Mitsch, Johannes Schönböck:
Modeling Distributed Signal Processing Applications. BSN 2009: 103-108
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/itng/KurschlMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itng/KurschlMS09
Werner Kurschl, Stefan Mitsch, Johannes Schönböck:
Modeling Situation-Aware Ambient Assisted Living Systems for Eldercare. ITNG 2009: 1214-1219
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ksem/BaumgartnerGMRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ksem/BaumgartnerGMRS09
Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
On Optimization of Predictions in Ontology-Driven Situation Awareness. KSEM 2009: 297-309
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/BaumgartnerGMRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/BaumgartnerGMRS09
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: 1050-1068
2008
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/broadcom/KurschlMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/broadcom/KurschlMS08
Werner Kurschl, Stefan Mitsch, Johannes Schönböck:
An Engineering Toolbox to Build Situation Aware Ambient Assisted Living Systems. BroadCom 2008: 110-116
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icwn/KurschlGMPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwn/KurschlGMPS08
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: 17-22
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/KurschlMSB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/KurschlMSB08
Werner Kurschl, Stefan Mitsch, Johannes Schönböck, Wolfgang Beer:
Modeling wireless sensor networks based context-aware emergency coordination systems. iiWAS 2008: 117-122
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/itng/KurschlGMPSB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itng/KurschlGMPSB08
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: 726-730
2007
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/KurschlMPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/KurschlMPS07
Werner Kurschl, Stefan Mitsch, Rene Prokop, Johannes Schönböck:
Gulliver-A Framework for Building Smart Speech-Based Applications. HICSS 2007: 30
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icmb/KurschlGMPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmb/KurschlGMPS07
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: 68
[c5]
- view
- export record
  dblp key:
  - conf/se/KurschlMPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KurschlMPS07
Werner Kurschl, Stefan Mitsch, Rene Prokop, Johannes Schönböck:
Development issues for speech-enabled mobile applications. Software Engineering 2007: 157-168
2006
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/itng/KurschlMP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itng/KurschlMP06
Werner Kurschl, Stefan Mitsch, Rene Prokop:
SmartDOTS - A Framework for Efficient Data Synchronization on Mobile Devices. ITNG 2006: 300-305
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/itng/KurschlMP06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itng/KurschlMP06a
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: 328-333
[c2]
- view
- export record
  dblp key:
  - conf/mms/KurschlMP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mms/KurschlMP06
Werner Kurschl, Stefan Mitsch, Rene Prokop:
MobileWork Clearance Management - Challenges and Solutions. MMS 2006: 9-20
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icmb/KurschlSD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmb/KurschlSD05
Werner Kurschl, Stefan Schmid, Christian Domscha:
MOSES - A Mobile Safety System for Work Clearance Processes. ICMB 2005: 166-172

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2020
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/MitschP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/MitschP20
Stefan Mitsch, André Platzer:
A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers. 20 Years of KeY 2020: 21-64

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-10998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-10998
Samuel Teuber, Stefan Mitsch, André Platzer:
Provably Safe Neural Network Controllers via Differential Dynamic Logic. CoRR abs/2402.10998 (2024)
2023
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-14546
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-14546
Marvin Brieger, Stefan Mitsch, André Platzer:
Dynamic Logic of Communicating Hybrid Programs. CoRR abs/2302.14546 (2023)
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-17333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-17333
Marvin Brieger, Stefan Mitsch, André Platzer:
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CoRR abs/2303.17333 (2023)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-08812
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-08812
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 abs/2305.08812 (2023)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-01180
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-01180
Myra Dotzel, Stefan Mitsch, André Platzer:
A Usage-Aware Sequent Calculus for Differential Dynamic Logic. CoRR abs/2309.01180 (2023)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-02833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-02833
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer:
CESAR: Control Envelope Synthesis via Angelic Refinements. CoRR abs/2311.02833 (2023)
2022
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-01272
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-01272
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer:
Implicit Definitions with Differential Equations for KeYmaera X (System Description). CoRR abs/2203.01272 (2022)
2021
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-14183
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-14183
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. CoRR abs/2105.14183 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-02030
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-02030
Rachel Cleaveland, Stefan Mitsch, André Platzer:
Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X. CoRR abs/2106.02030 (2021)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-01928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-01928
Yong Kiam Tan, Stefan Mitsch, André Platzer:
Verifying Switched System Stability With Logic. CoRR abs/2111.01928 (2021)
2020
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-09348
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-09348
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: Sound Continuous Invariant Generation. CoRR abs/2005.09348 (2020)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-12453
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-12453
David Bayani, Stefan Mitsch:
Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems. CoRR abs/2006.12453 (2020)
2019
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-05205
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-05205
Luis Garcia, Stefan Mitsch, André Platzer:
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification. CoRR abs/1902.05205 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-05073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-05073
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer:
A Formal Safety Net for Waypoint Following in Ground Robots. CoRR abs/1903.05073 (2019)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-05704
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-05704
Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle:
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. CoRR abs/1906.05704 (2019)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-02881
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-02881
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin:
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. CoRR abs/1907.02881 (2019)
2018
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-06502
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06502
Stefan Mitsch, André Platzer:
Verified Runtime Validation for Partially Observable Hybrid Systems. CoRR abs/1811.06502 (2018)
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MitschGVP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MitschGVP16
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer:
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots. CoRR abs/1605.00604 (2016)
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MitschPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MitschPP14
Stefan Mitsch, Grant Olney Passmore, André Platzer:
Collaborative Verification-Driven Engineering of Hybrid Systems. CoRR abs/1403.6085 (2014)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.