Analysing Time Dependent Security Properties in CSP Using PVS. - Neil Evans; Steve A. Schneider (ESORICS, 2000)

Investigating security through proof. - Neil Evans (2003)

How to Verify Dynamic Properties of Information Systems. - Neil Evans; Helen Treharne; Régine Laleau; Marc Frappier (SEFM, 2004)

Chunks: Component Verification in CSP||B. - Steve A. Schneider; Helen Treharne; Neil Evans (IFM, 2005)

Linking Semantic Models to Support CSP || B Consistency Checking. - Neil Evans; Helen Treharne (AVoCS, 2005)

Verifying security protocols with PVS: widening the rank function approach. - Neil Evans; Steve A. Schneider (J. Log. Algebraic Methods Program., 2005)

Investigating a file transfer protocol using CSP and B. - Neil Evans; Helen Treharne (Softw. Syst. Model., 2005)

A Proposal for Records in Event-B. - Neil Evans; Michael J. Butler (FM, 2006)

Hardware Verification and Beyond: Using B at AWE. - Neil Evans; Wilson Ifill (B, 2007)

Towards the Formal Verification of a Java Processor in Event-B. - Neil Evans; Neil Grant (REFINE@IFM, 2007)

Interactive tool support for CSP || B consistency checking. - Neil Evans; Helen Treharne (Formal Aspects Comput., 2007)

Object Modelling in the SystemB Industrial Project. - Helen Treharne; Edward Turner; Steve A. Schneider; Neil Evans (ABZ, 2008)

Automatic Generation of CSP || B Skeletons from xUML Models. - Edward Turner; Helen Treharne; Steve A. Schneider; Neil Evans (ICTAC, 2008)

Refinement for Pipelining in Event-B. - Neil Evans (Refine@FM, 2008)

Applying CSP || B to information systems. - Neil Evans; Helen Treharne; Régine Laleau; Marc Frappier (Softw. Syst. Model., 2008)

A Step towards Merging xUML and CSP || { | }B. - Helen Treharne; Steve A. Schneider; Neil Grant; Neil Evans; Wilson Ifill (Rigorous Methods for Software Construction and Analysis, 2009)

Integrating Formal Methods with Informal Digital Hardware Development. - Neil Evans (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Modelling and Refinement in CODA - Michael J. Butler; John Colley; Andrew Edmunds; Colin F. Snook; Neil Evans; Neil Grant; Helen Marshall (Refine@IFM, 2013)

Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks. - Paul Beaumont; Neil Evans; Michael Huth 001; Tom Plant (ESORICS (1), 2015)

Software Development and Authentication for Arms Control Information Barriers. - Neil Evans (FM, 2015)

Preface. - Thomas Desaive; Neil Evans; Teresa Mendonça; J. Geoffrey Chase (Comput. Methods Programs Biomed., 2019)

Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases. - Thomas Seed; Andy King; Neil Evans (SAT, 2020)

Polynomial Analysis of Modular Arithmetic. - Thomas Seed; Chris Coppins; Andy King; Neil Evans (SAS, 2023)

Empowering Animals Through Technology: Enhancing Animal Agency in the Sound Environment. - Fiona French; Dominique Potvin; Ilyena Hirskyj-Douglas; Neil Evans; Azadeh Jalali; Rébecca Kleinberger; Ruedi Nager; Oluwaseun Serah Iyasere; Saeed Shafiei Sabet; Michelle Spierings; Pralle Kriengwatana (ACI, 2024)