default search action

combined dblp search
author search
venue search
publication search

ask others

Roger B. Hughes

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/DislisMH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/DislisMH98
Chryssa Dislis, Gerry Musgrave, Roger B. Hughes:
Formal Design Techniques - Theory and Engineering Reality. Asian Test Symposium 1998: 394-398
1997
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Hughes97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Hughes97
Roger B. Hughes:
Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach. CAV 1997: 3-6
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/charme/Hughes97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/Hughes97
Roger B. Hughes:
CheckOff-M: model checking and its role in IP. CHARME 1997: 217
1995
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/BombanaCCHMZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/BombanaCCHMZ95
Massimo 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
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fpl/HughesM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpl/HughesM94
Roger B. Hughes, Gerry Musgrave:
Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems. FPL 1994: 135-137
1993
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/MusgraveFFHH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/MusgraveFFHH93
Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes:
Formal Methods and Their Future. EUROCAST 1993: 180-189
1992
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/Hughes92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Hughes92
Roger B. Hughes:
Automated interactive software verification and synthesis. Brunel University London, UK, 1992
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/HughesM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/HughesM92
Roger B. Hughes, Gerry Musgrave:
Design-Flow Graph Partitioning. TPHOLs 1992: 395-404
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/HughesFFM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/HughesFFM92
Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave:
Formal Tools in Tri-State Design in Busses. TPHOLs 1992: 459-475

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.