John Colley

发表

Rodin multi-simulation plug-in

Vitaly Savicks, Michael Butler, John Colley, 2014 .

Why Secure Coding is not Enough: Professionals' Perspective

John Colley, J. Colley, 2009, ISSE.

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

Michael J. Butler, John Colley, Ashish Darbari, 2016, ArXiv.

Co-simulation of Event-B and Ptolemy II Models via FMI

Vitaly Savicks, Michael Butler, John Colley, 2014 .

Tutorial: a Practical Introduction to using Event-B for Complex Hardware and Embedded System Specification and Design

John Colley, 2012 .

Co-simulating event-B and continuous models via FMI

Michael J. Butler, Vitaly Savicks, John Colley, 2014, SummerSim.

Plug the Skills Gap

John Colley, 2010 .

Cover story: The changing nature of the information security career

John Colley, 2010 .

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

Vladimiro Sassone, Michael J. Butler, John Colley, 2017, 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

Co-simulation Environment for Rodin: Landing Gear Case Study

Michael J. Butler, Vitaly Savicks, John Colley, 2014, ABZ.

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

Michael J. Butler, John Colley, Toby Wilkinson, 2014, IMBSA.

Column: Industry sea change

John Colley, 2009 .

Modelling and Refinement in CODA

Neil Evans, Colin F. Snook, Michael J. Butler, 2013, Refine@IFM.

On Proving with Event-B that a Pipelined Processor Model Implements its ISA Specification

Michael Butler, John Colley, M. Butler, 2009 .

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

Vladimiro Sassone, Michael J. Butler, John Colley, 2019, Int. J. Crit. Comput. Based Syst..

Column: Fear your customers, not regulators

John Colley, 2008 .

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

Colin F. Snook, Michael J. Butler, John Colley, 2012, SEFM.

Column: Security professionals need to improve people (and business) management skills before IT skills

John Colley, 2007 .

Column: A lesson in economics

John Colley, 2009 .

Review: Essential reading

John Colley, 2009 .

Review: IEDs Take on a New Meaning

John Colley, 2011 .

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

John Colley, J. Colley, 2010 .

Co-simulation of Event-B and Continuous Models in Rodin

Vitaly Savicks, Michael Butler, John Colley, 2013 .

Advanced Design and Verification Environment for Cyber-physical System Engineering

John Colley, 2011 .

ADVANCE Discrete Event Simulation Training

John Colley, 2012 .

ADVANCE Project Partner Training

John Colley, 2012 .

Column: Crisis of customer confidence

John Colley, 2008 .

Building on the DEPLOY Legacy: Code Generation and Simulation pdf

Michael J. Butler, John Colley, Andrew Edmunds, 2012, ArXiv.

Column: Joining Forces to Support the Security Profession

John Colley, Jason Creasey, 2011 .

A Formal, Systematic Approach to STPA using Event-B Refinement and Proof

Michael Butler, John Colley, 2013 .

Innovative Approach for Requirements Verification of Closed Systems

Michael Butler, John Colley, Brett Bicknell, 2014 .

Column: Restoring trust

John Colley, 2010 .