Formal Tools in Tri-State Design in Busses. - Roger B. Hughes; M. D. Francis; Simon Finn; Gerry Musgrave (TPHOLs, 1992)

Design-Flow Graph Partitioning. - Roger B. Hughes; Gerry Musgrave (TPHOLs, 1992)

Automated interactive software verification and synthesis. - Roger B. Hughes (1992)

Formal Methods and Their Future. - Gerry Musgrave; Simon Finn; M. D. Francis; R. Harris; Roger B. Hughes (EUROCAST, 1993)

Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems. - Roger B. Hughes; Gerry Musgrave (FPL, 1994)

Design-Flow and Synthesis for ASICs: A Case Study. - Massimo Bombana; Patrizia Cavalloro; Salvatore Conigliaro; Roger B. Hughes; Gerry Musgrave; Giuseppe Zaza (DAC, 1995)

Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach. - Roger B. Hughes (CAV, 1997)

CheckOff-M: model checking and its role in IP. - Roger B. Hughes (CHARME, 1997)

Formal Design Techniques - Theory and Engineering Reality. - Chryssa Dislis; Gerry Musgrave; Roger B. Hughes (Asian Test Symposium, 1998)