Studien- und Diplomarbeiten

2010

• Richard Müller. Formal Characterisation of Partners of an Open Net. Diplomarbeit, Humboldt-Universität zu Berlin, June 2010.

• Robert Prüfer. Optimierung der Sweep-Line-Methode. Diplomarbeit, Humboldt-Universität zu Berlin, April 2010.

2009

• Mike Herzog. Modellierung kommunizierender Systeme. Studienarbeit, Humboldt-Universität zu Berlin, March 2009.

• Richard Müller. Strukturelle Reduktion von Verhaltensadaptern. Studienarbeit, Humboldt-Universität zu Berlin, December 2009.

• Robert Prüfer. Optimierung der Sweeplinemethode. Studienarbeit, Humboldt-Universität zu Berlin, March 2009.

• Jan Sürmeli. Strukturelle Analyse von Servicenetzen. Diplomarbeit, Humboldt-Universität zu Berlin, February 2009.

2008

• Rico Bergmann. Vergleich von Werkzeugen zur computergestützten Verifikation von Petrinetzmodellen. Studienarbeit, Humboldt-Universität zu Berlin, July 2008.

• Christian Gierds. Strukturelle Reduktion von Bedienungsanleitungen. Diplomarbeit, Humboldt-Universität zu Berlin, January 2008.

• Katharina Görlach. Ein Verfahren zur abstrakten Interpretation von XPath-Ausdrücken in WS-BPEL-Prozessen. Diplomarbeit, Humboldt-Universität zu Berlin, March 2008.

• Daniel Janusz. Implementierung zweier Algorithmen zur Abstraktion von Petrinetzen. Studienarbeit, Humboldt-Universität zu Berlin, April 2008.

• Patrick Köhnen. Synthese offener Workflownetze aus Serviceautomaten. Diplomarbeit, Humboldt-Universität zu Berlin, January 2008.

• Nanette Liske. Laufzeitersetzung offener Workflownetze. Diplomarbeit, Humboldt-Universität zu Berlin, July 2008.

• Thomas Pillat. Gegenüberstellung struktureller Reduktionstechniken für Petrinetze. Diplomarbeit, Humboldt-Universität zu Berlin, March 2008.

• Konstanze Swist. Modellierung des Workflows der Task Force Erdbeben des GFZ mit Petrinetzen. Studienarbeit, Humboldt-Universität zu Berlin, October 2008.

• Manja Wolf. Erstellung einer modellbasierten Laufzeitumgebung für adaptive Prozesse. Diplomarbeit, Humboldt-Universität zu Berlin, September 2008.

2007

• Jan Bretschneider. Produktbedienungsanleitungen zur Charakterisierung austauschbarer Services. Diplomarbeit, Humboldt-Universität zu Berlin, March 2007.

• Christian Gierds. Ein schärferes Kriterium für die Wahl von Endzuständen in Bedienungsanleitungen, Liberalsten Partnern und Public Views. Studienarbeit, Humboldt-Universität zu Berlin, October 2007.

• Alexandra Julius. Abstrakte Datenflussmodelle für GALS-Schaltungen zum Nachweis nicht-funktionaler Eigenschaften. Diplomarbeit, Humboldt-Universität zu Berlin, May 2007.

• Andreas Kerlin. Bedienbarkeit unter Kausalität. Diplomarbeit, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, January 2007.

• Jens Kleine. Transformation von offenen Workflow-Netzen zu abstrakten WS-BPEL-Prozessen. Diplomarbeit, Humboldt-Universität zu Berlin, July 2007.

• Peter Laufer. Public-View-Generierung. Diplomarbeit, Humboldt-Universität zu Berlin, November 2007.

• Nannette Liske. Laufzeitersetzbarkeit von Services. Studienarbeit, Humboldt-Universität zu Berlin, April 2007.

• Gerrit Müller. Strukturelle Analyse von offenen Workflow-Netzen hinsichtlich Bedienbarkeit. Studienarbeit, Humboldt-Universität zu Berlin, January 2007.

• Alexander Schulz. Zielgerichtete Strategien. Studienarbeit, Humboldt-Universität zu Berlin, July 2007.

• Manja Wolf. Synchrone und asynchrone Kommunikation in offenen Workflownetzen. Studienarbeit, Humboldt-Universität zu Berlin, May 2007.

2006

• Jan Bretschneider. Modellierung und Synthese eines geschwindigkeitsinvarianten GALS-Wrappers. Studienarbeit, Humboldt-Universität zu Berlin, February 2006.

• Dirk Fahland. Unfoldings for Timed Automata. Diplomarbeit, Humboldt-Universität zu Berlin, July 2006.

• Kathrin Kaschner. BDD-basiertes Matching von Services. Diplomarbeit, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, March 2006.

• Kathrin Kaschner. Repräsentation von Bedienungsanleitungen durch BDDs. Studienarbeit, Humboldt-Universität zu Berlin, January 2006.

• Jens Kleine. Abstrakte Petrinetzmuster für BPEL unter Bewahrung von Verklemmungen. Studienarbeit, Humboldt-Universität zu Berlin, October 2006.

• Peter Laufer. Grundlagen für die Anpassung der Petrinetz-Semantik an WS-BPEL 2.0. Studienarbeit, Humboldt-Universität zu Berlin, May 2006.

2005

• Alexander Brade. ASMs und die Struktur und Dynamik von Web Services. Studienarbeit, Humboldt-Universität zu Berlin, January 2005.

• Alexander Brade. Übersetzung graphischer Verhaltensbeschreibungen von Services in Abstract State Machines. Diplomarbeit, Humboldt-Universität zu Berlin, September 2005.

