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
Casper ThulePostDoc, Aarhus University, Department of Engineering, DIGITVerified email at eng.au.dk
Nick BattleGuest Member of Staff, Newcastle UniversityVerified email at newcastle.ac.uk
Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksVerified email at sweetgeeks.dk
Cláudio Ângelo Gonçalves GomesAarhus UniversityVerified email at ece.au.dk
Claudio SassanelliPolitecnico di BariVerified email at poliba.it
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
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
Kenneth LausdahlPhD StudentVerified email at lausdahl.com
Mirgita FrasheriÅrhus UniversityVerified email at eng.au.dk
Prasad TalasilaResearcher, Aarhus UniversityVerified email at ece.au.dk
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
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
MAURIZIO PALMIERIResearch Fellow, Department of Information Engineering (DII), University of PisaVerified email at unipi.it