Obserwuj
Colin O'Halloran
Colin O'Halloran
Technical Director - D-RisQ
Zweryfikowany adres z drisq.com - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Ariane 5 flight 501 failure
JL Lions
Report by the enquiry board. http://www. cs. berkeley. edu/~ demmel/ma221 …, 1996
694*1996
A calculus of information flow
C O'HALLORAN
Proceedings of the European Symposium on Research in Computer Security, 1990, 1990
1431990
Experiences with PiZA, an animator for Z
MA Hewitt, CM O'Halloran, CT Sennett
International Conference of Z Users, 35-51, 1997
761997
ClawZ: Control laws in Z
R Arthan, P Caseley, C O'Halloran, A Smith
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000
682000
Control Law Diagrams in Circus
A Cavalcanti, P Clayton, C O’Halloran
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
552005
From control law diagrams to Ada via Circus
A Cavalcanti, P Clayton, C O’Halloran
Formal Aspects of Computing 23, 465-512, 2011
432011
Automated verification of code automatically generated from Simulink®
C O’Halloran
Automated Software Engineering 20, 237-264, 2013
262013
Verification of picture generated code
C O'Halloran, A Smith
14th IEEE International Conference on Automated Software Engineering, 127-136, 1999
211999
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
20
Issues for the automatic generation of safety critical software
C O'Halloran
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
172000
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
152020
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
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
122004
Assessing safety critical COTS systems
C O’Halloran
Towards System Safety: Proceedings of the Seventh Safety-critical Systems …, 1999
101999
Category theory and information flow applied to computer security.
C O'Halloran
University of Oxford, 1993
101993
On requirements and security in a CCIS
C O'Halloran
[1992] Proceedings The Computer Security Foundations Workshop V, 121-134, 1992
101992
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
92017
Using a formal specification contractually
C O'Halloran, R Arthan, D King
Formal aspects of computing 9 (4), 349-358, 1997
91997
Refinement and confidentiality
C O’Halloran
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop …, 1992
91992
PICASSOS–Practical applications of automated formal methods to safety related automotive systems
J Botham, G Dhadyalla, A Powell, P Miller, O Haas, D McGeoch, AC Rao, ...
SAE Technical Paper, 2017
82017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20