We stand with Ukraine

We stand with Ukraine

Jeffrey J. Joyce

According to our database¹, Jeffrey J. Joyce authored at least 20 papers between 1988 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Assurance Case Arguments in the Large: The CERN LHC Machine Protection System.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Jeffrey J. Joyce

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

Safety Integrity Levels for Artificial Intelligence.

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

,

Jeffrey J. Joyce

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

2013

Creating safety assurance cases for rebreather systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alma L. Juarez Dominguez

,

,

Jeffrey J. Joyce

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

2000

A Framework for Multi-Notation Requirements Specification and Analysis.

[BibT_eX]

[DOI]

,

Jeffrey J. Joyce

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

1999

Symbolic Functional Evaluation.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

James H. Andrews

,

,

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.

[BibT_eX]

[DOI]

Jeffrey J. Joyce

,

,

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.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

,

Jeffrey J. Joyce

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

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

[BibT_eX]

[DOI]

Jeffrey J. Joyce

,

Carl-Johan H. Seger

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

Integration of CASE into undergraduate education.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Carl-Johan H. Seger

,

Jeffrey J. Joyce

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

1989

Formal specification and verification of microprocessor systems.

[BibT_eX]

[DOI]

Jeffrey J. Joyce

Integr., 1989

Totally Verified Systems: Linking Verified Software to Verified Hardware.

[BibT_eX]

[DOI]

Jeffrey J. Joyce

Proceedings of the Hardware Specification, 1989

1988

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

[BibT_eX]

Jeffrey J. Joyce

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

Loading...