Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. - Jeffrey J. Joyce (Specification and Verification of Concurrent Systems, 1988)

Formal specification and verification of microprocessor systems. - Jeffrey J. Joyce (Microprocess. Microprogramming, 1988)

Totally Verified Systems: Linking Verified Software to Verified Hardware. - Jeffrey J. Joyce (Hardware Specification, Verification and Synthesis, 1989)

A Two-Level Formal Verification Methodology using HOL and COSMOS. - Carl-Johan H. Seger; Jeffrey J. Joyce (CAV, 1991)

Integration of CASE into undergraduate education. - Jeffrey J. Joyce (CASCON, 1993)

Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving. - Jeffrey J. Joyce; Carl-Johan H. Seger (DAC, 1993)

The Semantics of Statecharts in HOL. - Nancy A. Day; Jeffrey J. Joyce (HUG, 1993)

The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover. - Jeffrey J. Joyce; Carl-Johan H. Seger (HUG, 1993)

From Abstract Data Types to Shift Registers: A Case Study in Formal Specification and Verification at Differing Levels of Abstraction using Theorem Proving and Symbolic Simulation. - Sreeranga P. Rajan; Jeffrey J. Joyce; Carl-Johan H. Seger (HUG, 1993)

Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment. - Zheng Zhu; Jeffrey J. Joyce; Carl-Johan H. Seger (HUG, 1993)

S: A Machine Readable Specification Notation based on Higher Order Logic. - Jeffrey J. Joyce; Nancy A. Day; Michael R. Donat (TPHOLs, 1994)

Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. - James H. Andrews; Nancy A. Day; Jeffrey J. Joyce (FORTE, 1997)

Symbolic Functional Evaluation. - Nancy A. Day; Jeffrey J. Joyce (TPHOLs, 1999)

A Framework for Multi-Notation Requirements Specification and Analysis. - Nancy A. Day; Jeffrey J. Joyce (ICRE, 2000)

Modelling feature interactions in the automotive domain. - Alma L. Juarez Dominguez; Nancy A. Day; Jeffrey J. Joyce (MiSE, 2008)

Creating safety assurance cases for rebreather systems. - Alma L. Juarez Dominguez; Bruce G. Partridge; Jeffrey J. Joyce (ASSURE@ICSE, 2013)

Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. - Laure Millet; Nancy A. Day; Jeffrey J. Joyce (RE, 2018)

Safety Properties of Hybrid System Product Lines. - Simon Diemert; Laure Millet; Jeffrey J. Joyce (SysCon, 2020)

Safety Integrity Levels for Artificial Intelligence. - Simon Diemert; Laure Millet; Jonathan Groves; Jeffrey J. Joyce (SAFECOMP Workshops, 2023)

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 (SAFECOMP, 2023)

Including Defeaters in Quantitative Confidence Assessments for Assurance Cases. - Simon Diemert; Laure Millet; Jeffrey J. Joyce; Jens H. Weber (SAFECOMP (Workshops), 2024)

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 (SAFECOMP, 2025)

Electric Over Water - Safety Considerations for an All-Electric Floatplane for Commercial Passenger Service. - Ehsan Ghahremani; Jonathan Groves; Jeffrey J. Joyce; Erika J. Holtz; Karl M. Lepik; Darren Jang; Patrick Zdunich (SysCon, 2025)