| 2000 |
|---|
| 15 | EE | Nancy A. Day,
Jeffrey J. Joyce:
A Framework for Multi-Notation Requirements Specification and Analysis.
ICRE 2000: 39-48 |
| 1999 |
|---|
| 14 | EE | Nancy A. Day,
Jeffrey J. Joyce:
Symbolic Functional Evaluation.
TPHOLs 1999: 341-358 |
| 1997 |
|---|
| 13 | | J. 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 |
| 1994 |
|---|
| 12 | | Jeffrey J. Joyce,
Carl-Johan H. Seger:
Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings
Springer 1994 |
| 11 | | Jeffrey J. Joyce,
Nancy A. Day,
Michael R. Donat:
S: A Machine Readable Specification Notation based on Higher Order Logic.
TPHOLs 1994: 285-299 |
| 1993 |
|---|
| 10 | EE | Jeffrey J. Joyce:
Integration of CASE into undergraduate education.
CASCON 1993: 128-137 |
| 9 | EE | Jeffrey J. Joyce,
Carl-Johan H. Seger:
Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving.
DAC 1993: 469-474 |
| 8 | | Jeffrey J. Joyce,
Carl-Johan H. Seger:
The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover.
HUG 1993: 185-198 |
| 7 | | Zheng Zhu,
Jeffrey J. Joyce,
Carl-Johan H. Seger:
Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment.
HUG 1993: 253-266 |
| 6 | | Nancy A. Day,
Jeffrey J. Joyce:
The Semantics of Statecharts in HOL.
HUG 1993: 338-351 |
| 5 | | 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 |
| 1992 |
|---|
| 4 | | Myla Archer,
Jeffrey J. Joyce,
Karl N. Levitt,
Phillip J. Windley:
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA
IEEE Computer Society 1992 |
| 1991 |
|---|
| 3 | | Carl-Johan H. Seger,
Jeffrey J. Joyce:
A Two-Level Formal Verification Methodology using HOL and COSMOS.
CAV 1991: 299-309 |
| 1989 |
|---|
| 2 | | Jeffrey J. Joyce:
Totally Verified Systems: Linking Verified Software to Verified Hardware.
Hardware Specification, Verification and Synthesis 1989: 177-201 |
| 1988 |
|---|
| 1 | | Jeffrey J. Joyce:
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.
Specification and Verification of Concurrent Systems 1988: 384-409 |
