 | 1999 |
|---|
| 10 |       | Michael Schenke,
Michael Dossis:
Provably Correct Hardware Compilation using Timing Diagrams.
FORTE 1999: 313-331 |
| 9 |  | 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 | | Michael Schenke:
Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs.
Acta Inf. 36(1): 67-96 (1999) |
| 1998 |
|---|
| 7 | | 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 |
