 | 2009 |
|---|
| 19 |       | Colin O'Halloran:
Guess and Verify - Back to the Future.
FM 2009: 23-32 |
| 2008 |
|---|
| 18 | | Colin O'Halloran:
How to Soar with CSP.
CPA 2008: 15 |
| 17 | | Colin O'Halloran,
Andy Bates:
Security and Interoperability for MANETs and a Fixed Core.
SAFECOMP 2008: 5-11 |
| 2005 |
|---|
| 16 | | Ana Cavalcanti,
Phil Clayton,
Colin O'Halloran:
Control Law Diagrams in Circus.
FM 2005: 253-268 |
| 15 | | Colin O'Halloran:
Where Is the Value in a Program Verifier?.
VSTTE 2005: 255-262 |
| 2004 |
|---|
| 14 | | Phil Clayton,
Colin O'Halloran:
Using the Compliance Notation in Industry.
PSSE 2004: 269-314 |
| 2003 |
|---|
| 13 | | Colin O'Halloran:
Model Based Code Verification.
ICFEM 2003: 16-25 |
| 2001 |
|---|
| 12 | | Colin O'Halloran:
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance.
ASE 2001: 63-70 |
| 2000 |
|---|
| 11 | | Colin O'Halloran:
Issues for the Automatic Generation of Safety Critical Software.
ASE 2000: 277-280 |
| 10 | | R. D. Arthan,
P. Caseley,
Colin O'Halloran,
Alf Smith:
ClawZ: Control Laws in Z.
ICFEM 2000: 169-176 |
| 1999 |
|---|
| 9 | | Colin O'Halloran,
Alf Smith:
Verification of Picture Generated Code.
ASE 1999: 127-136 |
| 8 | | Colin O'Halloran:
Trusted System Construction.
CSFW 1999: 124-135 |
| 1998 |
|---|
| 7 | | Colin O'Halloran,
Alf Smith:
Don't Verify, Abstract!
ASE 1998: 53-62 |
| 1997 |
|---|
| 6 |  | M. A. Hewitt,
Colin O'Halloran,
Chris T. Sennett:
Experiences with PiZA, an Animator for Z.
ZUM 1997: 37-51 |
| 5 | | Colin O'Halloran,
R. D. Arthan,
D. King:
Using a Formal Specification Contractually.
Formal Asp. Comput. 9(4): 349-358 (1997) |
| 1994 |
|---|
| 4 | | Colin O'Halloran,
Chris T. Sennett:
Security Through Type Analysis.
ESORICS 1994: 75-89 |
| 3 | | Colin O'Halloran:
Evaluation Semantics in Z.
FME 1994: 502-518 |
| 1992 |
|---|
| 2 | | Colin O'Halloran:
On Requirements and Security in a CCIS.
CSFW 1992: 121-134 |
| 1990 |
|---|
| 1 | | Colin O'Halloran:
A Calculus of Information Flow.
ESORICS 1990: 147-159 |
