| Model checking Z specifications using SAL G Smith, L Wildman International Conference of B and Z Users, 85-103, 2005 | 66 | 2005 |
| A taxonomy of attacks on secure devices A Rae, L Wildman Proceedings of the Australia Information Warfare and Security Conference …, 2003 | 42 | 2003 |
| A method for verifying concurrent Java components based on an analysis of concurrency failures B Long, P Strooper, L Wildman Concurrency and Computation: Practice and Experience 19 (3), 281-294, 2007 | 40 | 2007 |
| Towards libraries for Z I Hayes, L Wildman Z User Workshop, London 1992, 37-51, 1993 | 31 | 1993 |
| Mutation-based exploration of a method for verifying concurrent Java components B Long, R Duke, D Goldson, P Strooper, L Wildman 18th International Parallel and Distributed Processing Symposium, 2004 …, 2004 | 29 | 2004 |
| A UML approach to the generation of test sequences for Java-based concurrent systems SK Kim, L Wildman, R Duke 2005 Australian Software Engineering Conference, 100-109, 2005 | 28 | 2005 |
| UQ2: a multilingual document editor B Broom, J Welsh, L Wildman Fifth Australian Software Engineering Conference 1990: Proceedings, The, 289, 1990 | 25 | 1990 |
| SIFA: A tool for evaluation of high-grade security devices T McComb, L Wildman Australasian Conference on Information Security and Privacy, 230-241, 2005 | 15 | 2005 |
| Model-based generation of interlocking controller software from control tables C Chevillat, D Carrington, P Strooper, JG Süß, L Wildman European Conference on Model Driven Architecture-Foundations and …, 2008 | 14 | 2008 |
| The Cogito development system O Traynor, D Hazel, P Kearney, A Martin, R Nickson, L Wildman Algebraic Methodology and Software Technology, 586-591, 1997 | 13 | 1997 |
| A complete formal development using Cogito N Hamilton, D Hazel, P Kearney, O Traynor, L Wildman COMPUTER SCIENCE'98, AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS, 1998 | 12 | 1998 |
| Fault evaluation for security-critical communication devices A Rae, C Fidge, L Wildman Computer 39 (5), 61-68, 2006 | 11 | 2006 |
| Towards integrated model-driven testing of scada systems using the eclipse modeling framework and modelica JG Süß, A Pop, P Fritzson, L Wildman 19th Australian Conference on Software Engineering (aswec 2008), 149-159, 2008 | 10 | 2008 |
| Testing Java interrupts and timed waits L Wildman, B Long, P Strooper 11th Asia-Pacific Software Engineering Conference, 438-447, 2004 | 10 | 2004 |
| Modelling java concurrency with object-Z R Duke, L Wildman, B Long First International Conference onSoftware Engineering and Formal Methods …, 2003 | 10 | 2003 |
| A formal basis for a program compilation proof tool L Wildman International Symposium of Formal Methods Europe, 491-510, 2002 | 10 | 2002 |
| Dealing with non-determinism in testing concurrent java components L Wildman, B Long, P Strooper 12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005 | 9 | 2005 |
| Requirements reformulation using formal specification: A case study L Wildman Proceedings of the conference on Application and theory of petri nets …, 2002 | 9 | 2002 |
| Computer-aided development of a real-time program L Wildman, C Fidge, D Carrington Software-Concepts & Tools 19 (4), 190-202, 2000 | 8 | 2000 |
| From formal specifications to Ada programs P Kearney, L Wildman | 8 | 1998 |
Ian James HayesProfessor of Software Engineering, The University of QueenslandПотвърден имейл адрес: itee.uq.edu.au
