| 2008 |
|---|
| 12 | EE | Neil Walkinshaw,
Kirill Bogdanov:
Inferring Finite-State Models with Temporal Constraints.
ASE 2008: 248-257 |
| 11 | EE | Neil Walkinshaw,
Kirill Bogdanov,
Ken Johnson:
Evaluation and Comparison of Inferred Regular Grammars.
ICGI 2008: 252-265 |
| 10 | EE | Mariam Kiran,
Simon Coakley,
Neil Walkinshaw,
Phil McMinn,
Mike Holcombe:
Validation and discovery from computational biology models.
Biosystems 93(1-2): 141-150 (2008) |
| 9 | EE | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe,
Sarah Salahuddin:
Improving dynamic software analysis by applying grammar inference principles.
Journal of Software Maintenance 20(4): 269-290 (2008) |
| 8 | EE | Neil Walkinshaw,
Kirill Bogdanov,
Shaukat Ali,
Mike Holcombe:
Automated discovery of state transitions and their functions in source code.
Softw. Test., Verif. Reliab. 18(2): 99-121 (2008) |
| 2007 |
|---|
| 7 | EE | Neil Walkinshaw,
Marc Roper,
Murray Wood:
Feature Location and Extraction using Landmarks and Barriers.
ICSM 2007: 54-63 |
| 6 | EE | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe,
Sarah Salahuddin:
Reverse Engineering State Machines by Interactive Grammar Inference.
WCRE 2007: 209-218 |
| 5 | EE | Francesco Bernardini,
Marian Gheorghe,
Francisco José Romero-Campero,
Neil Walkinshaw:
A Hybrid Approach to Modeling Biological Systems.
Workshop on Membrane Computing 2007: 138-159 |
| 2006 |
|---|
| 4 | EE | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe:
Identifying State Transitions and their Functions in Source Code.
TAIC PART 2006: 49-58 |
| 2005 |
|---|
| 3 | EE | Douglas Kirk,
Marc Roper,
Neil Walkinshaw:
Using Attribute Slicing to Refactor Large Classes.
Beyond Program Slicing 2005 |
| 2 | EE | Neil Walkinshaw,
Marc Roper,
Murray Wood:
Understanding Object-Oriented Source Code from the Behavioural Perspective.
IWPC 2005: 215-224 |
| 2003 |
|---|
| 1 | EE | Neil Walkinshaw,
Marc Roper,
Murray Wood:
The Java System Dependence Graph.
SCAM 2003: 55-64 |
