Get my own profile
Co-authors
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
A. FantechiUniversità di FirenzeVerified email at unifi.it
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Hubert BaumeisterTechnical University of DenmarkVerified email at dtu.dk
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
Jan MadsenProfessor in Computer based Systems, DTU Compute, Technical University of DenmarkVerified email at dtu.dk
Hugo Daniel MacedoAarhus UniversityVerified email at eng.au.dk
Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkVerified email at dtu.dk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
Daniel GrosseFull Professor at Johannes Kepler University LinzVerified email at jku.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, Germany Verified email at uni-bremen.de
Stefan GrunerORCID: 0000-0001-6008-6123Verified email at cs.up.ac.za
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Hoang Nga NguyenCoventry UniversityVerified email at coventry.ac.uk
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Helen TreharneProfessor, Department of Computer Science, University of SurreyVerified email at surrey.ac.uk
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it

Anne E. Haxthausen
Associate Professor of Computer Science, Technical University of Denmark
Verified email at dtu.dk