# Michael Schenke

According to our database

Collaborative distances:

^{1}, Michael Schenke authored at least 11 papers between 1991 and 1999.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1999

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

Acta Inf., 1999

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

Acta Inf., 1999

Provably Correct Hardware Compilation using Timing Diagrams.

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

1998

A Unifying Framework for Correct Program Construction.

Proceedings of the Mathematics of Program Construction, 1998

1995

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

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

Refinement from a Control Problem to Programs.

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

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

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.

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.

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

1991

Predicative Specification of Timed Processes.

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

Specification and Stepwise Development of Communicating Systems.

Proceedings of the VDM '91, 1991