The SCEAS System
Navigation Menu

Search the dblp DataBase


Tim McComb: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tim McComb, Luke Wildman
    SIFA: A Tool for Evaluation of High-Grade Security Devices. [Citation Graph (0, 0)][DBLP]
    ACISP, 2005, pp:230-241 [Conf]
  2. Colin J. Fidge, Tim McComb
    Tracing secure information flow through mode changes. [Citation Graph (0, 0)][DBLP]
    ACSC, 2006, pp:303-310 [Conf]
  3. Tim McComb, Graeme Smith
    Architectural Design in Object-Z. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:77-86 [Conf]
  4. Tim McComb
    Refactoring Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:69-83 [Conf]
  5. Tim McComb, Graeme Smith
    Compositional Class Refinement in Object-Z. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:205-220 [Conf]
  6. Tim McComb, Luke Wildman
    Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:621-638 [Conf]
  7. Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
    MDA-Based Re-engineering with Object-Z. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:291-305 [Conf]
  8. Tim McComb, Graeme Smith
    Animation of Object-Z Specifications Using a Z Animator. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:191-0 [Conf]
  9. Tim McComb, Luke Wildman
    A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:117-128 [Conf]

  10. Introducing Objects through Refinement. [Citation Graph (, )][DBLP]

  11. A Minimal Set of Refactoring Rules for Object-Z. [Citation Graph (, )][DBLP]

  12. IllouraTM: a software tool for analysis, visualization and semantic querying of cellular and other spatial biological data. [Citation Graph (, )][DBLP]

  13. Refactoring Real-time Specifications. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002