2003 |
10 | EE | Silke Kuball,
Gordon Hughes:
Evidential Volume Approach for Certification.
Ada-Europe 2003: 246-257 |
9 | EE | Silke Kuball,
Gordon Hughes:
Decision-Support for Certification by Calculating the Evidential Volume of a Product.
DSN 2003: 15-24 |
2002 |
8 | EE | Luping Chen,
John H. R. May,
Gordon Hughes:
Assessment of the Benefit of Redundant Systems.
SAFECOMP 2002: 151-162 |
2001 |
7 | EE | Luping Chen,
John H. R. May,
Gordon Hughes:
Estimation of Software Diversity by Fault Simulation and Failure Searching.
ISSRE 2001: 122-131 |
6 | EE | Silke Kuball,
Gordon Hughes,
John H. R. May,
Julio Gallardo,
Andrew D. John,
Roy B. Carter:
The Effectiveness of Statistical Testing when Applied to Logic Systems.
SAFECOMP 2001: 156-165 |
5 | EE | Colin J. Burgess,
Ilesh Dattani,
Gordon Hughes,
John H. R. May,
Kearton Rees:
Using Influence Diagrams to Aid the Management of Software Change.
Requir. Eng. 6(3): 173-182 (2001) |
2000 |
4 | EE | John Napier,
John H. R. May,
Gordon Hughes:
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection.
SAFECOMP 2000: 14-26 |
3 | EE | Luping Chen,
John H. R. May,
Gordon Hughes:
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software.
SAFECOMP 2000: 63-73 |
1999 |
2 | EE | Silke Kuball,
John H. R. May,
Gordon Hughes:
Structural Software Reliability Estimation.
SAFECOMP 1999: 336-349 |
1 | EE | Gordon Hughes:
Reasonable Design.
Journal of Information, Law and Technology 1999(2): (1999) |