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.
Our current research projects
Repair Analysis for Timed Models
Safety Analysis of Complex Sytem and Software Architectures
Causality Checking for Complex System Models
Our past research projects
Directed Model Checking in the Analysis of Reactive and Probabilistic Systems.
Incomplete Model Checking for Concurrent Object-oriented Systems.
- Directed Model Checking
We investigate the use of directed search algorithms in explicit state model checking.
- 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.
- Visual Modeling and Formal Validation
This presents a collection of papers pertaining to the v-Promela notation and the VIP (Visual Interface for Promela) tool.
- Formal Modeling and Validation of Distributed, Object-Oriented Systems
This compendium presents articles on case studies in the modeling of distributed, object-oriented systems, using various modeling languages and tools.
Links to research programs that we are involved in
- Member in the PhD Program (Graduiertenkolleg) Explorative Analysis and Visualization of Large Information Spaces