Publikationen des Jahres 2002

Dissertationen und Habilitationen

• Karsten Schmidt. Explicit State Space Verification. Habilitationsschrift, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, December 2002.

• Michael Weber. Allgemeine Konzepte zur software-technischen Unterstützung verschiedener Petrinetz-Typen. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, December 2002.

Konferenzbeiträge und Beiträge auf Workshops

• Wolfgang Reisig. Teleteaching-Vorlesung 'Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge'. In Sigrid E. Schubert, Bernd Reusch, and Norbert Jesse, editors, Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), volume 19 of LNI, pages 263-269, 2002. GI.

• Farn Wang and Karsten Schmidt. Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. In Doron Peled and Moshe Y. Vardi, editors, Proc. Int. Conf. Formal Techniques for Networked and Distributed Systems (FORTE 2002), volume 2529 of Lecture Notes in Computer Science, pages 50-64, 2002. Springer-Verlag.

Studien- und Diplomarbeiten

• Wolf Richter. Spezifikation und Implementation organisationsübergreifender Geschäftsprozesse mit Petrinetzen. Diplomarbeit, Humboldt-Universität zu Berlin, 2002.

zurück zur Übersicht