Luke Wildman

According to our database, Luke Wildman authored at least 25 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Probabilistic Model Checking of Handball Action Sequences.

Luke Wildman

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

2008

Views in Z

Luke Wildman

PhD thesis, 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

Proceedings of the Model Driven Architecture, 2008

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

Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

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

A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware.

Tim McComb, Luke Wildman

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

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

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

Fault Evaluation for Security-Critical Communications Devices.

Andrew Rae, Colin J. Fidge, Luke Wildman

Computer, 2006

MDA-Based Re-engineering with Object-Z.

Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Testing concurrent java components.

Paul A. Strooper, Luke Wildman

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.

Tim McComb, Luke Wildman

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Model Checking Z Specifications Using SAL.

Graeme Smith, Luke Wildman

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.

Soon-Kyeong Kim, Luke Wildman, Roger Duke

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Dealing with Non-Determinism in Testing Concurrent Java Components.

Luke Wildman, Brad Long, Paul A. Strooper

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

SIFA: A Tool for Evaluation of High-Grade Security Devices.

Tim McComb, Luke Wildman

Proceedings of the Information Security and Privacy, 10th Australasian Conference, 2005

2004

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.

Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Viewpoint-Based Testing of Concurrent Components.

Luke Wildman, Roger Duke, Paul A. Strooper

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Testing Java Interrupts and Timed Waits.

Luke Wildman, Brad Long, Paul A. Strooper

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

The Variety of Variables in Automated Real-Time Refinement.

Luke Wildman, Colin J. Fidge, David A. Carrington

Formal Aspects Comput., 2003

Modelling Java Concurrency with Object-Z.

Roger Duke, Luke Wildman, Brad Long

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002

The variety of variables in computer-aided real-time programming.

Luke Wildman, Colin J. Fidge

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

A Formal Basis for a Program Compilation Proof Tool.

Luke Wildman

Proceedings of the FME 2002: Formal Methods, 2002

2000

Computer-aided development of a real-time program.

Luke Wildman, Colin J. Fidge, David A. Carrington

Softw. Concepts Tools, 2000

1997

The Cogito Development System.

Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman

Proceedings of the Algebraic Methodology and Software Technology, 1997

1992

Towards Libraries for Z.

Ian J. Hayes, Luke Wildman

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992