Get my own profile
Public access
View all10 articles
2 articles
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 MuehlbergResearcher in Computer Science, Universite Libre Bruxelles & KU Leuven, 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