John Colley

According to our database, John Colley authored at least 11 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B.

Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone

Int. J. Crit. Comput. Based Syst., 2019

2017

Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology.

Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

2016

Formal Modelling, Testing and Verification of HSA Memory Models using Event-B.

Ashish Darbari, Iain Singleton, Michael J. Butler, John Colley

CoRR, 2016

2014

Co-simulating event-B and continuous models via FMI.

Vitaly Savicks, Michael J. Butler, John Colley

Proceedings of the 2014 Summer Simulation Multiconference, 2014

A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems.

Toby Wilkinson, Michael J. Butler, John Colley

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Co-simulation Environment for Rodin: Landing Gear Case Study.

Vitaly Savicks, Michael J. Butler, John Colley

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2013

Modelling and Refinement in CODA

Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

2012

Building on the DEPLOY Legacy: Code Generation and Simulation

Andrew Edmunds, Michael J. Butler, John Colley

CoRR, 2012

A Practical Approach for Closed Systems Formal Verification Using Event-B.

Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2010

Guarded atomic actions and refinement in a system-on-chip development flow : bridging the specification gap with Event-B.

John Colley

PhD thesis, 2010

2009

Why Secure Coding is not Enough: Professionals' Perspective.

John Colley

Proceedings of the ISSE 2009, 2009