1999 |
10 | | Michael Schenke,
Michael Dossis:
Provably Correct Hardware Compilation using Timing Diagrams.
FORTE 1999: 313-331 |
9 | EE | Michael Schenke,
Ernst-Rüdiger Olderog:
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications.
Acta Inf. 36(1): 1-65 (1999) |
8 | EE | Michael Schenke:
Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs.
Acta Inf. 36(1): 67-96 (1999) |
1998 |
7 | EE | Henning Dierks,
Michael Schenke:
A Unifying Framework for Correct Program Construction.
MPC 1998: 122-150 |
1995 |
6 | | Michael Schenke,
Anders P. Ravn:
Refinement from a Control Problem to Programs.
Formal Methods for Industrial Applications 1995: 403-427 |
1994 |
5 | | 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: 288-335 |
4 | | Michael Schenke:
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency.
FTRTFT 1994: 605-620 |
1993 |
3 | | Michael Schenke:
A Timed Specification Language for Concurrent Reactive Systems.
Semantics of Specification Languages 1993: 152-167 |
1991 |
2 | | Michael Schenke:
Predicative Specification of Timed Processes.
REX Workshop 1991: 603-617 |
1 | | Stephan Rössig,
Michael Schenke:
Specification and Stepwise Development of Communicating Systems.
VDM Europe (1) 1991: 149-163 |