C. O'Halloran
Papers
1
Total Citations
10
H-Index
1
About
Dr. C. O'Halloran is a leading researcher in the engineering of safety-critical systems, with a primary focus on the formalization and automation of assurance cases. Their most influential work, "ACCESS: Assurance Case Centric Engineering of Safety–critical Systems" (2024, 10 citations), pioneers a model-based approach to replace the traditionally manual, document-heavy process of creating and evaluating safety and security arguments. By shifting from static documents to dynamic, structured models, O'Halloran’s contributions enable more rigorous, transparent, and efficient assessments of system confidence. This breakthrough directly addresses the lengthy and complicated stakeholder evaluations that have long plagued the field. With a growing citation footprint, O'Halloran is establishing a new paradigm for how critical system properties are communicated and verified. Their work is particularly notable for bridging the gap between theoretical assurance frameworks and practical engineering workflows, offering a scalable solution for industries where safety and security are paramount.
Research Focus
Key Achievements
Top Papers
- 1ACCESS: Assurance Case Centric Engineering of Safety–critical Systems10 citations · 2024