Search the dblp DataBase

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. 
    Illoura^TM: 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]