Michael Schenke

11 papers B 1C 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
1999 C conf
Provably Correct Hardware Compilation using Timing Diagrams.
FORTE
Michael Schenke, Michael Dossis
1999 J jnl
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications.
Acta Informatica
Michael Schenke, Ernst-Rüdiger Olderog
1999 J jnl
Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs.
Acta Informatica
Michael Schenke
1998 B conf
A Unifying Framework for Correct Program Construction.
MPC
Henning Dierks, Michael Schenke
1995 — conf
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications.
STRICT
Ernst-Rüdiger Olderog, Michael Schenke
1995 — conf
Refinement from a Control Problem to Programs.
Formal Methods for Industrial Applications
Michael Schenke, Anders P. Ravn
1994 — conf
Provably Correct Systems.
FTRTFT
Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
1994 — conf
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency.
FTRTFT
Michael Schenke
1993 — conf
A Timed Specification Language for Concurrent Reactive Systems.
Semantics of Specification Languages
Michael Schenke
1991 — conf
Predicative Specification of Timed Processes.
REX Workshop
Michael Schenke
1991 — conf
Specification and Stepwise Development of Communicating Systems.
VDM Europe (1)
Stephan Rössig, Michael Schenke