Get my own profile
Co-authors
Silvia Lizeth Tapia TarifaResearcher, Department of Informatics - University Of OsloVerified email at ifi.uio.no
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Dave ClarkeIndependentVerified email at storytel.com
Ina SchaeferTU Braunschweig, GermanyVerified email at tu-braunschweig.de
Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
Ferruccio DamianiAssociate Professor of Compurer Science, University of TorinoVerified email at di.unito.it
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Tobias WrigstadFull professor, Uppsala UniversityVerified email at it.uu.se
Andreas GriesmayerImperial College LondonVerified email at arm.com
Prof. Ilangko BalasinghamOslo University Hospital & Norwegian University of Science & Technology (NTNU)Verified email at medisin.uio.no
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
Mohammad Mahdi JaghooriDockmeh, CWIVerified email at cwi.nl
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Ivona BrandicProfessor for High Performance Computing Systems, Vienna University of TechnologyVerified email at ec.tuwien.ac.at
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Volker StolzHøgskulen på Vestlandet & Universitetet i OsloVerified email at foldr.org
Ivan LaneseUniversity of BolognaVerified email at unibo.it