Colin O'Halloran

According to our database, Colin O'Halloran authored at least 29 papers between 1990 and 2024.

Collaborative distances:

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

2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly

CoRR, 2024

2020

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.

Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2017

Verifying cyber attack properties.

Colin O'Halloran, Thomas Gibson-Robinson, Neil Brock

Sci. Comput. Program., 2017

FDR: From Theory to Industrial Application.

Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio

Proceedings of the Concurrency, Security, and Puzzles, 2017

2016

A Super Industrial Application of PSGraph.

Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Verifying Critical Cyber-Physical Systems After Deployment.

Colin O'Halloran

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

2014

Test-data generation for control coverage by proof.

Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock

Formal Aspects Comput., 2014

2013

Automated verification of code automatically generated from Simulink®.

Colin O'Halloran

Autom. Softw. Eng., 2013

2011

From control law diagrams to Ada via <i>Circus</i>.

Ana Cavalcanti, Phil Clayton, Colin O'Halloran

Formal Aspects Comput., 2011

2009

Guess and Verify - Back to the Future.

Colin O'Halloran

Proceedings of the FM 2009: Formal Methods, 2009

2008

How to Soar with CSP.

Colin O'Halloran

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Security and Interoperability for MANETs and a Fixed Core.

Colin O'Halloran, Andy Bates

Proceedings of the Computer Safety, 2008

2005

Where Is the Value in a Program Verifier?.

Colin O'Halloran

Proceedings of the Verified Software: Theories, 2005

Control Law Diagrams in <i>Circus</i>.

Ana Cavalcanti, Phil Clayton, Colin O'Halloran

Proceedings of the FM 2005: Formal Methods, 2005

2004

Using the Compliance Notation in Industry.

Phil Clayton, Colin O'Halloran

Proceedings of the Refinement Techniques in Software Engineering, 2004

2003

Model Based Code Verification.

Colin O'Halloran

Proceedings of the Formal Methods and Software Engineering, 2003

2001

Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance.

Colin O'Halloran

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Issues for the Automatic Generation of Safety Critical Software.

Colin O'Halloran

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

ClawZ: Control Laws in Z.

R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999

Verification of Picture Generated Code.

Colin O'Halloran, Alf Smith

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Trusted System Construction.

Colin O'Halloran

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998

Don't Verify, Abstract!

Colin O'Halloran, Alf Smith

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

Using a Formal Specification Contractually.

Colin O'Halloran, R. D. Arthan, D. King

Formal Aspects Comput., 1997

Experiences with PiZA, an Animator for Z.

M. A. Hewitt, Colin O'Halloran, Chris T. Sennett

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

1994

Evaluation Semantics in Z.

Colin O'Halloran

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Security Through Type Analysis.

Colin O'Halloran, Chris T. Sennett

Proceedings of the Computer Security, 1994

1992

Refinement and Confidentiality.

Colin O'Halloran

Proceedings of the 5th Refinement Workshop, 1992

On Requirements and Security in a CCIS.

Colin O'Halloran

Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992

1990

A Calculus of Information Flow.

Colin O'Halloran

Proceedings of the ESORICS 90, 1990