Prof. Dr. habil. Michael Schenke

Publications

[SD99]

M. Schenke and M. Dossis. Provably correct hardware compilation using timing diagrams. In FORTE/PSTV'99, pages 313-331. Kluwer, 1999.
[ bib ]

[SL99]

M. Schenke and A. Lavrov. Automata-based stochastic analysis of modular hybrid controllers. In Conference on Probabilistic Analysis of Rare Events (RARE), 1999. ISBN 9984-668-08-8.
[ bib ]

[SO99]

Michael Schenke and E.-R. Olderog. Transformational design of real-time systems - part 1: from requirements to program specifications. Acta Informatica 36, pages 1-65, 1999.
[ bib | .ps.gz ]

[Sch99]

Michael Schenke. Transformational design of real-time systems - part 2: from program specifications to programs. Acta Informatica 36, pages 67-99, 1999.
[ bib ]

[DS98]

H. Dierks and M. Schenke. A Unifying Framework for Correct Program Construction. In J. Jeuring, editor, Mathematics of Program Construction 98, volume 1422 of Lecture Notes in Computer Science, pages 122-150. Springer-Verlag, June 1998. (c) Springer-Verlag. This publication is available here and at Springer.
[ bib ]

[SD97]

Michael Schenke and Michael Dossis. Provably correct hardware compilation using timing diagrams, 1997. Submitted. This publication is available on-line in two parts. Part 1, Part 2.
[ bib ]

[Sch97]

Michael Schenke. Development of correct real-time systems by refinement. Habilitationsschrift., 1997.
[ bib | .ps.gz ]

[SR96]

Michael Schenke and A. P. Ravn. Refinement from a control problem to programs. In Jean-Raymond Abrial, Egon Borger, and Hans Langmaack, editors, Formal methods for industrial applications: specifying and programming the steam boiler control, volume 1165 of Lecture Notes in Computer Science, pages 403-427. Springer-Verlag, 1996.
[ bib | .ps.gz ]

[OS95]

E.-R. Olderog and M. Schenke. Design of real-time systems: The interface between duration calculus and program specifications. In J. Desel, editor, Structures in Concurrency Theory, Workshops in Computing, pages 32-54. Springer-Verlag, 1995.
[ bib | .ps.gz ]

[HHF⁺94]

Jifeng He, C. A. R. Hoare, M. Fränzle, M. Müller-Olm, E.-R. Olderog, M. Schenke, M. R. Hansen, A. P. Ravn, and H. Rischel. Provably correct systems. In H. Langmaack, W. P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94), volume 863 of Lecture Notes in Computer Science, pages 288-335. Springer-Verlag, 1994.
[ bib ]

[Sch94b]

M. Schenke. A timed specification language for concurrent reactive systems. In D. J. Andrews, J. F. Groote, and C. A. Middelburg, editors, Semantics of Specification Languages, Workshops in Computing, pages 152-167. Springer-Verlag, 1994.
[ bib | .ps.gz ]

[Sch94a]

M. Schenke. Specification and transformation of reactive systems with time restrictions and concurrency. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94), volume 863 of Lecture Notes in Computer Science, pages 605-621. Springer-Verlag, 1994.
[ bib | .ps.gz ]

[HOS⁺93]

M. R. Hansen, E.-R. Olderog, M. Schenke, M. Fränzle, B. von Karger, M. Müller-Olm, and H. Rischel. A Duration Calculus semantics for real-time reactive systems. ProCoS II document [OLD MRH 1/1], University of Oldenburg, Department of Computer Science, Oldenburg, Germany, September 1993.
[ bib | .ps.gz ]

[Sch92]

M. Schenke. Predicative specification of timed processes. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, pages 603-617. Springer-Verlag, 1992.
[ bib | .ps.gz ]

[RS91]

S. Rössig and M. Schenke. Specification and stepwise development of communicating systems. In S. Prehn and W. J. Toetenel, editors, Formal Software Development Methods (VDM'91), volume 551 of Lecture Notes in Computer Science, pages 149-163. Springer-Verlag, 1991.
[ bib | .ps.gz ]

Veröffentlichungen (Mathematik):

 [ms87a]

Michael Schenke. Analoga des Fundamentalsatzes der Projektiven Geometrie in der Gruppentheorie I. Rend. Sem. Mat. U. Padova, 77:255-303, 1987.

 [ms87b]

Michael Schenke. Analoga des Fundamentalsatzes der Projektiven Geometrie in der Gruppentheorie II. Rend. Sem. Mat. U. Padova, 78:175-225, 1987.

 [ms86]

Michael Schenke. On weakly dedekind subgroups. Ricerche di Matematica, 35:113-123, 1986.

Übersetzung

• Übersetzung des Buches "Theorie der stochastischen Automaten" von R.G.Bucharajew aus dem Russischen (372 Seiten), Teubner Verlag Stuttgart, 1995.

Lexikonartikel

• Sektion "Semantik", Teubner-Taschenbuch der Mathematik, pp. 79-85, Teubner Verlag Stuttgart, 1995 (gemeinsam mit E.-R. Olderog).

Linguistische Aufsätze

• Natürliche Prozesse in der Phonologie
• Die Rolle der Frequenz beim Sprachwandel