The group was established on January 1, 1995.

We're particularly interested in methods for specification, verification, and failure analysis of complex heterogeneous systems. We are also interested in social consequences of the use of this technology, such as safety, security, and the possibilities for more pleasant working environments for all. With a bit of constraint satisfaction and temporal reasoning thrown in for good measure.

We have developed the formal methods Causal System Analysis and Why-Because Analysis for the safety and failure analysis of complex systems.

• People working in the group
• Short CV of activities of the group (in German) [PDF, ~85kB]
• Information about lectures, courses and seminars offered by the group
• Economic Report on the State of Nordrhein-Westfalen's Return on Investment and Turnover for the group in the year 2004 (in German) [PDF]