Search the dblp DataBase

Publications of Author

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