Colin O'Halloran

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