Towards Libraries for Z. - Ian J. Hayes; Luke Wildman (Z User Workshop, 1992)

The Cogito Development System. - Owen Traynor; Daniel Hazel; Peter Kearney; Andrew P. Martin; Ray Nickson; Luke Wildman (AMAST, 1997)

Computer-aided development of a real-time program. - Luke Wildman; Colin J. Fidge; David A. Carrington (Softw. Concepts Tools, 2000)

A Formal Basis for a Program Compilation Proof Tool. - Luke Wildman (FME, 2002)

The variety of variables in computer-aided real-time programming. - Luke Wildman; Colin J. Fidge (Refine, 2002)

Modelling Java Concurrency with Object-Z. - Roger Duke; Luke Wildman; Brad Long (SEFM, 2003)

The Variety of Variables in Automated Real-Time Refinement. - Luke Wildman; Colin J. Fidge; David A. Carrington (Formal Aspects Comput., 2003)

Testing Java Interrupts and Timed Waits. - Luke Wildman; Brad Long; Paul A. Strooper (APSEC, 2004)

Viewpoint-Based Testing of Concurrent Components. - Luke Wildman; Roger Duke; Paul A. Strooper (IFM, 2004)

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. - Brad Long; Roger Duke; Doug Goldson; Paul A. Strooper; Luke Wildman (IPDPS, 2004)

SIFA: A Tool for Evaluation of High-Grade Security Devices. - Tim McComb; Luke Wildman (ACISP, 2005)

Dealing with Non-Determinism in Testing Concurrent Java Components. - Luke Wildman; Brad Long; Paul A. Strooper (APSEC, 2005)

A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. - Soon-Kyeong Kim; Luke Wildman; Roger Duke (Australian Software Engineering Conference, 2005)

Model Checking Z Specifications Using SAL. - Graeme Smith 001; Luke Wildman (ZB, 2005)

Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. - Tim McComb; Luke Wildman (ICFEM, 2006)

MDA-Based Re-engineering with Object-Z. - Jörn Guy Süß; Tim McComb; Soon-Kyeong Kim; Luke Wildman; Geoffrey Watson (MoDELS, 2006)

Fault Evaluation for Security-Critical Communications Devices. - Andrew Rae; Colin J. Fidge; Luke Wildman (Computer, 2006)

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. - John Ngui; Paul A. Strooper; Luke Wildman; Margaret A. Wojcicki (ASWEC, 2007)

A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. - Tim McComb; Luke Wildman (ICECCS, 2007)

Testing Concurrent Java Components. - Paul A. Strooper; Luke Wildman (ICSE Companion, 2007)

A method for verifying concurrent Java components based on an analysis of concurrency failures. - Brad Long; Paul A. Strooper; Luke Wildman (Concurr. Comput. Pract. Exp., 2007)

Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica. - Jörn Guy Süß; Adrian Pop; Peter Fritzson; Luke Wildman (Australian Software Engineering Conference, 2008)

Model-Based Generation of Interlocking Controller Software from Control Tables. - Cédric Chevillat; David A. Carrington; Paul A. Strooper; Jörn Guy Süß; Luke Wildman (ECMDA-FA, 2008)

Views in Z - Luke Wildman (2008)

Probabilistic Model Checking of Handball Action Sequences. - Luke Wildman (PRDC, 2023)