Concepedia

Luke Wildman

LW

Statistics

Publications

5

Citations

110

H-Index

5

Active since

2003

Affiliations

The University of Queensland(Current)

Queensland University of Technology

Luke Wildman is an author at The University of Queensland specializing in computer science, computing, and formal methods.

Publications per year

2003–2007

5

Publications

5

A method for verifying concurrent Java components based on an analysis of concurrency failures

Brad Long, Paul Strooper, Luke Wildman · Concurrency and Computation Practice and Experience · 2006 · 34 citations

Computing, Computer Engineering, Computer Science +17

Mutation-based exploration of a method for verifying concurrent java components

Brad Long, Roger Duke, Doug Goldson et al. · 2004 · 25 citations

Computing, Computer Engineering, Computer Science +15

A UML approach to the generation of test sequences for Java-based concurrent systems

S.-K. Kim, Luke Wildman, Roger Duke · 2005 · 22 citations

Computing, Computer Engineering, Computer Science +15

A taxonomy of attacks on secure devices

Andrew Rae, Luke Wildman · White Rose Research Online (University of Leeds, The University of Sheffield, University of York) · 2003 · 18 citations · Full text

Computing, Computer Science, Cybersecurity +15

Testing Concurrent Java Components

Paul Strooper, Luke Wildman · 2007 · 11 citations

Computing, Computer Engineering, Computer Science +12

1–5 of 5