Prof. Dr. habil. Michael Schenke

 

1 Publications (BibTeX Source)

@INPROCEEDINGS{schd99,
  TITLE = {Provably Correct Hardware Compilation using Timing
                  Diagrams},
  AUTHOR = {M. Schenke and M. Dossis},
  BOOKTITLE = {FORTE/PSTV'99},
  PUBLISHER = {Kluwer},
  PAGES = {313--331},
  YEAR = {1999}
}


@INPROCEEDINGS{schla99,
  AUTHOR = {M. Schenke and A. Lavrov},
  TITLE = {Automata-based stochastic analysis of modular hybrid
                  controllers},
  BOOKTITLE = {Conference on Probabilistic Analysis of Rare Events
                  (RARE)},
  NOTE = {ISBN 9984-668-08-8},
  YEAR = {1999}
}


@ARTICLE{msero99,
  AUTHOR = {Michael Schenke and E.-R. Olderog},
  TITLE = {Transformational design of real-time systems -- Part 1:
                  from requirements to program specifications.},
  JOURNAL = {Acta Informatica 36},
  PAGES = {1-65},
  YEAR = {1999},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/msero97_1.ps.gz}
}


@ARTICLE{ms99,
  AUTHOR = {Michael Schenke},
  TITLE = {Transformational design of real-time systems -- Part 2:
                  from program specifications to programs.},
  JOURNAL = {Acta Informatica 36},
  PAGES = {67-99},
  YEAR = {1999}
}


@INPROCEEDINGS{hdms98,
  AUTHOR = {H. Dierks and M. Schenke},
  TITLE = {{A Unifying Framework for Correct Program Construction}},
  BOOKTITLE = {Mathematics of Program Construction 98},
  EDITOR = {J. Jeuring},
  VOLUME = {1422},
  SERIES = {Lecture Notes in Computer Science},
  YEAR = {1998},
  PUBLISHER = {Springer-Verlag},
  MONTH = JUN,
  PAGES = {122--150},
  NOTE = {\copyright Springer-Verlag. This publication is available
    {\url{http://csd.informatik.uni-oldenburg.de/pub/Papers/MPC.ps.gz}{here}}
    and at
    {\url{http://www.springer.de/comp/lncs/index.html}{Springer}}}
}


@MISC{msmd97,
  AUTHOR = {Michael Schenke and Michael Dossis},
  TITLE = {Provably Correct Hardware Compilation using Timing Diagrams},
  NOTE = {Submitted. This publication is available on-line in two
    parts.
\url{http://csd.informatik.uni-oldenburg.de/pub/Papers/msmd97-p1.ps.gz}{Part 1},
    \url{http://csd.informatik.uni-oldenburg.de/pub/Papers/msmd97-p2.ps.gz}{Part
2}.},
  YEAR = {1997}
}


@UNPUBLISHED{ms97-habil,
  AUTHOR = {Michael Schenke},
  TITLE = {Development of Correct Real-Time Systems by Refinement},
  NOTE = {Habilitationsschrift.},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/ms97-habil.ps.gz},
  YEAR = {1997}
}


@INPROCEEDINGS{ms96,
  AUTHOR = {Michael Schenke and A. P. Ravn},
  TITLE = {Refinement from a control problem to programs},
  BOOKTITLE = {Formal methods for industrial applications: specifying and
    programming the steam boiler control},
  EDITOR = {Jean-Raymond Abrial and Egon Borger and Hans Langmaack},
  VOLUME = 1165,
  SERIES = {Lecture Notes in Computer Science},
  YEAR = 1996,
  PUBLISHER = {Springer-Verlag},
  PAGES = {403--427},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/ms96.ps.gz}
}


@INPROCEEDINGS{eroms95,
  AUTHOR = {E.-R. Olderog and M. Schenke},
  TITLE = {Design of Real-Time Systems: The Interface between
    Duration Calculus and Program Specifications},
  EDITOR = {J. Desel},
  BOOKTITLE = {Structures in Concurrency Theory},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Workshops in Computing},
  YEAR = 1995,
  PAGES = {32--54},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/eroms95.ps.gz}
}


@INPROCEEDINGS{eroms94-ftrtft,
  AUTHOR = {Jifeng He and C. A. R. Hoare and M. Fr\"anzle and M.
M\"uller-Olm 
    and E.-R. Olderog and M. Schenke and M. R. Hansen and A. P. Ravn and H.
Rischel},
  TITLE = {Provably Correct Systems},
  EDITOR = {H. Langmaack and W. P. {de Roever} and J. Vytopil},
  BOOKTITLE = {Formal Techniques in Real-Time and Fault-Tolerant Systems
(FTRTFT'94)},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  YEAR = 1994,
  VOLUME = 863,
  PAGES = {288--335}
}


@INPROCEEDINGS{ms94,
  AUTHOR = {M. Schenke},
  TITLE = {A Timed Specification Language for Concurrent Reactive
Systems},
  EDITOR = { D. J. Andrews and J. F. Groote and C. A. Middelburg},
  BOOKTITLE = {Semantics of Specification Languages},
  SERIES = {Workshops in Computing},
  PUBLISHER = {Springer-Verlag},
  YEAR = 1994,
  PAGES = {152--167},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/ms94.ps.gz}
}


@INPROCEEDINGS{ms94-ftrtft,
  AUTHOR = {M. Schenke},
  TITLE = {Specification and Transformation of Reactive Systems with
    Time Restrictions and Concurrency},
  BOOKTITLE = {Formal Techniques in Real-Time and Fault-Tolerant Systems
(FTRTFT'94)},
  EDITOR = {H. Langmaack and W.-P. {de Roever} and J. Vytopil},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  YEAR = 1994,
  VOLUME = 863,
  PAGES = {605--621},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/ms94-ftrtft.ps.gz}
}


@TECHREPORT{eroms93,
  AUTHOR = {M. R. Hansen and E.-R. Olderog and M. Schenke and M.
Fr\"anzle and 
    B. {von Karger} and M. M\"uller-Olm and H. Rischel},
  TITLE = {A {Duration Calculus} Semantics for Real-Time Reactive
Systems},
  TYPE = {ProCoS II document},
  NUMBER = {[OLD MRH 1/1]},
  INSTITUTION = {University of Oldenburg, Department of Computer Science, Oldenburg, Germany},
  MONTH = SEP,
  YEAR = 1993,
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/eroms93.ps.gz}
}


@INPROCEEDINGS{ms92,
  AUTHOR = {M. Schenke},
  TITLE = {Predicative Specification of Timed Processes},
  BOOKTITLE = {Real-Time: Theory in Practice},
  EDITOR = {J. W. {de Bakker} and W.-P. {de Roever} and G. Rozenberg},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  VOLUME = 600,
  PAGES = {603--617},
  YEAR = 1992,
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/ms92.ps.gz}
}


@INPROCEEDINGS{srms91,
  AUTHOR = {S. R\"ossig and M. Schenke},
  TITLE = {Specification and Stepwise Development of Communicating
Systems},
  BOOKTITLE = {Formal Software Development Methods (VDM'91)},
  EDITOR = {S. Prehn and W. J. Toetenel},
  VOLUME = 551,
  SERIES = {Lecture Notes in Computer Science},
  YEAR = 1991,
  PUBLISHER = {Springer-Verlag},
  PAGES = {149--163},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/srms91.ps.gz}
}