| 2017 | QRS | Theoretical Feasibility of Statistical Assurance of Programmable Systems Based on Simulation Tests. | Luping Chen, John H. R. May |
| 2007 | ICSoft | New Design Techniques for Enhancing Fault Tolerant Cots Software Wrappers . | Luping Chen, John H. R. May |
| 2004 | GI | Methods for Enhancing Safety Wrapper Design. | Luping Chen, John H. R. May |
| 2004 | ISSRE | Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. | Silke Kuball, John H. R. May |
| 2002 | SAFECOMP | Assessment of the Benefit of Redundant Systems. | Luping Chen, John H. R. May, Gordon Hughes |
| 2001 | ISSRE | Estimation of Software Diversity by Fault Simulation and Failure Searching. | Luping Chen, John H. R. May, Gordon Hughes |
| 2001 | SAFECOMP | The Effectiveness of Statistical Testing when Applied to Logic Systems. | Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter |
| 2000 | SAFECOMP | A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software. | Luping Chen, John H. R. May, Gordon Hughes |
| 2000 | SAFECOMP | Empirical Assessment of Software On-Line Diagnostics Using Fault Injection. | John Napier, John H. R. May, Gordon Hughes |
| 1999 | ISSRE | Building a system failure rate estimator by identifying component failure rates. | Silke Kuball, John H. R. May, Gordon Hughes |
| 1999 | SAFECOMP | Structural Software Reliability Estimation. | Silke Kuball, John H. R. May, Gordon Hughes |
| 1994 | EDCC | Injecting Faults into Environment Simulators for Testing Safety Critical Software. | Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram |
| 1994 | SEKE | Knowledge engineering helps testing protection software. | Hong Zhu, Patrick A. V. Hall, John H. R. May |