Colin O'Halloran
Colin O'Halloran
Senior Research Fellow
Verified email at cs.ox.ac.uk
TitleCited byYear
Ariane 5 flight 501 failure
JL Lions
Report by the enquiry board. http://www. cs. berkeley. edu/~ demmel/ma221 …, 1996
550*1996
A calculus of information flow
C O'HALLORAN
Proceedings of the European Symposium on Research in Computer Security, 1990, 1990
1201990
Experiences with PiZA, an animator for Z
MA Hewitt, CM O'Halloran, CT Sennett
International Conference of Z Users, 35-51, 1997
701997
ClawZ: Control laws in Z
R Arthan, P Caseley, C O'Halloran, A Smith
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000
662000
Control Law Diagrams in Circus
A Cavalcanti, P Clayton, C O’Halloran
International Symposium on Formal Methods, 253-268, 2005
552005
From control law diagrams to Ada via Circus
A Cavalcanti, P Clayton, C O’Halloran
Formal Aspects of Computing 23 (4), 465-512, 2011
392011
Verification of picture generated code
C O'Halloran, A Smith
14th IEEE International Conference on Automated Software Engineering, 127-136, 1999
201999
ARIANE 5, flight 501 failure, report by the inquiry board, 1996
JL Lions, L Lbeck, JL Fauquembergue, G Kahn, W Kubbat, S Levedag, ...
Retrievable via: http://www. esa. int, 0
16
Automated verification of code automatically generated from Simulink®
C O’Halloran
Automated Software Engineering 20 (2), 237-264, 2013
152013
Issues for the automatic generation of safety critical software
C O'Halloran
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
152000
The case for an evidence based approach to software certification
PR Caseley, N Tudor, C O'Halloran
Safety Standards Review Committee, Ministry of Defence, 2003
132003
Refinement and confidentiality
C O’Halloran
5th Refinement Workshop, 119-139, 1992
111992
Auto-coding/auto-proving flight control software
N Tudor, M Adams, P Clayton, C O'Halloran
The 23rd Digital Avionics Systems Conference (IEEE Cat. No. 04CH37576) 2, 6 …, 2004
102004
Assessing safety critical cots systems
C O’Halloran
Towards System Safety, 65-74, 1999
101999
Category theory and information flow applied to computer security.
C O'Halloran
University of Oxford, 1993
91993
On requirements and security in a CCIS
C O'Halloran
[1992] Proceedings The Computer Security Foundations Workshop V, 121-134, 1992
91992
Acceptance based assurance
C O'Halloran
Proceedings 16th Annual International Conference on Automated Software …, 2001
82001
Don't verify, abstract!
C O'Halloran, A Smith
Proceedings 13th IEEE International Conference on Automated Software …, 1998
81998
Using a formal specification contractually
C O'Halloran, R Arthan, D King
Formal aspects of computing 9 (4), 349-358, 1997
81997
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
N Shankar, J Woodcock
Springer, 2008
62008
The system can't perform the operation now. Try again later.
Articles 1–20