Nick Moffat

According to our database, Nick Moffat authored at least 6 papers between 2003 and 2018.

Collaborative distances:

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

2018

Run-Time Monitoring of Data-Handling Violations.

Jassim Happa, Nick Moffat, Michael Goldsmith, Sadie Creese

Proceedings of the Computer Security - ESORICS 2018 International Workshops, 2018

2013

Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection.

Philip A. Legg, Nick Moffat, Jason R. C. Nurse, Jassim Happa, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese

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

2008

Assumption-Commitment Support for CSP Model Checking.

Nick Moffat, Michael Goldsmith

J. Autom. Reason., 2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.

Nick Moffat, Michael Goldsmith, Bill Roscoe

Proceedings of the Formal Methods and Software Engineering, 2008

2004

Towards A Game Theoretic Understanding of Ad-Hoc Routing.

Irfan Zakiuddin, Tim Hawkins, Nick Moffat

Proceedings of the Workshop on Games in Design and Verification, 2004

2003

Watchdog Transformations for Property-Oriented Model-Checking.

Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin

Proceedings of the FME 2003: Formal Methods, 2003