Neil Evans
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2000–2023
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAS | Polynomial Analysis of Modular Arithmetic. | Thomas Seed, Chris Coppins, Andy King, Neil Evans |
| 2020 | SAT | Reducing Bit-Vector Polynomials to SAT Using Grbner Bases. | Thomas Seed, Andy King, Neil Evans |
| 2015 | ESORICS | Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks. | Paul Beaumont, Neil Evans, Michael Huth, Tom Plant |
| 2015 | FM | Software Development and Authentication for Arms Control Information Barriers. | Neil Evans |
| 2008 | ICTAC | Automatic Generation of CSP || B Skeletons from xUML Models. | Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans |
| 2006 | FM | A Proposal for Records in Event-B. | Neil Evans, Michael J. Butler |
| 2005 | IFM | Chunks: Component Verification in CSP||B. | Steve A. Schneider, Helen Treharne, Neil Evans |
| 2004 | SEFM | How to Verify Dynamic Properties of Information Systems. | Neil Evans, Helen Treharne, Rgine Laleau, Marc Frappier |
| 2000 | ESORICS | Analysing Time Dependent Security Properties in CSP Using PVS. | Neil Evans, Steve A. Schneider |