The SCEAS System
Navigation Menu

Search the dblp DataBase


Jeffrey J. Joyce: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jeffrey J. Joyce
    Integration of CASE into undergraduate education. [Citation Graph (0, 0)][DBLP]
    CASCON, 1993, pp:128-137 [Conf]
  2. Carl-Johan H. Seger, Jeffrey J. Joyce
    A Two-Level Formal Verification Methodology using HOL and COSMOS. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:299-309 [Conf]
  3. Jeffrey J. Joyce, Carl-Johan H. Seger
    Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving. [Citation Graph (0, 0)][DBLP]
    DAC, 1993, pp:469-474 [Conf]
  4. Jeffrey J. Joyce
    Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    Specification and Verification of Concurrent Systems, 1988, pp:384-409 [Conf]
  5. J. H. Andrews, Nancy A. Day, Jeffrey J. Joyce
    Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:417-432 [Conf]
  6. Nancy A. Day, Jeffrey J. Joyce
    A Framework for Multi-Notation Requirements Specification and Analysis. [Citation Graph (0, 0)][DBLP]
    ICRE, 2000, pp:39-48 [Conf]
  7. Jeffrey J. Joyce
    Totally Verified Systems: Linking Verified Software to Verified Hardware. [Citation Graph (0, 0)][DBLP]
    Hardware Specification, Verification and Synthesis, 1989, pp:177-201 [Conf]
  8. Nancy A. Day, Jeffrey J. Joyce
    The Semantics of Statecharts in HOL. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:338-351 [Conf]
  9. Nancy A. Day, Jeffrey J. Joyce
    Symbolic Functional Evaluation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:341-358 [Conf]
  10. Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat
    S: A Machine Readable Specification Notation based on Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:285-299 [Conf]
  11. Jeffrey J. Joyce, Carl-Johan H. Seger
    The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:185-198 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:489-500 [Conf]
  13. Zheng Zhu, Jeffrey J. Joyce, Carl-Johan H. Seger
    Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:253-266 [Conf]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002