Luke Wildman

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 1

Top Topics

Alternating Time Temporal Logic

Action Sequences

Top Venues

Publications

Luke Wildman
Probabilistic Model Checking of Handball Action Sequences. PRDC (2023)
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)
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)
Tim McComb, Luke Wildman
A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. ICECCS (2007)
Brad Long, Paul A. Strooper, Luke Wildman
A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurr. Comput. Pract. Exp. 19 (3) (2007)
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)
Paul A. Strooper, Luke Wildman
Testing Concurrent Java Components. ICSE Companion (2007)
Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
MDA-Based Re-engineering with Object-Z. MoDELS (2006)
Paul A. Strooper, Luke Wildman
Testing concurrent java components. ICSE (2006)
Tim McComb, Luke Wildman
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. ICFEM (2006)
Andrew Rae, Colin J. Fidge, Luke Wildman
Fault Evaluation for Security-Critical Communications Devices. Computer 39 (5) (2006)
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)
Luke Wildman, Brad Long, Paul A. Strooper
Dealing with Non-Determinism in Testing Concurrent Java Components. APSEC (2005)
Tim McComb, Luke Wildman
SIFA: A Tool for Evaluation of High-Grade Security Devices. ACISP (2005)
Graeme Smith, Luke Wildman
Model Checking Z Specifications Using SAL. ZB (2005)
Luke Wildman, Brad Long, Paul A. Strooper
Testing Java Interrupts and Timed Waits. APSEC (2004)
Luke Wildman, Roger Duke, Paul A. Strooper
Viewpoint-Based Testing of Concurrent Components. IFM (2004)
Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. IPDPS (2004)
Luke Wildman, Colin J. Fidge, David A. Carrington
The Variety of Variables in Automated Real-Time Refinement. Formal Aspects Comput. 15 (2-3) (2003)
Roger Duke, Luke Wildman, Brad Long
Modelling Java Concurrency with Object-Z. SEFM (2003)
Luke Wildman, Colin J. Fidge
The variety of variables in computer-aided real-time programming. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Luke Wildman
A Formal Basis for a Program Compilation Proof Tool. FME (2002)
Luke Wildman, Colin J. Fidge, David A. Carrington
Computer-aided development of a real-time program. Softw. Concepts Tools 19 (4) (2000)
Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman
The Cogito Development System. AMAST (1997)
Ian J. Hayes, Luke Wildman
Towards Libraries for Z. Z User Workshop (1992)