Browse by all authors Browse By Author ID - McComb, Timothy J.

Browse Results (9 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
McComb, T. and Wildman, L. (2007). A combined approach for information flow analysis in fault tolerant hardware. In: J. S. Dong and J. Sun, Engineering Complex Computer Systems 2007. 12th IEEE International Conference on Engineering Complex Computer Systems 2007 (ICECCS 2007), Auckland, New Zealand, (117-128). 11-14 July 2007. doi:10.1109/ICECCS.2007.5 103   0 Cited 0 times in Scopus0 0
McComb, T. and Smith, G (2008). A Minimal Set of Refactoring Rules for Object-Z. In: Barthe, G. and de Boer, F.S., Formal Methods for Open Object-based Distributed Systems. International Symposium on Formal Methods (FM 2008), Oslo, Norway, (170-184). 4-6 June, 2008. 55   1 Cited 2 times in Scopus2
McComb, Tim, Cairncross, Oliver, Noske, Andrew B., Wood, David L. A., Marsh, Brad J. and Ragan, Mark A. (2009) Illoura: a software tool for analysis, visualization and semantic querying of cellular and other spatial biological data. Bioinformatics, 25 9: 1208-1210. doi:10.1093/bioinformatics/btp125 98   9 Cited 9 times in Scopus9 0
McComb, T. and Smith, G (2008). Introducing objects through refinement. In: Cuellar, J., Maibaum, T. and Sere, K., FM 2008: Formal Methods. International Symposium on Formal Methods (FM 2008), Turku, Finland, (358-373). 26-30 May, 2008. 54   0 Cited 0 times in Scopus0
McComb, Tim and Smith, Graeme (2006) Refactoring Object-Oriented Specifications: A Process for Deriving Designs. Technical Report SSE-2006-01, School of Information Technology and Electrical Engineering, The University of Queensland. 382 389
Smith, Greame and McComb, Tim (2008). Refactoring real-time specifications. In: J. Derrick, E. Boiten and G. Schellhorn, Proceedings of the 13th BAC-FACS Refinement Workshop (Refine 2008). International Refinement Workshop (Refine 2008), Turku, Finland, (359-380). 27 May, 2008. doi:10.1016/j.entcs.2008.06.016 41   Cited 1 times in Scopus1 0
McComb, T. J. and Wildman, L. P. (2005). SIFA: A tool for evaluation of high-grade security devices. In: C. Boyd and J. M. Gonzalez Nieto, Proceedings of the 10th Australasian Conference on Information Security and Privacy. Australasian Conference on Information Security and Privacy 2005 (ACISP 2005), Brisbane, Australia, (230-241). 4-6 July, 2005. doi:10.1007/b137750 65   6 Cited 8 times in Scopus8 0
Fidge, Colin and McComb, Tim (2006). Tracing secure information flow through mode changes. In: V. Estivill-Castro and G. Dobbie, 29th Australasian Computer Science Conference. 29th Australasian Computer Science Conference, Hobart, Tasmania, (303-310). 16-19 January, 2006. 40  
McComb, Tim and Wildman, Luke (2006). Verifying abstract information flow properties in fault tolerant security devices. In: Z. Liu and J. He, Lecture Notes in Computer Science: Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006). 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macua, PR China, (621-638). 1-3 November, 2006. doi:10.1007/11901433 51   3 Cited 2 times in Scopus2 0