Colin O'Halloran
Colin O'Halloran
Technical Director - D-RisQ
Verified email at drisq.com - Homepage
Title
Cited by
Cited by
Year
Ariane 5 flight 501 failure
JL Lions
Report by the enquiry board. http://www. cs. berkeley. edu/~ demmel/ma221 …, 1996
593*1996
A calculus of information flow
C O'HALLORAN
Proceedings of the European Symposium on Research in Computer Security, 1990, 1990
1271990
Experiences with PiZA, an animator for Z
MA Hewitt, CM O'Halloran, CT Sennett
International Conference of Z Users, 35-51, 1997
731997
ClawZ: Control laws in Z
R Arthan, P Caseley, C O'Halloran, A Smith
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000
672000
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
432011
Verification of picture generated code
C O'Halloran, A Smith
14th IEEE International Conference on Automated Software Engineering, 127-136, 1999
221999
Automated verification of code automatically generated from Simulink®
C O’Halloran
Automated Software Engineering 20 (2), 237-264, 2013
192013
Issues for the automatic generation of safety critical software
C O'Halloran
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
172000
ARIANE 5, flight 501 failure, report by the inquiry board, 1996
JL Lions
Retrievable via: http://www. esa. int, 0
17
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
Using a formal specification contractually
C O'Halloran, R Arthan, D King
Formal aspects of computing 9 (4), 349-358, 1997
101997
On requirements and security in a CCIS
C O'Halloran
Proceedings The Computer Security Foundations Workshop V, 121,122,123,124 …, 1992
101992
Assessing safety critical cots systems
C O’Halloran
Towards System Safety, 65-74, 1999
91999
Category theory and information flow applied to computer security.
C O'Halloran
University of Oxford, 1993
91993
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
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
N Shankar, J Woodcock
Springer, 2008
72008
The system can't perform the operation now. Try again later.
Articles 1–20