| 2023 | PRDC | Probabilistic Model Checking of Handball Action Sequences. | Luke Wildman |
| 2007 | ICECCS | A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. | Tim McComb, Luke Wildman |
| 2007 | ICSE | Testing Concurrent Java Components. | Paul A. Strooper, Luke Wildman |
| 2006 | ICFEM | Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. | Tim McComb, Luke Wildman |
| 2006 | ICSE | Testing concurrent java components. | Paul A. Strooper, Luke Wildman |
| 2006 | MODELS | MDA-Based Re-engineering with Object-Z. | Jrn Guy S, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson |
| 2005 | ACISP | SIFA: A Tool for Evaluation of High-Grade Security Devices. | Tim McComb, Luke Wildman |
| 2005 | APSEC | Dealing with Non-Determinism in Testing Concurrent Java Components. | Luke Wildman, Brad Long, Paul A. Strooper |
| 2004 | APSEC | Testing Java Interrupts and Timed Waits. | Luke Wildman, Brad Long, Paul A. Strooper |
| 2004 | IFM | Viewpoint-Based Testing of Concurrent Components. | Luke Wildman, Roger Duke, Paul A. Strooper |
| 2003 | SEFM | Modelling Java Concurrency with Object-Z. | Roger Duke, Luke Wildman, Brad Long |
| 2002 | FM | A Formal Basis for a Program Compilation Proof Tool. | Luke Wildman |