Michael Schenke

According to our database1, Michael Schenke
  • authored at least 10 papers between 1991 and 1999.
  • has a "Dijkstra number"2 of three.

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
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


  Loading...