Carsten Kern  E-mail: kern<at>cs.rwth-aachen.de Phone:    +49-241/80-21210 Fax: +49-241/80-22217   Postal Address: Carsten Kern Lehrstuhl Informatik 2 RWTH Aachen D-52056 Aachen Germany   Visiting Address:    Room 4206, Ahornstr. 55, D-52074 Aachen

Publications

Papers

• B. Bollig, C. Kern, M.Schlütter, V.Stolz. MSCan, a tool for analyzing MSC specifications. In Proceedings of the 12th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'06), Vienna, Austria, March 2006, LNCS 3920, pages 455-458. Springer. To appear.
  [ pdf | ps | pdf.gz | ps.gz ]
• C. Kern. Analysis and implementation of MSC specifications. In CS-Report 05-29 Technische Universiteit Eindhoven of the doctoral symposium of the 5th International Conference on Integrated Formal Methods (IFM'05), Eindhoven, The Netherlands, November 2005. CS-Report 05-29 Technische Universiteit Eindhoven, pages 55-61.
  [ pdf | ps | pdf.gz | ps.gz ]

Diploma Thesis

• Carsten Kern
  MSCan - Ein Tool zur Analyse von Message Sequence Charts
Diploma thesis, Faculty of Mathematics, Computer Sciences and Natural Sciences, RWTH Aachen, August 2005.
[ pdf | ps | pdf.gz | ps.gz ]

Attended Conferences, Summer Schools, etc.

• IFM 2005 (Fifth International Conference on Integrated Formal Methods) TU Eindhoven

Teaching Activities

Miscellaneous

• The web page dedicated to the analysis tool MSCan including a web interface for testing MSCan.

Interesting Literature

• (New) Formal Models of Communicating Systems by Benedikt Bollig.