Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Technische Berichte
• Habilitationen
• Masterarbeiten

• Nr. 01:  Ehrig, Hartmut; König, Barbara: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version), Technischer Bericht Nr. 2004/01.
• Nr. 05:  Heljanko, Keijo; Stefanescu, Alin: Complexity results for checking distributed implementability, Technischer Bericht Nr. 2004/05.
• Nr. 06:  Schwoon, Stefan; Esparza, Javier: A Note on On-The-Fly Verification Algorithms, Technischer Bericht Nr. 2004/06.
• Nr. 08:  Dotti, Fernando Luis; König, Barbara; Marchi do Santos, Osmar; Ribeiro, Leila: A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems, Technischer Bericht Nr. 2004/08.

• König, Barbara: Analysis and Verification of Systems with Dynamically Evolving Structure, Habilitation, 2004.

• Mahadevan, Saravanan: Implementation of a Consistency Test for Free-Choice Sugnal Transition Graphs, Masterarbeit Nr. 1, 2004.
• Suwimonteerabuth, Dejvuth: Verifying Java Bytecode with the Moped Model Checker, Masterarbeit Nr. 5, 2004.