| 2005 |
|---|
| 7 | EE | Rob Weaver,
Georgios Despotou,
Tim Kelly,
John McDermid:
Combining software evidence: arguments and assurance.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 2004 |
|---|
| 6 | EE | Zezhi Chen,
Nick E. Pears,
Bojian Liang,
John McDermid:
Plane Segmentation from Two Views in Reciprocal-Polar Image Space.
ICIAR (1) 2004: 638-646 |
| 5 | | Neil C. Audsley,
Iain Bate,
Steven Crook-Dawkins,
John McDermid:
Improving certification capability through automatic code generation.
IFIP Congress Topical Sessions 2004: 511-520 |
| 4 | EE | Paul Chinneck,
David Pumfrey,
John McDermid:
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation.
SCS 2004: 33-41 |
| 2003 |
|---|
| 3 | EE | Zezhi Chen,
Nick Pears,
John McDermid,
Thomas Heseltine:
Epipole Estimation under Pure Camera Translation.
DICTA 2003: 849-858 |
| 1998 |
|---|
| 2 | EE | John McDermid:
Limited access testing: IEEE 1149.4-instrumentation and methods.
ITC 1998: 388-395 |
| 1996 |
|---|
| 1 | EE | Wing Lam,
Ben Whittle,
John McDermid,
Steve Wilson:
An Integrated Approach to Domain Analysis and Reuse for Engineering Complex Systems.
ECBS 1996: 102-109 |
