Get my own profile
Public access
View all11 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
- Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
- Martin EmmsNewcastle UniversityVerified email at newcastle.ac.uk
- Andrius VelykisPhD Student, Newcastle UniversityVerified email at newcastle.ac.uk
- Andrew ButterfieldComputer Science, Trinity College DublinVerified email at tcd.ie
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
- Michael DrinnanTeesside UniversityVerified email at tees.ac.uk
- José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECVerified email at di.uminho.pt
- Michael WhitakerNewcastle UniversityVerified email at ncl.ac.uk
- Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterVerified email at nasa.gov
- Michael HarrisonProfessor of Informatics, Newcastle UniversityVerified email at ncl.ac.uk
- Paolo ModestiSenior Lecturer in Cybersecurity, Teesside University, UK, EuropeVerified email at tees.ac.uk
- Costanzo Di MariaResearch Scientist, The Newcastle upon Tyne Hospitals NHS Foundation TrustVerified email at ncl.ac.uk
- Aad van MoorselProfessor of Computer Science, University of Birmingham, UKVerified email at bham.ac.uk
- Budi AriefUniversity of KentVerified email at kent.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkVerified email at york.ac.uk
- Paul WatsonProfessor of Computer Science, Newcastle UniversityVerified email at ncl.ac.uk
- Mark UttingThe University of QueenslandVerified email at uq.edu.au
- Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandVerified email at uq.edu.au
- Jan Tobias MuehlbergProf. for Embedded Systems Security, Universite Libre de Bruxelles, BelgiumVerified email at ulb.be
Follow
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Verified email at newcastle.ac.uk