Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Info-Icon Diese Seite ist nicht in Deutsch verfügbar
Bildinformationen anzeigen

Current research areas

Active Projects
Validation of Software Transactional Memory (DFG Project VaST)
Verification of lockfree, parallel algorithms and software transactional memory (DFG Project Lina4WM)
Weak Memory Models
Verification of service compositions (CRC 901, subproject B3)
Simplification of program analysis via certificates (PCC techniques) and program transformation (CRC 901, subproject B4)
Completed Projects
Graph transformation systems: Planning and verification (CRC 614)
Verification of networks of timed automata

 

 

 

Die Universität der Informationsgesellschaft