Concepedia

C. O'Halloran

CO

Statistics

Publications

7

Citations

227

H-Index

7

Active since

1990

Affiliations

University of York(Current)

C. O'Halloran is an author at University of York specializing in formal methods, computer science, and engineering.

Top concepts

Publications per year

1990–2020

7

Publications

7

A Calculus of Information Flow.

C. O'Halloran · European Symposium on Research in Computer Security · 1990 · 85 citations

, , +5

ClawZ: control laws in Z

Rob Arthan, P.R. Caseley, C. O'Halloran et al. · 2002 · 48 citations

, , +19

From control law diagrams to Ada via<i>Circus</i>

Ana Cavalcanti, Phil Clayton, C. O'Halloran · Formal Aspects of Computing · 2011 · 31 citations · Full text

Automated verification of code automatically generated from Simulink®

C. O'Halloran · Automated Software Engineering · 2012 · 21 citations

, , +7

Issues for the automatic generation of safety critical software

C. O'Halloran · 2000 · 16 citations

, , +18

1–5 of 7