Colin O'Halloran

发表

Colin O'Halloran, 2009, FM.

Security and Interoperability for MANETs and a Fixed Core

Colin O'Halloran, Andy Bates, 2008, SAFECOMP.

Colin O'Halloran, Rob Arthan, P. Caseley, 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.

FDR: From Theory to Industrial Application

Augusto Sampaio, Gavin Lowe, Thomas Gibson-Robinson, 2017, Concurrency, Security, and Puzzles.

Verifying cyber attack properties

Thomas Gibson-Robinson, Colin O'Halloran, Neil Brock, 2017, Sci. Comput. Program..

Experiences with PiZA, an Animator for Z

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

Acceptance based assurance

Colin O'Halloran, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

From control law diagrams to Ada via Circus

Ana Cavalcanti, Colin O'Halloran, Philip B. Clayton, 2011, Formal Aspects of Computing.

Don't verify, abstract!

Colin O'Halloran, Alf Smith, 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

Assessing Safety Critical COTS Systems

Colin O'Halloran, 1999 .

Model Based Code Verification

Colin O'Halloran, C. O'Halloran, 2003, ICFEM.

PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

Peter Miller, Antony Powell, Colin O'Halloran, 2017 .

Verification of picture generated code

Colin O'Halloran, Alf Smith, 1999, 14th IEEE International Conference on Automated Software Engineering.

Where Is the Value in a Program Verifier?

Colin O'Halloran, 2005, VSTTE.

A Super Industrial Application of PSGraph

Gudmund Grov, Colin O'Halloran, Yuhui Lin, 2016, ABZ.

Security Through Type Analysis

Colin O'Halloran, Chris T. Sennett, C. O'Halloran, 1994, ESORICS.

Issues for the automatic generation of safety critical software

Colin O'Halloran, C. O'Halloran, 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

Refinement and Confidentiality

Colin O'Halloran, C. O'Halloran, 1992, Refine.

Trusted system construction

Colin O'Halloran, C. O'Halloran, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.

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

Yakoub Nemouchi, Colin O'Halloran, Simon Foster, 2020, FormaliSE@ICSE.

A Calculus of Information Flow

Colin O'Halloran, C. O'Halloran, 1990, ESORICS.

Control Law Diagrams in Circus

Ana Cavalcanti, Colin O'Halloran, Philip B. Clayton, 2005, FM.

How to Soar with CSP

Colin O'Halloran, 2008, CPA.

Verifying Critical Cyber-Physical Systems After Deployment

Colin O'Halloran, 2015, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Using a formal specification contractually

Colin O'Halloran, Rob Arthan, D. King, 2005, Formal Aspects of Computing.

Evaluation Semantics in Z

Colin O'Halloran, 1994, FME.

Using the Compliance Notation in Industry

Colin O'Halloran, Philip B. Clayton, 2004, PSSE.

Test-data generation for control coverage by proof

Ana Cavalcanti, Jim Woodcock, Colin O'Halloran, 2013, Formal Aspects of Computing.

Automated verification of code automatically generated from Simulink®

Colin O'Halloran, 2012, Automated Software Engineering.

On requirements and security in a CCIS

Colin O'Halloran, 1992, [1992] Proceedings The Computer Security Foundations Workshop V.