Neil Evans

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 5

Top Venues

Refine@IFM

SAT

ESORICS (1)

Comput. Methods Programs Biomed.

Royal Holloway, University of London, UK (PHD)

Education History

Royal Holloway, University of London, UK

PHD

Publications

Thomas Seed, Chris Coppins, Andy King, Neil Evans
Polynomial Analysis of Modular Arithmetic. SAS (2023)
Thomas Seed, Andy King, Neil Evans
Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases. SAT (2020)
Thomas Desaive, Neil Evans, Teresa Mendonça, J. Geoffrey Chase
Preface. Comput. Methods Programs Biomed. 171 (2019)
Paul Beaumont, Neil Evans, Michael Huth, Tom Plant
Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks. ESORICS (1) (2015)
Neil Evans
Software Development and Authentication for Arms Control Information Barriers. FM (2015)
Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall
Modelling and Refinement in CODA Refine@IFM (2013)
Neil Evans
Integrating Formal Methods with Informal Digital Hardware Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill
A Step towards Merging xUML and CSP || {\| \ }B. Rigorous Methods for Software Construction and Analysis (2009)
Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans
Automatic Generation of CSP || B Skeletons from xUML Models. ICTAC (2008)
Neil Evans
Refinement for Pipelining in Event-B. Electron. Notes Theor. Comput. Sci. 214 (2008)
Neil Evans, Neil Grant
Towards the Formal Verification of a Java Processor in Event-B. Electron. Notes Theor. Comput. Sci. 201 (2008)
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
Applying CSP || B to information systems. Softw. Syst. Model. 7 (1) (2008)
Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans
Object Modelling in the SystemB Industrial Project. ABZ (2008)
Neil Evans, Helen Treharne
Interactive tool support for CSP || B consistency checking. Formal Aspects Comput. 19 (3) (2007)
Neil Grant, Neil Evans
Towards the Formal Verification of a Java Processor in Event-B. CPA (2007)
Neil Evans, Wilson Ifill
Hardware Verification and Beyond: Using B at AWE. B (2007)
Neil Evans, Michael J. Butler
A Proposal for Records in Event-B. FM (2006)
Neil Evans, Helen Treharne
Linking Semantic Models to Support CSP || B Consistency Checking. Electron. Notes Theor. Comput. Sci. 145 (2006)
Neil Evans, Steve A. Schneider
Verifying security protocols with PVS: widening the rank function approach. J. Log. Algebraic Methods Program. 64 (2) (2005)
Steve A. Schneider, Helen Treharne, Neil Evans
Chunks: Component Verification in CSP||B. IFM (2005)
Neil Evans, Helen Treharne
Investigating a file transfer protocol using CSP and B. Softw. Syst. Model. 4 (3) (2005)
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
How to Verify Dynamic Properties of Information Systems. SEFM (2004)
Neil Evans, Steve A. Schneider
Analysing Time Dependent Security Properties in CSP Using PVS. ESORICS (2000)

Neil Evans.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Neil Evans