Technical Reports, Doctoral Theses, Student Theses of the Department

• Technical Reports
• Postdoctoral Qualifications
• Master Theses

• No. 01:  Ehrig, Hartmut; König, Barbara: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version), Technical Report No. 2004/01.
• No. 05:  Heljanko, Keijo; Stefanescu, Alin: Complexity results for checking distributed implementability, Technical Report No. 2004/05.
• No. 06:  Schwoon, Stefan; Esparza, Javier: A Note on On-The-Fly Verification Algorithms, Technical Report No. 2004/06.
• No. 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, Technical Report No. 2004/08.

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

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