Jeffrey J. Joyce

According to our database, Jeffrey J. Joyce authored at least 21 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Including Defeaters in Quantitative Confidence Assessments for Assurance Cases.

Simon Diemert, Laure Millet, Jeffrey J. Joyce, Jens H. Weber

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

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

Proceedings of the Computer Safety, Reliability, and Security, 2023

Safety Integrity Levels for Artificial Intelligence.

Simon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2020

Safety Properties of Hybrid System Product Lines.

Simon Diemert, Laure Millet, Jeffrey J. Joyce

Proceedings of the IEEE International Systems Conference, 2020

2018

Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements.

Laure Millet, Nancy A. Day, Jeffrey J. Joyce

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

2013

Creating safety assurance cases for rebreather systems.

Alma L. Juarez Dominguez, Bruce G. Partridge, Jeffrey J. Joyce

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

2008

Modelling feature interactions in the automotive domain.

Alma L. Juarez Dominguez, Nancy A. Day, Jeffrey J. Joyce

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

2000

A Framework for Multi-Notation Requirements Specification and Analysis.

Nancy A. Day, Jeffrey J. Joyce

Proceedings of the 4th International Conference on Requirements Engineering, 2000

1999

Symbolic Functional Evaluation.

Nancy A. Day, Jeffrey J. Joyce

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1997

Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network.

James H. Andrews, Nancy A. Day, Jeffrey J. Joyce

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1994

S: A Machine Readable Specification Notation based on Higher Order Logic.

Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment.

Zheng Zhu, Jeffrey J. Joyce, Carl-Johan H. Seger

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 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

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover.

Jeffrey J. Joyce, Carl-Johan H. Seger

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

The Semantics of Statecharts in HOL.

Nancy A. Day, Jeffrey J. Joyce

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving.

Jeffrey J. Joyce, Carl-Johan H. Seger

Proceedings of the 30th Design Automation Conference. Dallas, 1993

Integration of CASE into undergraduate education.

Jeffrey J. Joyce

Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1991

A Two-Level Formal Verification Methodology using HOL and COSMOS.

Carl-Johan H. Seger, Jeffrey J. Joyce

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

Totally Verified Systems: Linking Verified Software to Verified Hardware.

Jeffrey J. Joyce

Proceedings of the Hardware Specification, 1989

1988

Formal specification and verification of microprocessor systems.

Jeffrey J. Joyce

Microprocess. Microprogramming, 1988

Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.

Jeffrey J. Joyce

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988