BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mitsch:Stefan

Contributed to:

CADE 20152015
FM 20142014
KEOD 20112011
KMIS 20102010
FASE 20172017
PLDI 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.