| since 2000: | IPAV (Improving the Practicality of Automated Verification). |
| since 2000: | ISMC (Infinite-State Model-Checking) |
| since 2000: | ABCD (Automated validation of Business critical systems with Component based Designs) |
| 1996-2000: | MobiMed (Privacy and Efficiency of Mobile Medical Systems). |
| 1996: | GMD / Deutsche Telekom joint project SERVINT-2 on detecting of Service Interactions in Intelligent Networks. |
| 1995: | GMD / Deutsche Telekom joint project SERVINT on detecting of Service Interactions in Intelligent Networks. |
| 1991-1996: | GMD project KMW and its predecessors on the verification of concurrent reactive systems. |