Jeffrey J. Joyce

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 4

Top Topics

Visual Learning

Safety Critical

Top Venues

SAFECOMP Workshops

Publications

Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. SAFECOMP (2023)
Simon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce
Safety Integrity Levels for Artificial Intelligence. SAFECOMP Workshops (2023)
Simon Diemert, Laure Millet, Jeffrey J. Joyce
Safety Properties of Hybrid System Product Lines. SysCon (2020)
Laure Millet, Nancy A. Day, Jeffrey J. Joyce
Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. RE (2018)
Alma L. Juarez Dominguez, Bruce G. Partridge, Jeffrey J. Joyce
Creating safety assurance cases for rebreather systems. ASSURE@ICSE (2013)
Alma L. Juarez Dominguez, Nancy A. Day, Jeffrey J. Joyce
Modelling feature interactions in the automotive domain. MiSE (2008)
Nancy A. Day, Jeffrey J. Joyce
A Framework for Multi-Notation Requirements Specification and Analysis. ICRE (2000)
Nancy A. Day, Jeffrey J. Joyce
Symbolic Functional Evaluation. TPHOLs (1999)
James H. Andrews, Nancy A. Day, Jeffrey J. Joyce
Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. FORTE (1997)
Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat
S: A Machine Readable Specification Notation based on Higher Order Logic. TPHOLs (1994)
Jeffrey J. Joyce
Integration of CASE into undergraduate education. CASCON (1993)
Sreeranga P. Rajan, Jeffrey J. Joyce, Carl-Johan H. Seger
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. HUG (1993)
Jeffrey J. Joyce, Carl-Johan H. Seger
Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving. DAC (1993)
Jeffrey J. Joyce, Carl-Johan H. Seger
The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover. HUG (1993)
Nancy A. Day, Jeffrey J. Joyce
The Semantics of Statecharts in HOL. HUG (1993)
Zheng Zhu, Jeffrey J. Joyce, Carl-Johan H. Seger
Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment. HUG (1993)
Carl-Johan H. Seger, Jeffrey J. Joyce
A Two-Level Formal Verification Methodology using HOL and COSMOS. CAV (1991)
Jeffrey J. Joyce
Formal specification and verification of microprocessor systems. Integr. 7 (3) (1989)
Jeffrey J. Joyce
Totally Verified Systems: Linking Verified Software to Verified Hardware. Hardware Specification, Verification and Synthesis (1989)
Jeffrey J. Joyce
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. Specification and Verification of Concurrent Systems (1988)
Jeffrey J. Joyce
Formal specification and verification of microprocessor systems. Microprocess. Microprogramming 24 (1-5) (1988)