Dr Luke Wildman
Dr Luke Wildman
Queensland
Verifierad e-postadress på siemens.com
Titel
Citeras av
Citeras av
År
Model checking Z specifications using SAL
G Smith, L Wildman
International Conference of B and Z Users, 85-103, 2005
662005
A taxonomy of attacks on secure devices
A Rae, L Wildman
Proceedings of the Australia Information Warfare and Security Conference …, 2003
422003
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
392007
Towards libraries for Z
I Hayes, L Wildman
Z User Workshop, London 1992, 37-51, 1993
301993
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
282005
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
282004
UQ2: a multilingual document editor
B Broom, J Welsh, L Wildman
Fifth Australian Software Engineering Conference 1990: Proceedings, The, 289, 1990
251990
SIFA: A tool for evaluation of high-grade security devices
T McComb, L Wildman
Australasian Conference on Information Security and Privacy, 230-241, 2005
152005
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
142008
The Cogito development system
O Traynor, D Hazel, P Kearney, A Martin, R Nickson, L Wildman
Algebraic Methodology and Software Technology, 586-591, 1997
131997
A complete formal development using Cogito
N Hamilton, D Hazel, P Kearney, O Traynor, L Wildman
COMPUTER SCIENCE'98, AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS, 1998
121998
Fault evaluation for security-critical communication devices
A Rae, C Fidge, L Wildman
Computer 39 (5), 61-68, 2006
112006
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
102008
Testing Java interrupts and timed waits
L Wildman, B Long, P Strooper
11th Asia-Pacific Software Engineering Conference, 438-447, 2004
102004
Modelling java concurrency with object-Z
R Duke, L Wildman, B Long
First International Conference onSoftware Engineering and Formal Methods …, 2003
102003
A formal basis for a program compilation proof tool
L Wildman
International Symposium of Formal Methods Europe, 491-510, 2002
102002
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
92005
Requirements reformulation using formal specification: A case study
L Wildman
Proceedings of the conference on Application and theory of petri nets …, 2002
92002
Computer-aided development of a real-time program
L Wildman, C Fidge, D Carrington
Software-Concepts & Tools 19 (4), 190-202, 2000
82000
From formal specifications to Ada programs
P Kearney, L Wildman
81998
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20