Colin O'Halloran

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.
J. Syst. Softw., 2024

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

2020
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2017
Verifying cyber attack properties.
Sci. Comput. Program., 2017

FDR: From Theory to Industrial Application.
Proceedings of the Concurrency, Security, and Puzzles, 2017

2016
A Super Industrial Application of PSGraph.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
Verifying Critical Cyber-Physical Systems After Deployment.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

2014
Test-data generation for control coverage by proof.
Formal Aspects Comput., 2014

2013
Automated verification of code automatically generated from Simulink®.
Autom. Softw. Eng., 2013

2011
From control law diagrams to Ada via <i>Circus</i>.
Formal Aspects Comput., 2011

2009
Guess and Verify - Back to the Future.
Proceedings of the FM 2009: Formal Methods, 2009

2008
How to Soar with CSP.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Security and Interoperability for MANETs and a Fixed Core.
Proceedings of the Computer Safety, 2008

2005
Where Is the Value in a Program Verifier?.
Proceedings of the Verified Software: Theories, 2005

Control Law Diagrams in <i>Circus</i>.
Proceedings of the FM 2005: Formal Methods, 2005

2004
Using the Compliance Notation in Industry.
Proceedings of the Refinement Techniques in Software Engineering, 2004

2003
Model Based Code Verification.
Proceedings of the Formal Methods and Software Engineering, 2003

2001
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
Issues for the Automatic Generation of Safety Critical Software.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

ClawZ: Control Laws in Z.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999
Verification of Picture Generated Code.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Trusted System Construction.
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998
Don't Verify, Abstract!
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997
Using a Formal Specification Contractually.
Formal Aspects Comput., 1997

Experiences with PiZA, an Animator for Z.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

1994
Evaluation Semantics in Z.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Security Through Type Analysis.
Proceedings of the Computer Security, 1994

1992
Refinement and Confidentiality.
Proceedings of the 5th Refinement Workshop, 1992

On Requirements and Security in a CCIS.
Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992

1990
A Calculus of Information Flow.
Proceedings of the ESORICS 90, 1990


  Loading...