E-mail:  schroeter@fmi.uni-stuttgart.de
  S-mail:  Claus Schröter
	   Universität Stuttgart
	   Institut für Formale Methoden der Informatik
	   Universitätsstr. 38
	   70569 Stuttgart
	   Germany
  Tel:     +49 711 7816 457
  Fax:     +49 711 7816 462
  Raum:    1.352

  Teaching

SoSe 2003:	Tutorübung: Theoretische Informatik I
	Seminar: Kryptographische Protokolle
WS 2003/04:	Tutorübung: Logik
	Seminar: Modellierung und Analyse verteilter Systeme mit Petri-Netzen
SoSe 2004:	Übungsleitung: Theoretische Informatik I
	Seminar: Kryptographische Protokolle

  Research Interests

• Partial-Order Verification Techniques
• Verification with Integer- and Constraint-Programming
• Abstract Interpretation Techniques

  Tools

• The Model-Checking Kit

  Projects

• ADVANCE

  Publications

2004
C. Schröter and V. Khomenko. Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. In R. Alur and D. A. Peled, editors, Proceedings of the 16th International Conference on Computer Aided Verification (CAV'04), volume 3114 of Lecture Notes in Computer Science, pages 109–121. Springer-Verlag, 2004.	GZipped PostScript (190 kB) Info
2003
C. Schröter, S. Schwoon, and J. Esparza. The Model-Checking Kit. In W. van der Aalst and E. Best, editors, Applications and Theory of Petri Nets 2003, volume 2679 of Lecture Notes in Computer Science, pages 463–472. Springer-Verlag, 2003.	GZipped PostScript (60 kB) Info See www.informatik.uni-stuttgart.de ...
2002
C. Schröter, S. Schwoon, and J. Esparza. The Model-Checking Kit. In Proceedings of Toolsday-Workshop (satellite event of CONCUR'02), Report Series FIMU-RS-2002-05, pages 22–31, Masaryk University, Brno, 2002.	GZipped PostScript (124 kB) Info See www.informatik.uni-stuttgart.de ...
2001
J. Esparza and C. Schröter. Unfolding Based Algorithms for the Reachability Problem. Fundamenta Informaticae, 47(3,4):231–245, 2001.	GZipped PostScript (150 kB) Info
J. Esparza and C. Schröter. Net Reductions for LTL Model-Checking. In T. Margaria and T. Melham, editors, Correct Hardware Design and Verification Methods (CHARME'01), volume 2144 of Lecture Notes in Computer Science, pages 310–324. Springer-Verlag, 2001.	GZipped PostScript (177 kB) Info
2000
J. Esparza and C. Schröter. Reachability Analysis Using Net Unfoldings. In H. D. Burkhard, L. Czaja, A. Skowron, and P. Starke, editors, Workshop of Concurrency, Specification & Programming, volume II of Informatik-Bericht 140, pages 255–270. Humboldt-Universität zu Berlin, 2000.	GZipped PostScript (114 kB) Info
1998
C. Schröter, T. Engel, and C. Meinel. Internetbasiertes Arztbriefsystem. Technical Report Preprint 98-07, Institut für Telematik, Trier, Juli 1998.	Info
S. Hludov, C. Schröter, and C. Meinel. Adaptive Compression of Image Data. In S. Fischer, R. Steinmetz, H. J. Stuettgen, H. R. van As, and R. Vercelli, editors, Broadband European Networks and Multimedia Services (SYBEN'98), volume 3408 of SPIE Proceedings, pages 520–527, Zürich, 1998.	GZipped PostScript (432 kB) Info
S. Hludov, C. Schröter, and C. Meinel. Adaptive Komprimierung von DICOM-Bildern. Technical Report Preprint 98-03, Institut für Telematik, Trier, März 1998.	Info