Chair for Software and Systems Engineering
Prof. Dr. Stefan Leue

Login |
 
 

Research

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