Luke Wildman
According to our database1,
Luke Wildman
authored at least 25 papers
between 1992 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
1
1
1
2
3
2
4
3
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023
2008
Proceedings of the Model Driven Architecture, 2008
Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica.
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.
Concurr. Comput. Pract. Exp., 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
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.
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007
2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
2005
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.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
Proceedings of the Information Security and Privacy, 10th Australasian Conference, 2005
2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2003
Formal Aspects Comput., 2003
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
2002
Proceedings of the BCS FACS Refinement Workshop 2002, 2002
Proceedings of the FME 2002: Formal Methods, 2002
2000
1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
1992
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992