Dissertations

Ph.D Thesises
 
Name Title1 Year
Sebastian Schmerl Towards a Systematic Derivation of Signatures - Methods in the Signature Development Process 2011
Alek Opitz Predicting Free Computing Capacities for a Better Use of Grid Resources 2009
Liu, Fuwen A Security Architecture for a Peer-to-Peer Video Conference System 2006
Michael Meier  Misuse Detection in IT Systems - Modelling, Description, and Optimization 2006
Mario Zühlke

Distributed Multi-Party Video Conferences in the Internet

2004
Olaf Henniger

Test Generation from Specifications in Estelle and SDL2

2002
Peter Langendörfer

Configurable Code Generators for Automated Derivation of Efficient Protocol Implementations

2001
Ines Beier

Design Principles of Video Conferences for CSCW Applications

2000
Thomas Preuss

Long-term Service Supply Relations in Service-oriented Markets

1999
Andreas Ulrich

Test Case Derivation and Test Execution in Distributed Systems

1998
Michael Sobirey

Privacy-oriented Audit-based Analysis of IT Security Violations

1998
Abdelaziz Guerrouat

A Knowledge-based Approach for Test Case Selection in the Conformance Test of Protocols

1997
Thomas Held

Automated Implementation of Communication Protocols

1994

1) If not indicated otherwise the thesises were written in German.
2) Joint supervision with Prof. P. Neumann, ifak Magdeburg