Our research interests are in methods for the design of complex software and systems, with special emphasis on formal techniques for the design of concurrent, embedded systems, functional safety, and in the use of computational methods in systems biology and clinical psychology.

If you are interested in technology transfer please visit the website of our 
Steinbeis Transfer Center 'Complex Systems Engineering at the University of Konstanz'.

Our current research projects

  • CausCheck 
    Causality Checking for Complex System Models
  • QuantUM-Tool
    Safety Analysis of Complex Sytem and Software Architectures 
  • DiRePro
    Directed Model Checking in the Analysis of Reactive and Probabilistic Systems.
  • IMCOS
    Incomplete Model Checking for Concurrent Object-oriented Systems.

Our past research projects

  • VIP - A Visual Interface for Promela
    The objective of this research was to reconcile Promela with state-of-the-art visual modeling techniques for real-time systems, in particular UML-RT, and to provide suitable tool support.

Links to research programs that we are involved in