| Enforcing security and safety models with an information flow analysis tool R Chapman, A Hilton Proceedings of the 2004 annual ACM SIGAda international conference on Ada …, 2004 | 65 | 2004 |
| Developing critical systems with PLD components A Hilton, JG Hall Proceedings of the 10th international workshop on Formal methods for …, 2005 | 10 | 2005 |
| Practical experiences of safety-and security-critical technologies P Amey, AJ Hilton Ada User Journal 25 (2), 98-106, 2004 | 10 | 2004 |
| High integrity hardware-software codesign AJ Hilton PQDT-Global, 2003 | 10 | 2003 |
| On applying software development best practice to FPGAs in safety-critical systems A Hilton, J Hall International Workshop on Field Programmable Logic and Applications, 793-796, 2000 | 10 | 2000 |
| White box software development D Daniels, R Myers, A Hilton Current Issues in Safety-Critical Systems: Proceedings of the Eleventh …, 2003 | 6 | 2003 |
| Engineering Software Systems for Cus-tomer Acceptance A Hilton Proceedings of SEHAS 3, 2003 | 5 | 2003 |
| Refining specifications to programmable logic A Hiltont, JG Hall Electronic Notes in Theoretical Computer Science 70 (3), 37-49, 2002 | 5 | 2002 |
| Mandated requirements for hardware/software combination in safety-critical systems A Hilton, JG Hall Department of Computing, The Open University, 2003 | 4 | 2003 |
| High-integrity interfacing to programmable logic with Ada AJ Hilton, JG Hall International Conference on Reliable Software Technologies, 249-260, 2004 | 3 | 2004 |
| FPGAs in critical hardware/software systems AJ Hilton, G Townson, JG Hall Proceedings of the 2003 ACM/SIGDA eleventh international symposium on Field …, 2003 | 2 | 2003 |
| Targetting PLDs for high-level High Integrity Systems Development A Hilton, JG Hall Department of Computing, The Open University, 2002 | | 2002 |
| Proving Safety Properties of FPGAs A Hilton, JG Hall Department of Computing, The Open University, 2001 | | 2001 |
Jon HallThe Open UniversityVerifisert e-postadresse på open.ac.uk