Registered user since Sat 27 Feb 2016
Name: Reiner Hähnle
Bio: I am Professor of Computer Science at TU Darmstadt, Germany. I received a PhD from University of Karlsruhe (now KIT) and a Habilitation from TU Vienna. From 2000 to 2011 I worked as an Associate, then Full Professor at Chalmers University of Technology.
Country: Germany
Affiliation: Technical University of Darmstadt
Personal website: https://www.se.tu-darmstadt.de/se/group-members/reiner-haehnle/
Research interests: Formal methods in Software Engineering, modeling languages
Contributions
| VORTEX 2018 | Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track Committee Member in Program Committee within the VORTEX-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA-profile
View general profile
View general profile