Tim McComb

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Tim McComb, Oliver Cairncross, Andrew B. Noske, David L. A. Wood, Brad J. Marsh, Mark A. Ragan
: a software tool for analysis, visualization and semantic querying of cellular and other spatial biological data. Bioinform. 25 (9) (2009)
Tim McComb, Graeme Smith
Introducing Objects through Refinement. FM (2008)
Graeme Smith, Tim McComb
Refactoring Real-time Specifications. Electron. Notes Theor. Comput. Sci. 214 (2008)
Tim McComb, Graeme Smith
A Minimal Set of Refactoring Rules for Object-Z. FMOODS (2008)
Tim McComb, Luke Wildman
A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. ICECCS (2007)
Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
MDA-Based Re-engineering with Object-Z. MoDELS (2006)
Tim McComb, Graeme Smith
Compositional Class Refinement in Object-Z. FM (2006)
Tim McComb, Luke Wildman
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. ICFEM (2006)
Colin J. Fidge, Tim McComb
Tracing secure information flow through mode changes. ACSC (2006)
Tim McComb, Luke Wildman
SIFA: A Tool for Evaluation of High-Grade Security Devices. ACISP (2005)
Tim McComb, Graeme Smith
Architectural Design in Object-Z. Australian Software Engineering Conference (2004)
Tim McComb
Refactoring Object-Z Specifications. FASE (2004)
Tim McComb, Graeme Smith
Animation of Object-Z Specifications Using a Z Animator. SEFM (2003)