Get my own profile
Public access
View all55 articles
4 articles
available
not available
Based on funding mandates
Co-authors
- Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
- Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
- John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
- Simon FosterLecturer in Computer Science, University of YorkVerified email at york.ac.uk
- Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
- Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
- Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoVerified email at cin.ufpe.br
- Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKVerified email at newcastle.ac.uk
- Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
- Alvaro MiyazawaResearch Associate, University of YorkVerified email at york.ac.uk
- Andrew ButterfieldComputer Science, Trinity College DublinVerified email at tcd.ie
- Kun WeiComputer Science, University of YorkVerified email at york.ac.uk
- Susan StepneyProfessor of Computer Science, University of YorkVerified email at york.ac.uk
- Jon TimmisProfessor of Intelligent and Adaptive Systems, University of SunderlandVerified email at sunderland.ac.uk
- Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkVerified email at york.ac.uk
- Pedro RibeiroLecturer at the Department of Computer Science, University of YorkVerified email at york.ac.uk
- Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of YorkVerified email at mcmaster.ca
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
- Steve KingUniversity of YorkVerified email at york.ac.uk
Follow
Jim Woodcock
Professor of Software Engineering, University of York
Verified email at york.ac.uk - Homepage