2008 |
12 | EE | Tim McComb,
Graeme Smith:
Introducing Objects through Refinement.
FM 2008: 358-373 |
11 | EE | Tim McComb,
Graeme Smith:
A Minimal Set of Refactoring Rules for Object-Z.
FMOODS 2008: 170-184 |
10 | EE | Graeme Smith,
Tim McComb:
Refactoring Real-time Specifications.
Electr. Notes Theor. Comput. Sci. 214: 359-380 (2008) |
2007 |
9 | EE | Tim McComb,
Luke Wildman:
A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware.
ICECCS 2007: 117-128 |
2006 |
8 | EE | Colin J. Fidge,
Tim McComb:
Tracing secure information flow through mode changes.
ACSC 2006: 303-310 |
7 | EE | Tim McComb,
Graeme Smith:
Compositional Class Refinement in Object-Z.
FM 2006: 205-220 |
6 | EE | Tim McComb,
Luke Wildman:
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.
ICFEM 2006: 621-638 |
5 | EE | Jörn Guy Süß,
Tim McComb,
Soon-Kyeong Kim,
Luke Wildman,
Geoffrey Watson:
MDA-Based Re-engineering with Object-Z.
MoDELS 2006: 291-305 |
2005 |
4 | EE | Tim McComb,
Luke Wildman:
SIFA: A Tool for Evaluation of High-Grade Security Devices.
ACISP 2005: 230-241 |
2004 |
3 | EE | Tim McComb,
Graeme Smith:
Architectural Design in Object-Z.
Australian Software Engineering Conference 2004: 77-86 |
2 | EE | Tim McComb:
Refactoring Object-Z Specifications.
FASE 2004: 69-83 |
2003 |
1 | EE | Tim McComb,
Graeme Smith:
Animation of Object-Z Specifications Using a Z Animator.
SEFM 2003: 191- |