dblp.uni-trier.dewww.uni-trier.de

Gerry Musgrave Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Alaa F. Alani [3]
2Anthony P. Ambler [3]
3Massimo Bombana [7]
4Randal E. Bryant [8]
5Patrizia Cavalloro [7]
6Salvatore Conigliaro [7]
7Chryssa Dislis [9]
8Simon Finn [1] [5]
9M. D. Francis [1] [5]
10R. Harris [5]
11Roger B. Hughes [1] [2] [5] [6] [7] [9]
12Giuseppe Zaza [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)