Jeffrey J. Joyce

Nancy A. Day, Jeffrey J. Joyce: A Framework for Multi-Notation Requirements Specification and Analysis. ICRE 2000: 39-48

Nancy A. Day, Jeffrey J. Joyce: Symbolic Functional Evaluation. TPHOLs 1999: 341-358

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: 417-432

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

Jeffrey J. Joyce, Carl-Johan H. Seger (Eds.): Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings. Lecture Notes in Computer Science 780, Springer 1994, isbn 3-540-57826-9

Jeffrey J. Joyce: Integration of CASE into undergraduate education. CASCON 1993: 128-137

Jeffrey J. Joyce, Carl-Johan H. Seger: Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving. DAC 1993: 469-474

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

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

Nancy A. Day, Jeffrey J. Joyce: The Semantics of Statecharts in HOL. HUG 1993: 338-351

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: 489-500

Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley (Eds.): Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. IEEE Computer Society 1992

Carl-Johan H. Seger, Jeffrey J. Joyce: A Two-Level Formal Verification Methodology using HOL and COSMOS. CAV 1991: 299-309

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

Jeffrey J. Joyce: Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. Specification and Verification of Concurrent Systems 1988: 384-409