Get my own profile
Public access
View all36 articles
0 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
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Mario GleirscherIndependent ResearcherVerified email at tum.de
Yakoub NemouchiNRELVerified email at nrel.gov
Kangfeng YeResearch Associate in Computer Science, University of YorkVerified email at york.ac.uk
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
Alvaro MiyazawaResearch Associate, University of YorkVerified email at york.ac.uk
James BaxterUniversity of YorkVerified email at york.ac.uk
Tim KellyProfessor of High Integrity SystemsVerified email at york.ac.uk
Jonathan Julian Huerta y MuniveAdjunct at University of AalborgVerified email at cs.aau.dk
John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Ibrahim HabliProfessor of Safety-Critical Systems at the University of YorkVerified email at york.ac.uk
Richard PayneSenior Software Engineer, Asset55Verified email at assetfiftyfive.com
Barry NortonVP Research, Milestone SystemsVerified email at milestone.dk
Burkhart WolffProfessor für Informatik, Universität Paris-SudVerified email at lri.fr
Pedro RibeiroLecturer at the Department of Computer Science, University of YorkVerified email at york.ac.uk
Christian Pardillo LaursenPhD Computer Science student, University of YorkVerified email at york.ac.uk
Carl GambleResearch Associate, Newcastle UniversityVerified email at newcastle.ac.uk
Colin O'HalloranTechnical Director - D-RisQVerified email at drisq.com
Follow![Simon Foster](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=yElOCUAAAAAJ&citpid=4)