Adrian J. Hilton

According to our database, Adrian J. Hilton authored at least 6 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

Developing critical systems with PLD components.

Adrian J. Hilton, Jon G. Hall

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

2004

High integrity hardware-software codesign.

Adrian J. Hilton

PhD thesis, 2004

Enforcing security and safety models with an information flow analysis tool.

Roderick Chapman, Adrian Hilton

Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, 2004

High-Integrity Interfacing to Programmable Logic with Ada.

Adrian J. Hilton, Jon G. Hall

Proceedings of the Reliable Software Technologies, 2004

2003

FPGAs in critical hardware/software systems.

Adrian J. Hilton, Gemma Townson, Jon G. Hall

Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2003

2002

Refining specifications to programmable logic.

Adrian J. Hilton, Jon G. Hall

Proceedings of the BCS FACS Refinement Workshop 2002, 2002