Get my own profile
Public access
View all25 articles
1 article
available
not available
Based on funding mandates
Co-authors
Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyVerified email at informatik.tu-darmstadt.de
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.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
Markus Völterindependent consultant / itemisVerified email at acm.org
Tillmann RendelSAPVerified email at sap.com
Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verified email at cwi.nl
Tamás SzabóGitHubVerified email at github.com
Gabriël KonatDelft University of TechnologyVerified email at tudelft.nl
André PacakPhD Student (Computer Science) JGU MainzVerified email at uni-mainz.de
Guido WachsmuthOracle LabsVerified email at oracle.com
Jimi van der WoningVerified email at softwareimprovementgroup.com
Sven KeidelTU Darmstadt, GermanyVerified email at tu-darmstadt.de
Guido SalvaneschiAssociate Professor - University of St.GallenVerified email at csail.mit.edu
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
Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl
Oliver BračevacEngineer / Researcher at EPFL/LAMPVerified email at epfl.ch
Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerified email at rub.de
Sylvia GreweTU DarmstadtVerified email at st.informatik.tu-darmstadt.de