Browse by all authors Browse By Author ID - Wildman, Luke P.

Browse Results (24 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 99   0 Cited 0 times in Scopus0 0
Wildman, L. P. (2001) A formal basis for a program compilation proof tool Brisbane: Software Verification Research Cen. Univ of Qld 49  
Wildman, Luke (2002). A Formal Basis for a Program Compilation Proof Tool. In: L.-H. Eriksson and P. A. Lindsay, FME2002: Formal Methods - Getting IT Right. 11th International Symposium of Formal Methods Europe, Copenhagen, Denmark, (370-389). 22-24 July, 2002. doi:10.1007/3-540-45614-7_28 48 5 0
Long, Brad, Strooper, Paul and Wildman, Luke (2007) A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurrency and Computation, 19 3: 281-294. doi:10.1002/cpe.1063 105 1 4 Cited 9 times in Scopus9 0
Rae, A. J. and Wildman, L. P. (2003). A taxonomy of attacks on secure devices. In: J. Slay, Proceedings of the Fourth Australian Information Warfare and IT Security Conference. The Fourth Australian Information Warfare and IT Security Conference, Adelaide, (251-264). 20-21 November, 2003. 70  
Ngui, J., Strooper, P. A., Wildman, L. and Wojcicki, M. (2007). Comparing the cost-effectiveness of statically analysing and model checking concurrent java components for deadlocks. In: J. Grundy and J. Han, Proceedings of the 2007 Australian Software Engineering Conference (ASWEC '07). 18th Australian Conference on Software Engineeing (ASWEC '07), Melbourne, Australia, (223-232). 10-13 April 2007. doi:10.1109/ASWEC.2007.16 80   0 Cited 2 times in Scopus2 0
Wildman, Luke P., Fidge, Colin J. and Carrington, David A. (2000) Computer-aided development of a real-time program. Software Concepts and Tools, 19 4: 190-202. doi:10.1007/s003780000006 53   0
Wildman, Luke, Fidge, Colin and Carrington, David (2000) Computer-aided development of a real-time program. SVRC Technical Report 99-27, Software Verification Research Centre, School of Information Technology, The University of Queensland. 14 1
Wildman, Luke, Long, Brad and Strooper, Paul (2005). Dealing with non-determinism in testing concurrent java components. In: J. Lee, W.C. Chu and P. Jalote, Proceedings: Asia-Pacific Software Engineering Conference. 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, (393-400). 15-17 December 2005. doi:10.1109/APSEC.2005.58 76   0 Cited 3 times in Scopus3 0
Rae, A., Fidge, C. and Wildman, L. (2006) Fault evaluation for security-critical communications devices. Computer, 39 5: 61-68. doi:10.1109/MC.2006.161 48   3 Cited 5 times in Scopus5 0
Kearney, P. F. and Wildman, L. P. (1999). From formal specifications to Ada Programs. In: J. Edwards, Australian Computer Science Communications: 22nd Australasian Computer Science Conference (ACSC'99). ACSC'99, Auckland, NZ, (193-204). 18 - 21 Jan, 1999. 22  
Süß, Jörn Guy, McComb, Tim, Kim, Soon-Kyeong, Wildman, Luke and Watson, Geoffrey (2006). MDA-based re-engineering with Object-Z. In O. Nierstrasz, J. Whittle, D. Harel and G. Reggio (Ed.), Model Driven Engineering Languages and Systems 1 ed. (pp. 291-305) Berlin: Springer. doi:10.1007/11880240_21 62   2 0
Chevillat, Cedric, Carrington, David, Strooper, Paul, Süß, Jörn Guy and Wildman, Luke (2008). Model-based generation of interlocking controller software from control tables. In: Ina Schieferdecker and Alan Hartman, Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings. 4th European Conference on Model Driven Architecture - Foundation and applications, ECMDA-FA 2008, Berlin, Germany, (349-360). 9-13 June 2007. doi:10.1007/978-3-540-69100-6_24 135   1 Cited 1 times in Scopus1 0
Smith, Graeme and Wildman, Luke (2005). Model checking Z specifications using SAL. In: H. Treharne, S. King, M. Henson and S. Schneider, ZB 2005: Formal Specification and Development in Z and B. 4th Informational Conference of B and Z Users, Guildford, UK, (85-103). 13-15 April 2005. doi:10.1007/11415787_6 93 1 14 Cited 15 times in Scopus15 0
Long, B. J., Duke, R. W., Goldson, D. W., Strooper, P. A. and Wildman, L. P. (2004). Mutation-based exploration of a method for verifying concurrent Java components. In: B. Monien, Proceedings of the Eighteenth International Parallel and Distributed Processing Symposium (IPDPS 2004). The Eighteenth International Parallel and Distributed Processing Symposium (IPDPS 2004), Santa Fe, New Mexico, (265-1-265-8). 26-30 April 2004. doi:10.1109/IPDPS.2004.1303338 64   0
Wildman, L. P. (2002). Requirements reformulation using formal specification: A case study. In: C. Lakos, R. Esser, L.M. Kristensen and J. Billington, Formal Methods in Software Engineering and Defence Systems 2002 - Proceedings of the Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems. 23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, (75-83). 24-28 June, 2002. 67  
Wildman, Luke (2002) Requirements Reformulation Using Formal Specification: A Case Study. Technical Report 02-16, Software Verification Research Centre, School of Information Technology, The University of Queensland. 448 670
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 64   6 Cited 8 times in Scopus8 0
Wildman, L. P., Long, B. J. and Strooper, P. A. (2004). Testing java interrupts and timed waits. In: D. Bae and W. Chu, Proceedings of the Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004). The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, (438-447). 30 November-3 December 2004. doi:10.1109/APSEC.2004.97 52   1 Cited 5 times in Scopus5 0
Johnston, Wendy and Wildman, Luke (1999) The sum reference manual. SVRC Technical Report 99-21, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 21 1
Wildman, L., Fidge, C. and Carrington, D. (2002) The Variety of Variables in Automated Real-Time Refinement. Technical Report 02-38, Software Verification Research Centre, School of Information Technology, The University of Queensland. 327 583
Wildman, Luke P., Fidge, Colin J. and Carrington, David A. (2003) The variety of variables in automated real-time refinement. Formal Aspects of Computing, 15 2-3: 258-279. doi:10.1007/s00165-003-0009-2 48   Cited 2 times in Scopus2 0
Wildman, L. P. and Fidge, C. J. (2001) The variety of variables in computer-aided real-time programming Brisbane: Software Verification Research Cen. Univ of Qld 43  
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 50   3 Cited 2 times in Scopus2 0