Dissertations
|
Ph.D Thesises
|
| |
|
Name
|
Title1
|
Year
|
|
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
|
last update: admin, 25.04.2007 10:39
|
|
