Luke Wildman

28 papers A* 1A 2B 3C 4Misc 1Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Action Sequence Modelling for Tactical Training in Handball.
SN Comput. Sci.
Luke Wildman, Roland Nemes, Zhe Hou
2025 — conf
Action Sequence Modeling for Tactical Training in Handball.
ISACE
Luke Wildman, Roland Nemes, Zhe Hou
2023 C conf
Probabilistic Model Checking of Handball Action Sequences.
PRDC
Luke Wildman
2008 — conf
Model-Based Generation of Interlocking Controller Software from Control Tables.
ECMDA-FA
Cédric Chevillat, David A. Carrington, Paul A. Strooper, Jörn Guy Süß, Luke Wildman
2008 — conf
Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica.
Australian Software Engineering Conference
Jörn Guy Süß, Adrian Pop, Peter Fritzson, Luke Wildman
2008 — —
Views in Z
Luke Wildman
2007 B conf
A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware.
ICECCS
Tim McComb, Luke Wildman
2007 J jnl
A method for verifying concurrent Java components based on an analysis of concurrency failures.
Concurr. Comput. Pract. Exp.
Brad Long, Paul A. Strooper, Luke Wildman
2007 — conf
Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.
ASWEC
John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki
2007 — conf
Testing Concurrent Java Components.
ICSE Companion
Paul A. Strooper, Luke Wildman
2006 J jnl
Fault Evaluation for Security-Critical Communications Devices.
Computer
Andrew Rae, Colin J. Fidge, Luke Wildman
2006 A conf
MDA-Based Re-engineering with Object-Z.
MoDELS
Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
2006 A* conf
Testing concurrent java components.
ICSE
Paul A. Strooper, Luke Wildman
2006 C conf
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.
ICFEM
Tim McComb, Luke Wildman
2005 — conf
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.
Australian Software Engineering Conference
Soon-Kyeong Kim, Luke Wildman, Roger Duke
2005 C conf
Dealing with Non-Determinism in Testing Concurrent Java Components.
APSEC
Luke Wildman, Brad Long, Paul A. Strooper
2005 — conf
Model Checking Z Specifications Using SAL.
ZB
Graeme Smith, Luke Wildman
2005 Misc conf
SIFA: A Tool for Evaluation of High-Grade Security Devices.
ACISP
Tim McComb, Luke Wildman
2004 A conf
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.
IPDPS
Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman
2004 C conf
Testing Java Interrupts and Timed Waits.
APSEC
Luke Wildman, Brad Long, Paul A. Strooper
2004 B conf
Viewpoint-Based Testing of Concurrent Components.
IFM
Luke Wildman, Roger Duke, Paul A. Strooper
2003 B conf
Modelling Java Concurrency with Object-Z.
SEFM
Roger Duke, Luke Wildman, Brad Long
2003 J jnl
The Variety of Variables in Automated Real-Time Refinement.
Formal Aspects Comput.
Luke Wildman, Colin J. Fidge, David A. Carrington
2002 — conf
A Formal Basis for a Program Compilation Proof Tool.
FME
Luke Wildman
2002 — conf
The variety of variables in computer-aided real-time programming.
Refine
Luke Wildman, Colin J. Fidge
2000 J jnl
Computer-aided development of a real-time program.
Softw. Concepts Tools
Luke Wildman, Colin J. Fidge, David A. Carrington
1997 — conf
The Cogito Development System.
AMAST
Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman
1992 — conf
Towards Libraries for Z.
Z User Workshop
Ian J. Hayes, Luke Wildman