Navigation [Access-Key 1]
Access-Key 1
Access-Key 8
Access-Key 2
Access-Key 4
Access-Key 6
Access-Key 9
Access-Key 7
Info und Anleitung Info and instruction
Embed -Suche einbinden search (Mit der Aktivierung der Google-Suche bestätigen Sie, dass Sie mit der Einbindung und der dazu erforderlichen Datenübermittlung an Google einverstanden sind.) (By activating Google Search, you confirm that you agree to the integration and the necessary data transfer to Google.)
Prof. Dr. Heike Wehrheim
Marion Bramkamp
Uhlhornsweg 84 — Room A2 2-228
+49 441 798-4522
Current projects
Cooperative Software Verification
Concurrency Reasoning for Weak Memory
Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems
Completed projects
Validation of Software Transactional Memory
Verification of Service Compositions
Proof-Carrying Services
