Travelled to:1 × France
1 × Germany
1 × Singapore
1 × Spain
Collaborated with:A.Platzer W.Retschitzegger W.Schwinger J.Quesel N.Baumgartner W.Gottesheim N.Fulton M.Völp A.M.0015 B.Bohrer Y.K.Tan M.O.Myreen
Talks about:system (4) hybrid (3) awar (3) verifi (2) situat (2) reason (2) character (1) workflow (1) refactor (1) contract (1)
Person: Stefan Mitsch
DBLP: Mitsch:Stefan
Contributed to:
2015
2014
2011
2010
2017
2018Wrote 6 papers:
- CADE-2015-FultonMQVP #axiom #hybrid #proving #theorem proving
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.
- FM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement
- Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
- KEOD-2011-BaumgartnerGMRS #data type #reasoning
- Reasoning on Data Streams for Situation Awareness (NB, WG, SM, WR, WS), pp. 407–412.
- KMIS-2010-GottesheimMRSB #named #workflow
- WorkAware — Situation-aware Workflow Management (WG, SM, WR, WS, NB), pp. 246–252.
- FASE-2017-0002MRSP #component #contract #hybrid #verification
- Change and Delay Contracts for Hybrid System Component Verification (AM0, SM, WR, WS, AP), pp. 134–151.
- PLDI-2018-BohrerTMMP #bytecode #cyber-physical #modelling #named
- VeriPhy: verified controller executables from verified cyber-physical system models (BB, YKT, SM, MOM, AP), pp. 617–630.