Get my own profile
Public access
View all16 articles
1 article
available
not available
Based on funding mandates
Co-authors
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Nick BattleGuest Member of Staff, Newcastle UniversityVerified email at newcastle.ac.uk
Casper ThulePostDoc, Aarhus University, Department of Engineering, DIGITVerified email at eng.au.dk
Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksVerified email at sweetgeeks.dk
Cláudio Ângelo Gonçalves GomesAarhus UniversityVerified email at ece.au.dk
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Claudio SassanelliPolitecnico di BariVerified email at poliba.it
George SuciuUniversity "Politehnica" of Bucharest & BEIA ConsultVerified email at beia.ro
A. FantechiUniversità di FirenzeVerified email at unifi.it
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkVerified email at dtu.dk
Jonas Kjær RaskAarhus UniversityVerified email at ece.au.dk
Mirgita FrasheriÅrhus UniversityVerified email at eng.au.dk
Kenneth LausdahlPhD StudentVerified email at lausdahl.com
Prasad TalasilaResearcher, Aarhus UniversityVerified email at ece.au.dk
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
Brijesh DongolUniversity of SurreyVerified email at surrey.ac.uk
Lukas EsterleAssociate Professor, Aarhus UniversityVerified email at ece.au.dk
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu