Systematically Deriving Partial Oracles for Testing Concurrent Programs. - Chris Hunter; Paul A. Strooper (ACSC, 2001)

Flexible Proof Reuse for Software Verification. - Chris Hunter; Peter J. Robinson 001; Paul A. Strooper (AMAST, 2004)

Agent-Based Distributed Software Verification. - Chris Hunter; Peter J. Robinson 001; Paul A. Strooper (ACSC, 2005)

Agent-based proof support for interactive theorem proving - Chris Hunter (2005)

An integrated approach to customer elicitation for the aerospace sector. - Marin D. Guenov; Stephen G. Barker; Chris Hunter; Ian Horsfield; Neil Coleridge-Smith (Syst. Eng., 2006)