| Ariane 5 flight 501 failure JL Lions Report by the enquiry board. http://www. cs. berkeley. edu/~ demmel/ma221 …, 1996 | 703* | 1996 |
| A calculus of information flow C O'HALLORAN Proceedings of the European Symposium on Research in Computer Security, 1990, 1990 | 143 | 1990 |
| Experiences with PiZA, an animator for Z MA Hewitt, CM O'Halloran, CT Sennett International Conference of Z Users, 35-51, 1997 | 76 | 1997 |
| ClawZ: Control laws in Z R Arthan, P Caseley, C O'Halloran, A Smith ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000 | 69 | 2000 |
| Control Law Diagrams in Circus A Cavalcanti, P Clayton, C O’Halloran FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 56 | 2005 |
| From control law diagrams to Ada via Circus A Cavalcanti, P Clayton, C O’Halloran Formal Aspects of Computing 23, 465-512, 2011 | 43 | 2011 |
| Automated verification of code automatically generated from Simulink® C O’Halloran Automated Software Engineering 20, 237-264, 2013 | 27 | 2013 |
| Verification of picture generated code C O'Halloran, A Smith 14th IEEE International Conference on Automated Software Engineering, 127-136, 1999 | 22 | 1999 |
| ARIANE 5, flight 501 failure, report by the inquiry board, 1996 JL Lions, L Lübeck, JL Fauquembergue, G Kahn, W Kubbat, S Levedag, ... Retrievable via: http://www. esa. int, 0 | 19 | |
| Issues for the automatic generation of safety critical software C O'Halloran Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000 | 17 | 2000 |
| Formal model-based assurance cases in Isabelle/SACM: An autonomous underwater vehicle case study S Foster, Y Nemouchi, C O'Halloran, K Stephenson, N Tudor Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 16 | 2020 |
| Ariane 501 inquiry board report JL Lions, L Lübeck, JL Fauquembergue, G Kahn, W Kubbat, S Levedag, ... Paris: ESA, 1996 | 15 | 1996 |
| 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 | 12 | 2004 |
| 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 | 12 | 2003 |
| Assessing safety critical COTS systems C O’Halloran Towards System Safety: Proceedings of the Seventh Safety-critical Systems …, 1999 | 10 | 1999 |
| Category theory and information flow applied to computer security. C O'Halloran University of Oxford, 1993 | 10 | 1993 |
| On requirements and security in a CCIS C O'Halloran [1992] Proceedings The Computer Security Foundations Workshop V, 121-134, 1992 | 10 | 1992 |
| FDR: from theory to industrial application T Gibson-Robinson, G Broadfoot, G Carvalho, P Hopcroft, G Lowe, ... Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William …, 2017 | 9 | 2017 |
| Don't verify, abstract! C O'Halloran, A Smith Proceedings 13th IEEE International Conference on Automated Software …, 1998 | 9 | 1998 |
| Refinement and confidentiality C O’Halloran 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop …, 1992 | 9 | 1992 |
