Refinement of Safety-Related Hazards into Verifiable Code Assertions. - Ken Wong; Jeff Joyce (SAFECOMP, 1998)

Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study. - Naghmeh Ghafari; Ramana Kumar; Jeff Joyce; Bernd Dehning; Christos Zamantzas (FMICS, 2011)

Eliminative Argumentation for Arguing System Safety - A Practitioner's Experience. - Simon Diemert; Jeff Joyce (SysCon, 2020)

Assurance Case Development as Data: A Manifesto. - Claudio Menghi; Torin Viger; Alessio Di Sandro; Chris Rees; Jeff Joyce; Marsha Chechik (ICSE (NIER), 2023)

AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases. - Torin Viger; Logan Murphy; Simon Diemert; Claudio Menghi; Jeff Joyce; Alessio Di Sandro; Marsha Chechik (ISSRE, 2024)