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

Roger B. Hughes

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

1998
8EEChryssa Dislis, Gerry Musgrave, Roger B. Hughes: Formal Design Techniques - Theory and Engineering Reality. Asian Test Symposium 1998: 394-398
1997
7 Roger B. Hughes: Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach. CAV 1997: 3-6
6 Roger B. Hughes: CheckOff-M: model checking and its role in IP. CHARME 1997: 217
1995
5EEMassimo 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
4 Roger B. Hughes, Gerry Musgrave: Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems. FPL 1994: 135-137
1993
3 Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes: Formal Methods and Their Future. EUROCAST 1993: 180-189
1992
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

1Massimo Bombana [5]
2Patrizia Cavalloro [5]
3Salvatore Conigliaro [5]
4Chryssa Dislis [8]
5Simon Finn [1] [3]
6M. D. Francis [1] [3]
7R. Harris [3]
8Gerry Musgrave [1] [2] [3] [4] [5] [8]
9Giuseppe Zaza [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)