• Carsten Frenkler. Modellierung und Analyse transaktionaler Geschäftsprozesse. Diplomarbeit, Humboldt-Universität zu Berlin, July 2005.

• Andreas Glausch. Varianten des ASM-Theorems. Diplomarbeit, Humboldt-Universität zu Berlin, June 2005.

• Sebastian Hinz. Implementierung einer Petrinetz-Semantik für BPEL. Diplomarbeit, Humboldt-Universität zu Berlin, March 2005.

• Alexandra Julius. Entwurf und VHDL-Modellierung von mesochronen GALS-Schaltungen. Studienarbeit, Humboldt-Universität zu Berlin, December 2005.

• Niels Lohmann. Formale Fundierung und effizientere Algorithmen für die schrittbasierte TLDA-Interleavingsemantik. Diplomarbeit, Humboldt-Universität zu Berlin, September 2005.

• Niels Lohmann. Implementierung einer schrittbasierten Interleavingsemantik für die Temporal Logic of Distributed Actions (TLDA). Studienarbeit, Humboldt-Universität zu Berlin, June 2005.

• Elke Salecker and Nora Toussaint. Gegenbeispielgesteuerte Abstraktionsverfeinerung in High-Level-Petrinetzen. Diplomarbeit, Humboldt-Universität zu Berlin, September 2005.

2004

• Dirk Fahland. Ein Ansatz einer formalen Semantik der Business Process Execution Language for Web Services mit Abstract State Machines. Studienarbeit, Humboldt-Universität zu Berlin, August 2004.

• Carsten Frenkler. BPEL-Boxen. Ein Modell zur Integration von Transaktionskonzepten in Geschäftsprozesse mit Petrinetzen. Studienarbeit, Humboldt-Universität zu Berlin, February 2004.

• Yvonne Gabriel. Anbindung externer Werkzeuge an den Petrinetz-Kern am Beispiel des Integrated Net Analyser. Studienarbeit, Humboldt-Universität zu Berlin, April 2004.

• Lars Kuhtz. TLDA und Petrinetze. Studienarbeit, Humboldt-Universität zu Berlin, April 2004.

• Peter Massuthe. Verfeinerungstechniken der Temporal Logic of Distributed Actions TLDA. Diplomarbeit, Humboldt-Universität zu Berlin, March 2004.

• Christian Stahl. Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-Universität zu Berlin, April 2004.

• Daniela Weinberg. Analyse der Bedienbarkeit. Diplomarbeit, Humboldt-Universität zu Berlin, October 2004.

• Stephan Weißleder. Semantische Fundierung der Web-Service-Beschreibungssprache WSCI. Diplomarbeit, Humboldt-Universität zu Berlin, November 2004.

2003

• Andreas Glausch. Abstract-State Machines - Eine Sammlung didaktischer Beispiele. Studienarbeit, Humboldt-Universität zu Berlin, February 2003.

• Dirk Hain and Christian Stahl. Komposition von Web Services. Studienarbeit, Humboldt-Universität zu Berlin, April 2003.

• Thomas Heidinger. Statische Analyse von BPEL4WS-Prozessmodellen. Studienarbeit, Humboldt-Universität zu Berlin, December 2003.

• Peter Massuthe. Parallele Komposition in TLA. Studienarbeit, Humboldt-Universität zu Berlin, September 2003.

• Lars Münzberg. Komposition von Web Services. Studienarbeit, Humboldt-Universität zu Berlin, June 2003.

• Daniela Weinberg. Graphische Repräsentation von BPEL. Studienarbeit, Humboldt-Universität zu Berlin, August 2003.

2002

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

2001

• Wolf Richter. Syntaktische Erkennung von Modellierungsfehlern in Web Services. Studienarbeit, Humboldt-Universität zu Berlin, December 2001.

2000

• Abdourahaman. DAWN-ILF Tool. Modelchecking Anwendung. Diplomarbeit, Humboldt-Universität zu Berlin, September 2000.

1999

• D. Runge. Algorithmen und Methoden für die Visualisierung molekularer Oberflächen und Grenzflächen. Diplomarbeit, Humboldt-Universität zu Berlin, June 1999.

• S. Unger. Automatisches Überprüfen von DAWN-Beweisen. Diplomarbeit, Humboldt-Universität zu Berlin, October 1999.

1998

• Juliane Dehnert and Ines Schwenzer. Dialogmodellierung mit Petrinetzen - Das FAN-Dialogmodell. Diplomarbeit, Humboldt-Universität zu Berlin, August 1998.

1997

• Jörn Freiheit. Arc-Typed-Petrinetze. Verifikation eines Datenbankmanagementsystems mit Datenreplikation. Diplomarbeit, Humboldt-Universität zu Berlin, May 1997.

• Axel Martens. Software-Engineering von Workflow-Applikationen mit Petrinetzen. Diplomarbeit, Humboldt-Universität zu Berlin, August 1997.

• Michael Weber. unless-Aspekte und ihr Beitrag zur Verifikation von mit Petrinetzen modellierten Systemen. Diplomarbeit, Humboldt-Universität zu Berlin, January 1997.

1996

• D. Görrissen. Untersuchungen zur Erhaltung der Lebendigkeit, Beschränktheit und Sicherheit bei der strukturellen Simplifizierung von Petri-Netze. Diplomarbeit, Universität Bonn, September 1996.

• André Hahmann. Konzeption und ansatzweise Implementierung für einen netzbasierten Werkzeugkasten. Diplomarbeit, Humboldt-Universität zu Berlin, July 1996.

• Tobias Vesper. Verifikation eines Selbstabilisierenden Leader-Election-Algorithmus unter Ausnutzung Verteilter Abläufe. Diplomarbeit, Humboldt-Universität zu Berlin, March 1996.

zurück zur Übersicht