| 2008 |
|---|
| 24 | EE | Jörn Guy Süß,
Adrian Pop,
Peter Fritzson,
Luke Wildman:
Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica.
Australian Software Engineering Conference 2008: 149-159 |
| 23 | EE | Cédric Chevillat,
David A. Carrington,
Paul A. Strooper,
Jörn Guy Süß,
Luke Wildman:
Model-Based Generation of Interlocking Controller Software from Control Tables.
ECMDA-FA 2008: 349-360 |
| 2007 |
|---|
| 22 | EE | John Ngui,
Paul A. Strooper,
Luke Wildman,
Margaret A. Wojcicki:
Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.
ASWEC 2007: 223-232 |
| 21 | EE | Tim McComb,
Luke Wildman:
A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware.
ICECCS 2007: 117-128 |
| 20 | EE | Paul A. Strooper,
Luke Wildman:
Testing Concurrent Java Components.
ICSE Companion 2007: 161-162 |
| 19 | EE | Brad Long,
Paul A. Strooper,
Luke Wildman:
A method for verifying concurrent Java components based on an analysis of concurrency failures.
Concurrency and Computation: Practice and Experience 19(3): 281-294 (2007) |
| 2006 |
|---|
| 18 | EE | Tim McComb,
Luke Wildman:
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.
ICFEM 2006: 621-638 |
| 17 | EE | Paul A. Strooper,
Luke Wildman:
Testing concurrent java components.
ICSE 2006: 1075-1076 |
| 16 | EE | Jörn Guy Süß,
Tim McComb,
Soon-Kyeong Kim,
Luke Wildman,
Geoffrey Watson:
MDA-Based Re-engineering with Object-Z.
MoDELS 2006: 291-305 |
| 15 | EE | Andrew Rae,
Colin J. Fidge,
Luke Wildman:
Fault Evaluation for Security-Critical Communications Devices.
IEEE Computer 39(5): 61-68 (2006) |
| 2005 |
|---|
| 14 | EE | Tim McComb,
Luke Wildman:
SIFA: A Tool for Evaluation of High-Grade Security Devices.
ACISP 2005: 230-241 |
| 13 | EE | Luke Wildman,
Brad Long,
Paul A. Strooper:
Dealing with Non-Determinism in Testing Concurrent Java Components.
APSEC 2005: 393-400 |
| 12 | EE | Soon-Kyeong Kim,
Luke Wildman,
Roger Duke:
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.
Australian Software Engineering Conference 2005: 100-109 |
| 11 | EE | Graeme Smith,
Luke Wildman:
Model Checking Z Specifications Using SAL.
ZB 2005: 85-103 |
| 2004 |
|---|
| 10 | EE | Luke Wildman,
Brad Long,
Paul A. Strooper:
Testing Java Interrupts and Timed Waits.
APSEC 2004: 438-447 |
| 9 | EE | Luke Wildman,
Roger Duke,
Paul A. Strooper:
Viewpoint-Based Testing of Concurrent Components.
IFM 2004: 501-520 |
| 8 | EE | Brad Long,
Roger Duke,
Doug Goldson,
Paul A. Strooper,
Luke Wildman:
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.
IPDPS 2004 |
| 2003 |
|---|
| 7 | EE | Roger Duke,
Luke Wildman,
Brad Long:
Modelling Java Concurrency with Object-Z.
SEFM 2003: 173-181 |
| 6 | EE | Luke Wildman,
Colin J. Fidge,
David A. Carrington:
The Variety of Variables in Automated Real-Time Refinement.
Formal Asp. Comput. 15(2-3): 258-279 (2003) |
| 2002 |
|---|
| 5 | EE | Luke Wildman:
A Formal Basis for a Program Compilation Proof Tool.
FME 2002: 491-510 |
| 4 | EE | Luke Wildman,
Colin J. Fidge:
The variety of variables in computer-aided real-time programming.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2000 |
|---|
| 3 | EE | Luke Wildman,
Colin J. Fidge,
David A. Carrington:
Computer-aided development of a real-time program.
Software - Concepts and Tools 19(4): 190-202 (2000) |
| 1997 |
|---|
| 2 | | Owen Traynor,
Daniel Hazel,
Peter Kearney,
Andrew Martin,
Ray Nickson,
Luke Wildman:
The Cogito Development System.
AMAST 1997: 586-591 |
| 1992 |
|---|
| 1 | | Ian J. Hayes,
Luke Wildman:
Towards Libraries for Z.
Z User Workshop 1992: 37-51 |
