Get my own profile
Public access
View all40 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
Kangfeng YeResearch Associate in Computer Science, University of YorkVerified email at york.ac.uk
Yakoub NemouchiNRELVerified email at nrel.gov
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
Alvaro MiyazawaResearch Associate, University of YorkVerified email at york.ac.uk
Jonathan Julian Huerta y MuniveCzech Technical UniversityVerified email at cvut.cz
James BaxterUniversity of YorkVerified email at york.ac.uk
Tim KellyProfessor of High Integrity SystemsVerified email at york.ac.uk
Ibrahim HabliProfessor of Safety-Critical Systems at the University of YorkVerified email at york.ac.uk
Christian Pardillo LaursenPhD Computer Science student, University of YorkVerified email at york.ac.uk
John S. FitzgeraldNewcastle University, UKVerified email at ncl.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
Colin O'HalloranTechnical Director - D-RisQVerified email at drisq.com
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Follow