Jeffrey J. Joyce

26 papers A* 2A 1B 2C 2Journal 2Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development. SAFECOMP Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey J. Joyce
2025	—	`conf`	Electric Over Water - Safety Considerations for an All-Electric Floatplane for Commercial Passenger Service. SysCon Ehsan Ghahremani, Jonathan Groves, Jeffrey J. Joyce, Erika J. Holtz, Karl M. Lepik, Darren Jang, Patrick Zdunich
2024	—	`conf`	Including Defeaters in Quantitative Confidence Assessments for Assurance Cases. SAFECOMP (Workshops) Simon Diemert, Laure Millet, Jeffrey J. Joyce, Jens H. Weber
2023	B	`conf`	Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. SAFECOMP Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce
2023	—	`conf`	Safety Integrity Levels for Artificial Intelligence. SAFECOMP Workshops Simon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce
2020	—	`conf`	Safety Properties of Hybrid System Product Lines. SysCon Simon Diemert, Laure Millet, Jeffrey J. Joyce
2018	A	`conf`	Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. RE Laure Millet, Nancy A. Day, Jeffrey J. Joyce
2013	—	`conf`	Creating safety assurance cases for rebreather systems. ASSURE@ICSE Alma L. Juarez Dominguez, Bruce G. Partridge, Jeffrey J. Joyce
2008	C	`conf`	Modelling feature interactions in the automotive domain. MiSE Alma L. Juarez Dominguez, Nancy A. Day, Jeffrey J. Joyce
2000	—	`conf`	A Framework for Multi-Notation Requirements Specification and Analysis. ICRE Nancy A. Day, Jeffrey J. Joyce
1999	—	`conf`	Symbolic Functional Evaluation. TPHOLs Nancy A. Day, Jeffrey J. Joyce
1997	C	`conf`	Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. FORTE James H. Andrews, Nancy A. Day, Jeffrey J. Joyce
1994	—	`ed.`	Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings HUG Jeffrey J. Joyce, Carl-Johan H. Seger
1994	—	`conf`	S: A Machine Readable Specification Notation based on Higher Order Logic. TPHOLs Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat
1993	—	`conf`	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 Sreeranga P. Rajan, Jeffrey J. Joyce, Carl-Johan H. Seger
1993	—	`conf`	Integration of CASE into undergraduate education. CASCON Jeffrey J. Joyce
1993	A*	`conf`	Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving. DAC Jeffrey J. Joyce, Carl-Johan H. Seger
1993	—	`conf`	The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover. HUG Jeffrey J. Joyce, Carl-Johan H. Seger
1993	—	`conf`	The Semantics of Statecharts in HOL. HUG Nancy A. Day, Jeffrey J. Joyce
1993	—	`conf`	Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment. HUG Zheng Zhu, Jeffrey J. Joyce, Carl-Johan H. Seger
1992	—	`ed.`	Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA TPHOLs Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley
1991	A*	`conf`	A Two-Level Formal Verification Methodology using HOL and COSMOS. CAV Carl-Johan H. Seger, Jeffrey J. Joyce
1989	J	`jnl`	Formal specification and verification of microprocessor systems. Integr. Jeffrey J. Joyce
1989	—	`conf`	Totally Verified Systems: Linking Verified Software to Verified Hardware. Hardware Specification, Verification and Synthesis Jeffrey J. Joyce
1988	—	`conf`	Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. Specification and Verification of Concurrent Systems Jeffrey J. Joyce
1988	J	`jnl`	Formal specification and verification of microprocessor systems. Microprocess. Microprogramming Jeffrey J. Joyce