[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Staff / Current / Kern
Carsten Kern

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
Visiting Address:    Room 4206,
Ahornstr. 55,
D-52074 Aachen
Pic Carsten
I am a PHD student in the Software Modeling and Verification (MOVES) group of Professor Katoen.



  • 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

  • Practical Course
  • Implementierung heuristischer Algorithmen für Brettspiele (Summer Term 2006)
  • Seminar
  • Model-Based Testing (Summer Term 2006)
  • Seminar (undergraduate)
  • Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog (Summer Term 2006)
  • Seminar
  • Global Computing (Winter Term 2005/2006)
  • Exercises for
  • Programmierung (Winter Term 2005/2006)


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

    Interesting Literature

    Valid HTML 4.01 Strict! Valid CSS!