| Refactoring object-Z specifications T McComb International Conference on Fundamental Approaches to Software Engineering …, 2004 | 29 | 2004 |
| Architectural design in Object-Z T McComb, G Smith 2004 Australian Software Engineering Conference. Proceedings., 77-86, 2004 | 25 | 2004 |
| Animation of Object-Z specifications using a Z animator T McComb, G Smith First International Conference onSoftware Engineering and Formal Methods …, 2003 | 17 | 2003 |
| A minimal set of refactoring rules for Object-Z T McComb, G Smith International Conference on Formal Methods for Open Object-Based Distributed …, 2008 | 16 | 2008 |
| SIFA: A tool for evaluation of high-grade security devices T McComb, L Wildman Australasian Conference on Information Security and Privacy, 230-241, 2005 | 16 | 2005 |
| Compositional class refinement in Object-Z T McComb, G Smith International Symposium on Formal Methods, 205-220, 2006 | 15 | 2006 |
| Illoura™: a software tool for analysis, visualization and semantic querying of cellular and other spatial biological data T McComb, O Cairncross, AB Noske, DLA Wood, BJ Marsh, MA Ragan Bioinformatics 25 (9), 1208-1210, 2009 | 12 | 2009 |
| MDA-based re-engineering with object-Z JG Süß, T McComb, SK Kim, L Wildman, G Watson Model Driven Engineering Languages and Systems: 9th International Conference …, 2006 | 6 | 2006 |
| Refactoring object-oriented specifications: A process for deriving designs T McComb, G Smith | 5 | 2006 |
| Refactoring real-time specifications G Smith, T McComb Electronic Notes in Theoretical Computer Science 214, 359-380, 2008 | 3 | 2008 |
| Introducing objects through refinement T McComb, G Smith International Symposium on Formal Methods, 358-373, 2008 | 3 | 2008 |
| Verifying abstract information flow properties in fault tolerant security devices T McComb, L Wildman Formal Methods and Software Engineering: 8th International Conference on …, 2006 | 3 | 2006 |
| A combined approach for information flow analysis in fault tolerant hardware T McComb, L Wildman 12th IEEE International Conference on Engineering Complex Computer Systems …, 2007 | 2 | 2007 |
| Tracing secure information flow through mode changes C Fidge, T McComb Proceedings of the 29th Australasian Computer Science Conference 2006, 303-310, 2006 | 2 | 2006 |
| Using Z to animate Object-Z specifications TJ McComb, GP Smith The University of Queensland, 2002 | | 2002 |
