John Colley

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2017
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

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

2014
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

2013
Modelling and Refinement in CODA
Proceedings of the Proceedings 16th International Refinement Workshop, 2013

2012
Building on the DEPLOY Legacy: Code Generation and Simulation
CoRR, 2012

A Practical Approach for Closed Systems Formal Verification Using Event-B.
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.
PhD thesis, 2010

2009
Why Secure Coding is not Enough: Professionals' Perspective.
Proceedings of the ISSE 2009, 2009


  Loading...