Get my own profile
Public access
View all9 articles
4 articles
available
not available
Based on funding mandates
Co-authors
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
Pedro RibeiroLecturer at the Department of Computer Science, University of YorkVerified email at york.ac.uk
Simon FosterLecturer in Computer Science, University of YorkVerified email at york.ac.uk
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Alvaro MiyazawaResearch Associate, University of YorkVerified email at york.ac.uk
Gustavo CarvalhoUniversidade Federal de PernambucoVerified email at cin.ufpe.br
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKVerified email at newcastle.ac.uk
Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkVerified email at york.ac.uk