| Model checking Z specifications using SAL G Smith, L Wildman ZB 2005: Formal Specification and Development in Z and B: 4th International …, 2005 | 72 | 2005 |
| A taxonomy of attacks on secure devices A Rae, L Wildman Australia Information Warfare and Security Conference., 251-264, 2003 | 44 | 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 | 42 | 2007 |
| Towards libraries for Z I Hayes, L Wildman Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User …, 1993 | 35 | 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 | 30 | 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 | 27 | 2005 |
| UQ2: a multilingual document editor B Broom, J Welsh, L Wildman Fifth Australian Software Engineering Conference 1990: Proceedings, 289-294, 1990 | 26 | 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 | 16 | 2005 |
| Model-based generation of interlocking controller software from control tables C Chevillat, D Carrington, P Strooper, JG Süß, L Wildman Model Driven Architecture–Foundations and Applications: 4th European …, 2008 | 14 | 2008 |
| A complete formal development using Cogito N Hamilton, D Hazel, P Kearney, O Traynor, L Wildman Proceedings of the 21st Australasian Computer Science Conference, Acsc'98 20 …, 1998 | 14 | 1998 |
| 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 | 13 | 2008 |
| Modelling java concurrency with object-z R Duke, L Wildman, B Long First International Conference onSoftware Engineering and Formal Methods …, 2003 | 13 | 2003 |
| 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 |
| Fault evaluation for security-critical communication devices A Rae, C Fidge, L Wildman Computer 39 (5), 61-68, 2006 | 12 | 2006 |
| Testing Java interrupts and timed waits L Wildman, B Long, P Strooper 11th Asia-Pacific Software Engineering Conference, 438-447, 2004 | 11 | 2004 |
| Requirements reformulation using formal specification: A case study L VVildman | 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 |
| Computer-aided development of a real-time program L Wildman, C Fidge, D Carrington Software-Concepts & Tools 19, 190-202, 2000 | 9 | 2000 |
| A formal basis for a program compilation proof tool L Wildman International Symposium of Formal Methods Europe, 491-510, 2002 | 8 | 2002 |
| From formal specifications to Ada programs P Kearney, L Wildman | 8 | 1998 |
Brad LongTechnology One Ltd and The University of QueenslandAdresse e-mail validée de longbrothers.net
