The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luke Wildman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002