Colin O'Halloran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
1990–2020
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICSE | Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study. | Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor |
| 2009 | FM | Guess and Verify - Back to the Future. | Colin O'Halloran |
| 2008 | SAFECOMP | Security and Interoperability for MANETs and a Fixed Core. | Colin O'Halloran, Andy Bates |
| 2005 | FM | Control Law Diagrams in | Ana Cavalcanti, Phil Clayton, Colin O'Halloran |
| 2003 | ICFEM | Model Based Code Verification. | Colin O'Halloran |
| 2000 | ICFEM | ClawZ: Control Laws in Z. | R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith |
| 1994 | ESORICS | Security Through Type Analysis. | Colin O'Halloran, Chris T. Sennett |
| 1994 | FM | Evaluation Semantics in Z. | Colin O'Halloran |
| 1990 | ESORICS | A Calculus of Information Flow. | Colin O'Halloran |