Get my own profile
Public access
View all17 articles
2 articles
available
not available
Based on funding mandates
Co-authors
A. FantechiUniversità di FirenzeVerified email at unifi.it
Till MossakowskiProfessor of Computer Science, University of OsnabrückVerified email at uni-osnabrueck.de
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
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
Hubert BaumeisterTechnical University of DenmarkVerified email at dtu.dk
Jan MadsenProfessor in Computer based Systems, DTU Compute, Technical University of DenmarkVerified email at dtu.dk
Hugo Daniel MacedoAarhus UniversityVerified email at ece.au.dk
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkVerified email at dtu.dk
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Daniel GrosseFull Professor at Johannes Kepler University LinzVerified email at jku.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Stefan GrunerORCID: 0000-0001-6008-6123Verified email at cs.up.ac.za
Hoang Nga NguyenAssociate Professor, Swansea UniversityVerified email at swansea.ac.uk
Mario GleirscherIndependent ResearcherVerified email at tum.de
Helen TreharneProfessor, Surrey Centre for Cyber SecurityVerified email at surrey.ac.uk
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Follow

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