Nick Moffat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2003–2018
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ESORICS | Run-Time Monitoring of Data-Handling Violations. | Jassim Happa, Nick Moffat, Michael Goldsmith, Sadie Creese |
| 2008 | ICFEM | A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. | Nick Moffat, Michael Goldsmith, Bill Roscoe |
| 2003 | FM | Watchdog Transformations for Property-Oriented Model-Checking. | Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin |