Get my own profile
Public access
View all50 articles
2 articles
available
not available
Based on funding mandates
Co-authors
- John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgVerified email at uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au
- Simon DohertyUniversity of SheffieldVerified email at sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseVerified email at dalvandi.com
- Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
- Graeme SmithThe University of QueenslandVerified email at itee.uq.edu.au
- Ori LahavTel Aviv UniversityVerified email at tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornVerified email at zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonVerified email at imperial.ac.uk
- John WickersonImperial College LondonVerified email at imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
- Victor GomesResearch Associate, University of CambridgeVerified email at cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Verified email at depaul.edu
- James RielyProfessor of Computing, DePaul UniversityVerified email at cs.depaul.edu
- Tsz Yiu LamBrunel University LondonVerified email at alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
- Alan BurnsUniversity of York, UKVerified email at york.ac.uk
- Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksVerified email at sweetgeeks.dk