John Colley

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Venues

CoRR

Refine@IFM

Int. J. Crit. Comput. Based Syst.

EuroS&P Workshops

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone
Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology. EuroS&P Workshops (2017)
Ashish Darbari, Iain Singleton, Michael J. Butler, John Colley
Formal Modelling, Testing and Verification of HSA Memory Models using Event-B. CoRR (2016)
Vitaly Savicks, Michael J. Butler, John Colley
Co-simulating event-B and continuous models via FMI. SummerSim (2014)
Vitaly Savicks, Michael J. Butler, John Colley
Co-simulation Environment for Rodin: Landing Gear Case Study. ABZ (Case Study) (2014)
Toby Wilkinson, Michael J. Butler, John Colley
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. IMBSA (2014)
Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall
Modelling and Refinement in CODA Refine@IFM (2013)
Andrew Edmunds, Michael J. Butler, John Colley
Building on the DEPLOY Legacy: Code Generation and Simulation CoRR (2012)
Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook
A Practical Approach for Closed Systems Formal Verification Using Event-B. SEFM (2012)
John Colley
Why Secure Coding is not Enough: Professionals' Perspective. ISSE (2009)

John Colley.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John Colley