| 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- |
