| 2025 | SAFECOMP | Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development. | Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey J. Joyce |
| 2024 | SAFECOMP | Including Defeaters in Quantitative Confidence Assessments for Assurance Cases. | Simon Diemert, Laure Millet, Jeffrey J. Joyce, Jens H. Weber |
| 2023 | SAFECOMP | Safety Integrity Levels for Artificial Intelligence. | Simon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce |
| 2023 | SAFECOMP | Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. | Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce |
| 2018 | RE | Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. | Laure Millet, Nancy A. Day, Jeffrey J. Joyce |
| 2013 | ICSE | Creating safety assurance cases for rebreather systems. | Alma L. Juarez Dominguez, Bruce G. Partridge, Jeffrey J. Joyce |
| 2008 | ICSE | Modelling feature interactions in the automotive domain. | Alma L. Juarez Dominguez, Nancy A. Day, Jeffrey J. Joyce |
| 1997 | FORTE | Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. | James H. Andrews, Nancy A. Day, Jeffrey J. Joyce |
| 1993 | DAC | Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving. | Jeffrey J. Joyce, Carl-Johan H. Seger |
| 1991 | CAV | A Two-Level Formal Verification Methodology using HOL and COSMOS. | Carl-Johan H. Seger, Jeffrey J. Joyce |