The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gerry Musgrave: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chryssa Dislis, Gerry Musgrave, Roger B. Hughes
    Formal Design Techniques - Theory and Engineering Reality. [Citation Graph (0, 0)][DBLP]
    Asian Test Symposium, 1998, pp:394-398 [Conf]
  2. Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Roger B. Hughes, Gerry Musgrave, Giuseppe Zaza
    Design-Flow and Synthesis for ASICs: A Case Study. [Citation Graph (0, 0)][DBLP]
    DAC, 1995, pp:292-297 [Conf]
  3. Randal E. Bryant, Gerry Musgrave
    User Experience with High Level Formal Verification (Panel). [Citation Graph (0, 0)][DBLP]
    DAC, 1998, pp:327- [Conf]
  4. Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes
    Formal Methods and Their Future. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1993, pp:180-189 [Conf]
  5. Roger B. Hughes, Gerry Musgrave
    Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems. [Citation Graph (0, 0)][DBLP]
    FPL, 1994, pp:135-137 [Conf]
  6. Gerry Musgrave
    Formal Methods For Design. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:710- [Conf]
  7. Alaa F. Alani, Gerry Musgrave, Anthony P. Ambler
    A Steady-State Response Test Generation for Mixed-Signal Integrated Circuits. [Citation Graph (0, 0)][DBLP]
    ITC, 1992, pp:415-421 [Conf]
  8. Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave
    Formal Tools in Tri-State Design in Busses. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:459-475 [Conf]
  9. Roger B. Hughes, Gerry Musgrave
    Design-Flow Graph Partitioning. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:395-404 [Conf]

Search in 0.021secs, Finished in 0.022secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002