The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Colin O'Halloran: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002