Colin O'Halloran

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 6

Top Topics

Regulatory Requirements

Industrial Applications

Top Venues

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

Formal Aspects Comput.

Publications

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. 213 (2024)
Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. CoRR (2024)
Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study. FormaliSE@ICSE (2020)
Colin O'Halloran, Thomas Gibson-Robinson, Neil Brock
Verifying cyber attack properties. Sci. Comput. Program. 148 (2017)
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles (2017)
Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.
A Super Industrial Application of PSGraph. ABZ (2016)
Colin O'Halloran
Verifying Critical Cyber-Physical Systems After Deployment. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock
Test-data generation for control coverage by proof. Formal Aspects Comput. 26 (4) (2014)
Colin O'Halloran
Automated verification of code automatically generated from Simulink®. Autom. Softw. Eng. 20 (2) (2013)
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
. Formal Aspects Comput. 23 (4) (2011)
Colin O'Halloran
Guess and Verify - Back to the Future. FM (2009)
Colin O'Halloran
How to Soar with CSP. CPA (2008)
Colin O'Halloran, Andy Bates
Security and Interoperability for MANETs and a Fixed Core. SAFECOMP (2008)
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
. FM (2005)
Colin O'Halloran
Where Is the Value in a Program Verifier?. VSTTE (2005)
Phil Clayton, Colin O'Halloran
Using the Compliance Notation in Industry. PSSE (2004)
Colin O'Halloran
Model Based Code Verification. ICFEM (2003)
Colin O'Halloran
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. ASE (2001)
Colin O'Halloran
Issues for the Automatic Generation of Safety Critical Software. ASE (2000)
R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith
ClawZ: Control Laws in Z. ICFEM (2000)
Colin O'Halloran
Trusted System Construction. CSFW (1999)
Colin O'Halloran, Alf Smith
Verification of Picture Generated Code. ASE (1999)
Colin O'Halloran, Alf Smith
Don't Verify, Abstract! ASE (1998)
Colin O'Halloran, R. D. Arthan, D. King
Using a Formal Specification Contractually. Formal Aspects Comput. 9 (4) (1997)
M. A. Hewitt, Colin O'Halloran, Chris T. Sennett
Experiences with PiZA, an Animator for Z. ZUM (1997)
Colin O'Halloran, Chris T. Sennett
Security Through Type Analysis. ESORICS (1994)
Colin O'Halloran
Evaluation Semantics in Z. FME (1994)
Colin O'Halloran
Refinement and Confidentiality. Refine (1992)
Colin O'Halloran
On Requirements and Security in a CCIS. CSFW (1992)
Colin O'Halloran
A Calculus of Information Flow. ESORICS (1990)