Refining specifications to programmable logic. - Adrian J. Hilton; Jon G. Hall (Refine, 2002)

FPGAs in critical hardware/software systems. - Adrian J. Hilton; Gemma Townson; Jon G. Hall (FPGA, 2003)

High-Integrity Interfacing to Programmable Logic with Ada. - Adrian J. Hilton; Jon G. Hall (Ada-Europe, 2004)

Enforcing security and safety models with an information flow analysis tool. - Roderick Chapman; Adrian Hilton 002 (SIGAda, 2004)

High integrity hardware-software codesign. - Adrian J. Hilton (2004)

Developing critical systems with PLD components. - Adrian J. Hilton; Jon G. Hall (FMICS, 2005)