The SCEAS System
Navigation Menu

Search the dblp DataBase


Michael Schenke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002