Invited Papers
Luke Wildman and Colin Fidge The Variety of Variables in Computer Aided Real-Time programming ENTCS
Journals
Brad Long, Paul Strooper, and Luke Wildman,
"A method for verifying concurrent Java components based on an analysis
of concurrency failures", Concurrency and Computation: Practice and
Experience, 19(3), John Wiley and Sons Ltd., Chichester, UK, pp. 281 -
294, 2007.
A. J. Rae, C. J. Fidge, and L. P. Wildman. Fault evaluation for security-critical communications devices. IEEE Computer, 39(5):61-68, May 2006.
Luke Wildman, Colin Fidge and David Carrington. The Variety of Variables in Automated Real-Time Refinement, Formal Aspects of Computing, 2003.
Luke Wildman, Colin Fidge and David Carrington. Computer-Aided Development of a Real-Time Program, Software---Concepts & Tools, 2000, Vol. 19, No.4 pp 190-202, Springer.
Conferences
Tim McComb and Luke Wildman. A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. In Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 07) 2007, To appear.
J. Ngui, P. Strooper, L. Wildman and M. Wojcicki. Comparing the Cost-effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. Proceedings of the 2007 Australian Software Engineering Conference. 223-232.
Tim McComb and Luke Wildman. Verifying abstract information flow properties in fault tolerant security devices. In Eighth International Conference on Formal Engineering Methods (ICFEM 2006), volume 4260 of LNCS, pages 621--638. Springer, 2006.
Jörn Guy SüB, Timothy McComb, Soon-Kyeong Kim, Luke Wildman, and Geoffrey Watson, MDA-based Re-Engineering with Object-Z, In MoDELS/UML 2006, Italy, LNCS, pp 291-305, Springer 2006.
Tim McComb and Luke Wildman, A tool for evaluation of high-grade security devices. ACISP 2005, 10th Australasian Conference on Information Security and Privacy, 2005.
Luke Wildman, Brad Long, Paul Strooper, "Dealing with Non-Determinism in Testing Concurrent Java Components", APSEC, 2005.
Luke Wildman, Brad Long and Paul Strooper, "Testing Java Interrupts and Timed Waits", APSEC 2004.
L.Wildman, R. Duke, and P.Strooper.
Viewpoint-based
Testing of Concurrent Components.
In Eeke Boiten, John Derrick and Graeme Smith, eds, Proceedings of
the International Conference on Integrated Formal Methods. IFM
2004. LNCS 2999, 2004.
B. Long, R.Duke, D. Goldson, P. Strooper, and L. Wildman. Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. In Eitan Farchi and Shmuel Ur, eds, Parallel and Distributed Systems: Testing and Debugging (PADTAD- 2 Workshop), 2004.
Roger Duke, Luke Wildman, and Brad Long, Modelling Java Concurrency with Object-Z, in SEFM, 2003, ITEE.
A. J. Rae and L. P. Wildman. A taxonomy of attacks on secure devices. In J. Slay, editor, Proceedings of the Fourth Australian Information Warfare and IT Security Conference, pages 251--263, November 2003.
L.Wildman. A formal basis for a program compilation proof tool. In L.-H. Eriksson and P. Lindsay, Eds, Formal Methods Europe 2002, LNCS 2391 Springer-Verlag, 2002.
L.Wildman. Requirements
Reformulation Using Formal Specification: A Case Study.
In C. Lakos, R. Esser, L.M. Bristensen and J. Billington, eds, Proceedings
of the Workshop on the use of Formal Methods in Defence Systems,Conferences
in Research and Practice in Information Technology, pages 75-83, ACS,
2002
Peter Kearney and Luke Wildman. From Formal Specifications to Ada Programs, Proceedings of the 22nd Australasian Computer Science Conference ACSC'99 in Australian Computer Science Communications, 1999.
Luke Wildman and Ian Hayes. Supporting Contexts in the Sequential Real-Time Refinement Calculus. In International Refinement Workshop and Formal Methods Pacific 1998, 1998.
Nicholas Hamilton, Dan Hazel, Peter Kearney, Owen Traynor and Luke Wildman. A Complete Formal Development using Cogito. In Computer Science '98: Proceedings of the 21st Australasian Computer Science Conference, 1998.
O. Traynor, D. Hazel, P. Kearney, A. Martin, R. Nickson and L. Wildman. The Cogito development system. In Algebraic Methodology and Software Technology (AMAST), 1997.
Luke Wildman, Naming in Z
libraries,
in 1st IEEEá YUFORIC Workshop on
Formal Methods for Dependable Systems (FMDS'98)
Luke Wildman and Ian Hayes, Composing
Grammar Transformations to constructs a specification of a parser, in Proceedings
of ACSCÆ95.
Ian Hayes and Luke Wildman , Towards libraries for Z, , in Proceedings
of ZUM92, Springer-Verlag (Workshop in Computing), 1992.
B.Broom, J. Welsh, L. Wildman B.Broom, J. Welsh, L. Wildman , UQ2: a multilingual document editor, in Proceedings of ASWEC90, 1990.
B. Broom, J, Welsh, L. Wildman, A literate rigourous program case-studyö, in Proceedings of ASWEC90, 1990.
Workshops
Luke Wildman A Formal basis for a program compilation proof tool In Australian Refinement workshop , 2002.
Technical Reports
Luke Wildman and Colin Fidge The Variety of Variables in Computer Aided Real-Time programming Technical report 00-7, Software Verification Research Centre, 1999.
Luke Wildman, Colin Fidge and David Carrington, Computer-Aided Development of a Real-Time Program, Technical report 99-27, Software Verification Research Centre, 2000.
Wendy Johnston and Luke Wildman, The Sum Reference Manual, Technical report 99-21, Software Verification Research Centre, 1999.
Luke Wildman and Axel Wabenhorst, Program Refinement Tool, Release 1.03c, Technical Manual, Technical report 98-17, Software Verification Research Centre, 1998.
Peter Kearney and Luke Wildman, From Formal Specifications to Ada Programs, Technical report 98-24, Software Verification Research Centre, 1998.
Luke Wildman and Ian Hayes, Supporting Contexts in the Sequential Real-Time Refinement Calculus, Technical report 98-29, Software Verification Research Centre, 1998.
Nicholas Hamilton, Dan Hazel, Peter Kearney, Owen Traynor and Luke Wildman, A Complete Formal Development using Cogito, Technical report 97-46, Software Verification Research Centre, 1997.
Luke Wildman and Ian Hayes, Composing grammar transformations
to
construct a specification of a parser, Technical report
95-03, Software Verification Research Centre, 1995.
A. Allum, L. Wildman, I. Hayes, J. Welsh, UQ2 formal
specification,
UQCSTR91-38.
L. Wildman and I. Hayes, A formal specification of X.500: Abstract Directory Service Definition, UQCSTR90-183.