Tim McComb

13 papers A 1B 5C 1Misc 1Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2009 J jnl
Illoura
Bioinform.
Tim McComb, Oliver Cairncross, Andrew B. Noske, David L. A. Wood, Brad J. Marsh, Mark A. Ragan
2008 — conf
A Minimal Set of Refactoring Rules for Object-Z.
FMOODS
Tim McComb, Graeme Smith
2008 B conf
Introducing Objects through Refinement.
FM
Tim McComb, Graeme Smith
2008 — conf
Refactoring Real-time Specifications.
Refine@FM
Graeme Smith, Tim McComb
2007 B conf
A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware.
ICECCS
Tim McComb, Luke Wildman
2006 B conf
Compositional Class Refinement in Object-Z.
FM
Tim McComb, Graeme Smith
2006 A conf
MDA-Based Re-engineering with Object-Z.
MoDELS
Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
2006 — conf
Tracing secure information flow through mode changes.
ACSC
Colin J. Fidge, Tim McComb
2006 C conf
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.
ICFEM
Tim McComb, Luke Wildman
2005 Misc conf
SIFA: A Tool for Evaluation of High-Grade Security Devices.
ACISP
Tim McComb, Luke Wildman
2004 — conf
Architectural Design in Object-Z.
Australian Software Engineering Conference
Tim McComb, Graeme Smith
2004 B conf
Refactoring Object-Z Specifications.
FASE
Tim McComb
2003 B conf
Animation of Object-Z Specifications Using a Z Animator.
SEFM
Tim McComb, Graeme Smith