Michael Schenke

According to our database, Michael Schenke authored at least 11 papers between 1991 and 1999.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

1999

Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications.

Michael Schenke, Ernst-Rüdiger Olderog

Acta Informatica, 1999

Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs.

Michael Schenke

Acta Informatica, 1999

Provably Correct Hardware Compilation using Timing Diagrams.

Michael Schenke, Michael F. Dossis

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

A Unifying Framework for Correct Program Construction.

Henning Dierks, Michael Schenke

Proceedings of the Mathematics of Program Construction, 1998

1995

Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications.

Ernst-Rüdiger Olderog, Michael Schenke

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Refinement from a Control Problem to Programs.

Michael Schenke, Anders P. Ravn

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency.

Michael Schenke

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Provably Correct Systems.

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

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

A Timed Specification Language for Concurrent Reactive Systems.

Michael Schenke

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1991

Predicative Specification of Timed Processes.

Michael Schenke

Proceedings of the Real-Time: Theory in Practice, 1991

Specification and Stepwise Development of Communicating Systems.

Stephan Rössig, Michael Schenke

Proceedings of the VDM '91, 1991