Cur­rent re­search areas

Active Projects
Validation of Software Transactional Memory (DFG Project VaST)
Verification of service compositions (CRC 901, subproject B3)
Proof-Carrying Services (CRC 901, subproject B4)
Cooperative Software Verification (DFG Project Coop)
Completed Projects
Graph transformation systems: Planning and verification (CRC 614)
Verification of networks of timed automata
Linearizability Proofs for Weak Memory Models (DFG Project Lina4WM)