Michael Schenke

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Publications

Michael Schenke, Ernst-Rüdiger Olderog
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. Acta Informatica 36 (1) (1999)
Michael Schenke
Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs. Acta Informatica 36 (1) (1999)
Michael Schenke, Michael Dossis
Provably Correct Hardware Compilation using Timing Diagrams. FORTE (1999)
Henning Dierks, Michael Schenke
A Unifying Framework for Correct Program Construction. MPC (1998)
Michael Schenke, Anders P. Ravn
Refinement from a Control Problem to Programs. Formal Methods for Industrial Applications (1995)
Ernst-Rüdiger Olderog, Michael Schenke
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. STRICT (1995)
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
Provably Correct Systems. FTRTFT (1994)
Michael Schenke
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency. FTRTFT (1994)
Michael Schenke
A Timed Specification Language for Concurrent Reactive Systems. Semantics of Specification Languages (1993)
Michael Schenke
Predicative Specification of Timed Processes. REX Workshop (1991)
Stephan Rössig, Michael Schenke
Specification and Stepwise Development of Communicating Systems. VDM Europe (1) (1991)