Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

SZS - Publications - PhD Theses

 

2006

Alin Stefanescu. Automatic synthesis of distributed transition systems. PhD thesis, Universität Stuttgart, February 2006.
PDF (2 MB)
Info
Slides 
Claus Schröter. Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen. PhD thesis, Universität Stuttgart, 2006.
GZipped PostScript (712 kB)
PDF (1 MB)
Info

2004

Barbara König. Analysis and verification of systems with dynamically evolving structures. Habilitation thesis, Universität Stuttgart, December 2004.
GZipped PostScript (998 kB)
PDF (1 MB)
Info
Dirk Nowotka. Periodicity and unbordered factors of words. PhD thesis, University of Turku, 2004.
GZipped PostScript (414 kB)
PDF (545 kB)
Info

2002

Stefan Schwoon. Model-checking pushdown systems. PhD thesis, Technische Universität München, 2002.
GZipped PostScript (662 kB)
PDF (948 kB)
Info
See www.fmi.uni-stuttgart.de ...