Get my own profile
Co-authors
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.de
Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyVerified email at informatik.tu-darmstadt.de
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
Christian KästnerCarnegie Mellon University, School of Computer ScienceVerified email at cs.cmu.edu
Tillmann RendelSAPVerified email at sap.com
Markus Völterindependent consultant / itemisVerified email at acm.org
Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verified email at cwi.nl
Gabriël KonatDelft University of TechnologyVerified email at tudelft.nl
Guido WachsmuthOracle LabsVerified email at oracle.com
Tamás SzabóJGU Mainz / WorkdayVerified email at workday.com
William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläVerified email at metacase.com
Guido SalvaneschiAssociate Professor - University of St.GallenVerified email at csail.mit.edu
Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl
Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerified email at rub.de
Oliver BračevacPostdoctoral Researcher - Purdue UniversityVerified email at purdue.edu
Sylvia GreweTU DarmstadtVerified email at st.informatik.tu-darmstadt.de
Sven KeidelTU Darmstadt, GermanyVerified email at tu-darmstadt.de
Thomas ThümProfessor of Computer Science, University of Ulm, GermanyVerified email at uni-ulm.de
Norbert SiegmundProfessor of Computer Science, Leipzig UniversityVerified email at informatik.uni-leipzig.de