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
Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Bildinformationen anzeigen

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Current research 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)
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)

 

 

 

Die Universität der Informationsgesellschaft