Dissertationen und Habilitationen

2009

• Peter Massuthe. Operating Guidelines for Services. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II; Eindhoven University of Technology, April 2009. Note: ISBN 978-90-386-1702-2.

2007

• Bixia Wu. Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, July 2007.

2005

• Adrianna Alexander. Komposition Temporallogischer Spezifikationen - Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, September 2005.

2003

• Axel Martens. Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2003. Note: Erschienen in WiKi: Stuttgart, Berlin & Paris.

2002

• 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.

2001

• Ekkart Kindler. Systematische Spezifikation und Verifikation von Konsistenzprotokollen. Habilitationsschrift, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, August 2001.

• Sibylle Peuker. Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, July 2001.

2000

• Tobias Vesper. Petrinetze zum Entwurf selbststabilisierender Algorithmen. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, December 2000.

• Hagen Völzer. Fairneß, Randomisierung und Konspiration in verteilten Algorithmen. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, December 2000.

1996

• Karsten Schmidt. Symbolische Analysemethoden für algebraische Petri-Netze. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 1996. Note: Erschienen im Dieter Bertz Verlag. 246 Seiten, ISBN 3-929470-54-3.

1979

• Wolfgang Reisig. Untersuchungen einer Klasse kooperierender sequentieller Prozesse mit Hilfe von Petri-Netzen. Dissertation, RWTH Aachen University, 1979.

zurück zur Übersicht