Neil Evans

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