Conference ARCH-COMP20 category report: Hybrid systems theorem proving 2020 • EPiC Series in Computing • 74:153-174 Mitsch S, Y Munive JJH, Jin X, Zhan B, Wang S, Zhan N
Preprint Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems 2020 Bayani D, Mitsch S
Preprint Pegasus: Sound Continuous Invariant Generation 2020 Sogokon A, Mitsch S, Tan YK, Cordwell K, Platzer A
Conference Towards CPS Verification Engineering 2020 • 22ND INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS2020) • 367-371 Mueller A, Mitsch S, Retschitzegger W, Schwinger W
Conference A component-based hybrid systems verification and implementation tool in KeYmaera X (Tool demonstration) 2019 • Lecture Notes in Computer Science • 11615 LNCS:91-110 Müller A, Mitsch S, Schwinger W, Platzer A
Preprint A Formal Safety Net for Waypoint Following in Ground Robots 2019 Bohrer B, Tan YK, Mitsch S, Sogokon A, Platzer A
Journal Article A Formal Safety Net for Waypoint-Following in Ground Robots 2019 • IEEE Robotics and Automation Letters • 4(3):2910-2917 Bohrer B, Tan YK, Mitsch S, Sogokon A, Platzer A
Conference Arch-comp19 category report: Hybrid systems theorem proving 2019 • EPiC Series in Computing • 61:141-161 Mitsch S, Sogokon A, Tan YK, Jin X, Zhan B, Wang S, Zhan N
Preprint HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification 2019 Garcia L, Mitsch S, Platzer A
Conference HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification 2019 • ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS • 47-56 Garcia L, Mitsch S, Platzer A
Preprint Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic 2019 Lunel S, Mitsch S, Boyer B, Talpin J-P
Conference Parallel composition and modular verification of computer controlled systems in differential dynamic logic 2019 • Lecture Notes in Computer Science • 11800 LNCS:354-370 Lunel S, Mitsch S, Boyer B, Talpin JP
Conference Pegasus: A framework for sound continuous invariant generation 2019 • Lecture Notes in Computer Science • 11800 LNCS:138-157 Sogokon A, Mitsch S, Tan YK, Cordwell K, Platzer A
Conference Toward Multi-Task Support and Security Analyses in PLC Program Translation for Verification 2019 • ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS • 348-349 Garcia L, Mitsch S, Platzer A
Conference ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving 2018 • EPiC series in computing • 54:110-191 Mitsch S, Sogokon A, Tan YK, Platzer A, Zhao H, Jin X, Wang S, Zhan N
Journal Article Tactical contract composition for hybrid system component verification 2018 • International Journal on Software Tools for Technology Transfer • 20(6):615-643 Mueller A, Mitsch S, Retschitzegger W, Schwinger W, Platzer A
Preprint Verified Runtime Validation for Partially Observable Hybrid Systems 2018 Mitsch S, Platzer A
Journal Article VeriPhy: verified controller executables from verified cyber-physical system models 2018 • ACM Sigplan Notices • 53(4):617-630 Bohrer R, Tan YK, Mitsch S, Myreen MO, Platzer A
Conference VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models 2018 • ACM Sigplan Notices • 53(4):617-630 Bohrer B, Tan YK, Mitsch S, Myreen MO, Platzer A
Conference A Benchmark for Component-based Hybrid Systems Safety Verification 2017 • EPiC series in computing • 48:65-54 Müller A, Mitsch S, Retschitzegger W, Schwinger W, Platzer A
Journal Article A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system 2017 • International Journal on Software Tools for Technology Transfer • 19(6):717-741 Jeannin J-B, Ghorbal K, Kouskoulas Y, Schmidt A, Gardner R, Mitsch S, Platzer A
Conference Bellerophon: Tactical Theorem Proving for Hybrid Systems 2017 • Lecture Notes in Computer Science • 10499:207-224 Fulton N, Mitsch S, Bohrer B, Platzer A
Conference Change and Delay Contracts for Hybrid System Component Verification 2017 • Lecture Notes in Computer Science • 10202:134-151 Mueller A, Mitsch S, Retschitzegger W, Schwinger W, Platzer A
Journal Article Formal verification of obstacle avoidance and navigation of ground robots 2017 • International Journal of Robotics Research • 36(12):1312-1340 Mitsch S, Ghorbal K, Vogelbacher D, Platzer A
Conference Formal Verification of Train Control with Air Pressure Brakes 2017 • Lecture Notes in Computer Science • 10598 LNCS:173-191 Mitsch S, Gario M, Budnik CJ, Golm M, Platzer A
