Tim McComb

According to our database, Tim McComb authored at least 13 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Illoura^TM: a software tool for analysis, visualization and semantic querying of cellular and other spatial biological data.

Tim McComb, Oliver Cairncross, Andrew B. Noske, David L. A. Wood, Brad J. Marsh, Mark A. Ragan

Bioinform., 2009

2008

Refactoring Real-time Specifications.

Graeme Smith, Tim McComb

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

A Minimal Set of Refactoring Rules for Object-Z.

Tim McComb, Graeme Smith

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Introducing Objects through Refinement.

Tim McComb, Graeme Smith

Proceedings of the FM 2008: Formal Methods, 2008

2007

A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware.

Tim McComb, Luke Wildman

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

MDA-Based Re-engineering with Object-Z.

Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.

Tim McComb, Luke Wildman

Proceedings of the Formal Methods and Software Engineering, 2006

Compositional Class Refinement in Object-Z.

Tim McComb, Graeme Smith

Proceedings of the FM 2006: Formal Methods, 2006

Tracing secure information flow through mode changes.

Colin J. Fidge, Tim McComb

Proceedings of the Computer Science 2006, 2006

2005

SIFA: A Tool for Evaluation of High-Grade Security Devices.

Tim McComb, Luke Wildman

Proceedings of the Information Security and Privacy, 10th Australasian Conference, 2005

2004

Refactoring Object-Z Specifications.

Tim McComb

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Architectural Design in Object-Z.

Tim McComb, Graeme Smith

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003

Animation of Object-Z Specifications Using a Z Animator.

Tim McComb, Graeme Smith

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003