Tim McComb
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2003–2008
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | FM | Introducing Objects through Refinement. | Tim McComb, Graeme Smith |
| 2007 | ICECCS | A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. | Tim McComb, Luke Wildman |
| 2006 | FM | Compositional Class Refinement in Object-Z. | Tim McComb, Graeme Smith |
| 2006 | ICFEM | Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. | Tim McComb, Luke Wildman |
| 2006 | MODELS | MDA-Based Re-engineering with Object-Z. | Jrn Guy S, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson |
| 2005 | ACISP | SIFA: A Tool for Evaluation of High-Grade Security Devices. | Tim McComb, Luke Wildman |
| 2004 | FASE | Refactoring Object-Z Specifications. | Tim McComb |
| 2003 | SEFM | Animation of Object-Z Specifications Using a Z Animator. | Tim McComb, Graeme Smith |