Get my own profile
Co-authors
Lucas CordeiroSenior Lecturer (Associate Professor), Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
Gennaro ParlatoAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, ItalyVerified email at gssi.it
ermenegildo tomascoUniversity of SouthamptonVerified email at soton.ac.uk
Truc Lam NguyenUniversity of SouthamptonVerified email at soton.ac.uk
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Jeremy MorseUniversity of BristolVerified email at bristol.ac.uk
Nurlida BasirLecturer of Computer Science, Universiti Sains Islam MalaysiaVerified email at usim.edu.my
Gillian GreeneComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Mikhail Yasha Ramalho GadelhaSidiaVerified email at sidia.com
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Gregor SneltingKITVerified email at kit.edu
Wray BuntineProfessor, MonashVerified email at monash.edu
Jon WhittleCSIRO's Data61Verified email at data61.csiro.au
Michael PoppletonLecturer in Formal Methods, University of SouthamptonVerified email at ecs.soton.ac.uk
Ashish DarbariFOUNDER & CEO, AXIOMISEVerified email at DARBARI.ORG
Neville GrechUniversity of MaltaVerified email at um.edu.mt
Julian RathkeUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Bernd Fischer
Computer Science Division, Stellenbosch University
Verified email at cs.sun.ac.za - Homepage