Nick Moffat

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 1

Top Topics

Multiresolution

Conceptual Models

Top Venues

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.

CyberICPS/SECPRE@ESORICS

Publications

Jassim Happa, Nick Moffat, Michael Goldsmith, Sadie Creese
Run-Time Monitoring of Data-Handling Violations. CyberICPS/SECPRE@ESORICS (2018)
Philip A. Legg, Nick Moffat, Jason R. C. Nurse, Jassim Happa, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 4 (4) (2013)
Nick Moffat, Michael Goldsmith
Assumption-Commitment Support for CSP Model Checking. J. Autom. Reason. 41 (3-4) (2008)
Nick Moffat, Michael Goldsmith, Bill Roscoe
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. ICFEM (2008)
Nick Moffat, Michael Goldsmith
Assumption-Commitment Support for CSP Model Checking. Electron. Notes Theor. Comput. Sci. 185 (2007)
Irfan Zakiuddin, Tim Hawkins, Nick Moffat
Towards A Game Theoretic Understanding of Ad-Hoc Routing. Electron. Notes Theor. Comput. Sci. 119 (1) (2005)
Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin
Watchdog Transformations for Property-Oriented Model-Checking. FME (2003)