According to our database1, John Colley authored at least 11 papers between 2009 and 2019.
Legend:Book In proceedings Article PhD thesis Other
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B.
Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology.
Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017
Formal Modelling, Testing and Verification of HSA Memory Models using Event-B.
Co-simulating event-B and continuous models via FMI.
Proceedings of the 2014 Summer Simulation Multiconference, 2014
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems.
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014
Co-simulation Environment for Rodin: Landing Gear Case Study.
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014
Modelling and Refinement in CODA
Proceedings of the Proceedings 16th International Refinement Workshop, 2013
Building on the DEPLOY Legacy: Code Generation and Simulation
A Practical Approach for Closed Systems Formal Verification Using Event-B.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Guarded atomic actions and refinement in a system-on-chip development flow : bridging the specification gap with Event-B.
PhD thesis, 2010
Why Secure Coding is not Enough: Professionals' Perspective.
Proceedings of the ISSE 2009, 2009