Prof. Dr. Stephan Kleuker

Publications

[Kle98]

S. Kleuker. Reengineering of distributed systems using formal methods. In P. Nesi and F. Lehner, editors, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering, pages 189-192. IEEE Computer Society, 1998.
[ bib ]

[Kle97b]

Stephan Kleuker. Formalizing requirements for distributed systems with trace diagrams. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, Formal Methods: Their Industrial Application and Strengthened Foundations (FME'97), volume 1313 of Lecture Notes in Computer Science, pages 102-121. Springer-Verlag, 1997.
[ bib | .ps.gz ]

[FKO97]

C. Fischer, S. Kleuker, and E.-R. Olderog. Beweisbar korrekte Telekommunikationssysteme. Informationstechnik und Technische Informatik, 3:22-28, 1997. An extended abstract is available on-line.
[ bib ]

[Kle97a]

Stephan Kleuker. Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin, volume 315 of GMD-Studien, pages 175-184. GMD-Forschungszentrum Informationstechnik GMBH, 1997.
[ bib | .ps.gz ]

[Kle97c]

Stephan Kleuker. Incremental development of deadlock-free communicating systems. In E. Brinksma, editor, Proceedings of the Third International Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), volume 1217 of Lecture Notes in Computer Science, pages 306-320. Springer-Verlag, 1997.
[ bib | .ps.gz | Abstract ]

[Kle96b]

Stephan Kleuker. Using formal methods in the development of protocols for multi-user multimedia systems. In R. Gotzhein and J. Bredereke, editors, Proceedings of the 9th international conference on Formal Description Techniques (FORTE'96) (Kaiserslautern, Germany), pages 113-128. Chapman & Hall, 1996.
[ bib ]

[Kle96a]

Stephan Kleuker. The extension of existing telecommunication software with new services using formal methods. In T. Margaria, editor, Proceedings of the International Workshop on Advanced Intelligent Networks, pages 91-106. University of Passau, 1996.
[ bib | .ps.gz | Abstract ]

[KT96b]

S. Kleuker and H. Tjabben. The incremental development of correct specifications for distributed systems. In M.-C. Gaudel and J. Woodcock, editors, Industrial Benefit and Advances in Formal Methods (FME'96), volume 1051 of Lecture Notes in Computer Science, pages 479-498. Springer-Verlag, 1996.
[ bib | .ps.gz | Abstract ]

[KT96a]

S. Kleuker and H. Tjabben. A formal approach to the development of reliable multi-user multimedia communication systems. Technical Report 1168/96, Philips Research Laboratories Aachen, Germany, 1996.
[ bib | .ps.gz | Abstract ]

[KT95]

S. Kleuker and H. Tjabben. A formal approach to the development of reliable multi-user multimedia applications. In R. Gotzhein and J. Bredereke, editors, Proceedings of the 5th GI/ITG-Fachgespräch ``Formale Beschreibungstechniken für verteilte Systeme'', pages 1-10. University of Kaiserslautern, Department of Computer Science, 1995.
[ bib | .ps.gz | Abstract ]

[TKK95]

H. Tjabben, S. Kleuker, and A. Kehne. Provably correct intelligent networks. In Proceedings of the IEEE Intelligent Network '95 Workshop, May 9-11, 1995, Ottawa, Canada, 1995.
[ bib | .ps.gz ]

[KKT95]

S. Kleuker, A. Kehne, and H. Tjabben. Provably correct communication networks (CoCoN). Technical Report 1123/95, Philips Research Laboratories Aachen, Germany, 1995.
[ bib | .ps.gz | Abstract ]

[Kle95]

S. Kleuker. A gentle introduction to specification engineering using a case study in telecommunications. In P. D. Mosses, M. Nielsen, and M. I. Schwartzbach, editors, International Joint Conference on Theory and Practice of Software Development (TAPSOFT'95), volume 915 of Lecture Notes in Computer Science, pages 636-650. Springer-Verlag, 1995.
[ bib | .ps.gz | Abstract ]

[Kle94]

S. Kleuker. Case study: Stepwise refinement of a communication processor using trace logic. In D. J. Andrews, J. F. Groote, and C. A. Middelburg, editors, Semantics of Specification Languages, Workshops in Computing, pages 252-269. Springer-Verlag, 1994.
[ bib | Abstract ]

Theses

[Kle97]

S. Kleuker. Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme (in German). PhD thesis, University of Oldenburg, Dez. 1997.
[ bib | .ps.gz ]