Colin O'Halloran - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Colin O'Halloran' as author, editor, or advisor:

Where Is the Value in a Program Verifier?Colin O Halloran. vstte 2008: 255-262 [doi]
Control Law Diagrams in ::::Circus::::Ana Cavalcanti, Phil Clayton, Colin O Halloran. FM 2005: 253-268 [doi]
Guess and Verify - Back to the FutureColin O Halloran. FM 2009: 23-32 [doi]
Model Based Code VerificationColin O Halloran. icfem 2003: 16-25 [doi]
ClawZ: Control Laws in ZR. D. Arthan, P. Caseley, Colin O Halloran, Alf Smith. icfem 2000: 169-176 [doi]
A Calculus of Information FlowColin O Halloran. esorics 1990: 147-159
Using the Compliance Notation in IndustryPhil Clayton, Colin O Halloran. psse 2006: 269-314 [doi]
Don t Verify, Abstract!Colin O Halloran, Alf Smith. ASE 1998: 53-62 [doi]
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based AssuranceColin O Halloran. ASE 2001: 63-70 [doi]
Security and Interoperability for MANETs and a Fixed CoreColin O Halloran, Andy Bates. safecomp 2008: 5-11 [doi]
Using a Formal Specification ContractuallyColin O Halloran, R. D. Arthan, D. King. fac, 9(4):349-358, 1997.
From control law diagrams to Ada via ::::Circus::::Ana Cavalcanti, Phil Clayton, Colin O Halloran. fac, 23(4):465-512, 2011. [doi]
On Requirements and Security in a CCISColin O Halloran. csfw 1992: 121-134
Trusted System ConstructionColin O Halloran. csfw 1999: 124-135 [doi]
Security Through Type AnalysisColin O Halloran, Chris T. Sennett. esorics 1994: 75-89 [doi]
How to Soar with CSPColin O Halloran. wotug 2008: 15 [doi]
Evaluation Semantics in ZColin O Halloran. FM 1994: 502-518
Experiences with PiZA, an Animator for ZM. A. Hewitt, Colin O Halloran, Chris T. Sennett. zum 1997: 37-51
Test-data generation for control coverage by proofAna Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock. fac, 26(4):795-823, 2014. [doi]
Automated verification of code automatically generated from Simulink®Colin O'Halloran. ASE, 20(2):237-264, 2013. [doi]
ACCESS: Assurance Case Centric Engineering of Safety-critical SystemsRan Wei, Simon Foster 0001, HaiTao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi. jss, 213:112034, 2024. [doi]
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case StudySimon Foster 0001, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor. ICSE 2020: 11-21 [doi]
FDR: From Theory to Industrial ApplicationThomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney Nogueira, Colin O'Halloran, Augusto Sampaio. BIRTHDAY 2017: 65-87 [doi]
A Super Industrial Application of PSGraphYuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.. asm 2016: 319-325 [doi]
Verifying Critical Cyber-Physical Systems After DeploymentColin O'Halloran. eceasst, 72, 2015. [doi]
Verifying cyber attack propertiesColin O'Halloran, Thomas Gibson-Robinson, Neil Brock. SCP, 148:3-25, 2017. [doi]
Refinement and ConfidentialityColin O'Halloran. Refine 1992: 119-139 [doi]

runs on WebDSL