Neil Evans

According to our database, Neil Evans authored at least 23 papers between 2000 and 2023.

Collaborative distances:

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

2023

Polynomial Analysis of Modular Arithmetic.

Thomas Seed, Chris Coppins, Andy King, Neil Evans

Proceedings of the Static Analysis - 30th International Symposium, 2023

2020

Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases.

Thomas Seed, Andy King, Neil Evans

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2019

Preface.

Thomas Desaive, Neil Evans, Teresa Mendonça, J. Geoffrey Chase

Comput. Methods Programs Biomed., 2019

2015

Software Development and Authentication for Arms Control Information Barriers.

Neil Evans

Proceedings of the FM 2015: Formal Methods, 2015

Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks.

Paul Beaumont, Neil Evans, Michael Huth, Tom Plant

Proceedings of the Computer Security - ESORICS 2015, 2015

2013

Modelling and Refinement in CODA

Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

2010

Integrating Formal Methods with Informal Digital Hardware Development.

Neil Evans

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

A Step towards Merging xUML and CSP || {\| \ }B.

Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

Applying CSP || B to information systems.

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier

Softw. Syst. Model., 2008

Refinement for Pipelining in Event-B.

Neil Evans

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Automatic Generation of CSP || B Skeletons from xUML Models.

Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans

Proceedings of the Theoretical Aspects of Computing, 2008

Object Modelling in the SystemB Industrial Project.

Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Interactive tool support for CSP || B consistency checking.

Neil Evans, Helen Treharne

Formal Aspects Comput., 2007

Towards the Formal Verification of a Java Processor in Event-B.

Neil Evans, Neil Grant

Proceedings of the BCS-FACS Refinement Workshop, 2007

Hardware Verification and Beyond: Using B at AWE.

Neil Evans, Wilson Ifill

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

A Proposal for Records in Event-B.

Neil Evans, Michael J. Butler

Proceedings of the FM 2006: Formal Methods, 2006

2005

Investigating a file transfer protocol using CSP and B.

Neil Evans, Helen Treharne

Softw. Syst. Model., 2005

Verifying security protocols with PVS: widening the rank function approach.

Neil Evans, Steve A. Schneider

J. Log. Algebraic Methods Program., 2005

Linking Semantic Models to Support CSP || B Consistency Checking.

Neil Evans, Helen Treharne

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

Chunks: Component Verification in CSP||B.

Steve A. Schneider, Helen Treharne, Neil Evans

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

How to Verify Dynamic Properties of Information Systems.

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003

Investigating security through proof.

Neil Evans

PhD thesis, 2003

2000

Analysing Time Dependent Security Properties in CSP Using PVS.

Neil Evans, Steve A. Schneider

Proceedings of the Computer Security, 2000