Colin O Halloran - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2011

From control law diagrams to Ada via ::::Circus::::Ana Cavalcanti, Phil Clayton, Colin O Halloran. fac, 23(4):465-512, 2011. [doi]

2009

Guess and Verify - Back to the FutureColin O Halloran. FM 2009: 23-32 [doi]

2008

Security and Interoperability for MANETs and a Fixed CoreColin O Halloran, Andy Bates. safecomp 2008: 5-11 [doi]

How to Soar with CSPColin O Halloran. wotug 2008: 15 [doi]

2005

Control Law Diagrams in ::::Circus::::Ana Cavalcanti, Phil Clayton, Colin O Halloran. FM 2005: 253-268 [doi]

Where Is the Value in a Program Verifier?Colin O Halloran. vstte 2008: 255-262 [doi]

2004

Using the Compliance Notation in IndustryPhil Clayton, Colin O Halloran. psse 2006: 269-314 [doi]

2003

Model Based Code VerificationColin O Halloran. icfem 2003: 16-25 [doi]

2001

Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based AssuranceColin O Halloran. ASE 2001: 63-70 [doi]

2000

ClawZ: Control Laws in ZR. D. Arthan, P. Caseley, Colin O Halloran, Alf Smith. icfem 2000: 169-176 [doi]

1999

Trusted System ConstructionColin O Halloran. csfw 1999: 124-135 [doi]

Verification of Picture Generated CodeColin O'Halloran, Alf Smith. ASE 1999: 127-136 [doi]

1998

Don t Verify, Abstract!Colin O Halloran, Alf Smith. ASE 1998: 53-62 [doi]

1997

Using a Formal Specification ContractuallyColin O Halloran, R. D. Arthan, D. King. fac, 9(4):349-358, 1997.

Experiences with PiZA, an Animator for ZM. A. Hewitt, Colin O Halloran, Chris T. Sennett. zum 1997: 37-51

1994

Security Through Type AnalysisColin O Halloran, Chris T. Sennett. esorics 1994: 75-89 [doi]

Evaluation Semantics in ZColin O Halloran. FM 1994: 502-518

1992

On Requirements and Security in a CCISColin O Halloran. csfw 1992: 121-134

1990

A Calculus of Information FlowColin O Halloran. esorics 1990: 147-159

Sign in or sign up to see more results.

runs on WebDSL