| 1997 |
|---|
| 7 | EE | E. J. Younger,
Keith H. Bennett,
Z. Luo:
A Formal Transformation and Refinement Method for Concurrent Programs.
ICSM 1997: 287- |
| 1996 |
|---|
| 6 | EE | E. J. Younger,
Z. Luo,
Keith H. Bennett,
T. M. Bull:
Reverse Engineering Concurrent Programs using Formal Modelling and Analysis.
ICSM 1996: 255-264 |
| 5 | EE | E. J. Younger,
Z. Luo,
Keith H. Bennett,
T. M. Bull:
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis.
WCRE 1996: 239-248 |
| 4 | EE | Cornelia Boldyreff,
Elizabeth Burd,
R. M. Hather,
Malcolm Munro,
E. J. Younger:
Greater Understanding Through Maintainer Driven Traceability.
WPC 1996: 100- |
| 1995 |
|---|
| 3 | EE | Cornelia Boldyreff,
Elizabeth Burd,
R. M. Hather,
Richard E. Mortimer,
Malcolm Munro,
E. J. Younger:
The AMES approach to application understanding: a case study.
ICSM 1995: 182-191 |
| 2 | EE | T. M. Bull,
E. J. Younger,
Keith H. Bennett,
Z. Luo:
Bylands: reverse engineering safety-critical systems.
ICSM 1995: 358-366 |
| 1993 |
|---|
| 1 | | E. J. Younger,
Keith H. Bennett,
R. Hartley-Davies:
A Model for a Broadband Cellular Wireless Network for Digital Communications.
Computer Networks and ISDN Systems 26(4): 391-402 (1993) |
