Search the dblp DataBase

Publications of Author

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