| 2008 |
|---|
| 13 | EE | Nick Moffat,
Michael Goldsmith,
Bill Roscoe:
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.
ICFEM 2008: 258-277 |
| 12 | EE | Nick Moffat,
Michael Goldsmith:
Assumption-Commitment Support for CSP Model Checking.
J. Autom. Reasoning 41(3-4): 365-398 (2008) |
| 2007 |
|---|
| 11 | EE | Nick Moffat,
Michael Goldsmith:
Assumption-Commitment Support for CSP Model Checking.
Electr. Notes Theor. Comput. Sci. 185: 121-137 (2007) |
| 2006 |
|---|
| 10 | EE | Sadie Creese,
Michael Goldsmith,
Bill Roscoe,
Ming Xiao:
Bootstrapping multi-party ad-hoc security.
SAC 2006: 369-375 |
| 2005 |
|---|
| 9 | EE | Sadie Creese,
Michael Goldsmith,
Richard Harrison,
Bill Roscoe,
Paul Whittaker,
Irfan Zakiuddin:
Exploiting Empirical Engagement in Authentication Protocol Design.
SPC 2005: 119-133 |
| 2004 |
|---|
| 8 | EE | Michael Goldsmith:
Operational Semantics for Fun and Profit.
25 Years Communicating Sequential Processes 2004: 265-274 |
| 2003 |
|---|
| 7 | EE | Michael Goldsmith,
Nick Moffat,
Bill Roscoe,
Tim Whitworth,
Irfan Zakiuddin:
Watchdog Transformations for Property-Oriented Model-Checking.
FME 2003: 600-616 |
| 6 | EE | Sadie Creese,
Michael Goldsmith,
Bill Roscoe,
Irfan Zakiuddin:
Authentication for Pervasive Computing.
SPC 2003: 116-129 |
| 5 | EE | Irfan Zakiuddin,
Michael Goldsmith,
Paul Whittaker,
Paul H. B. Gardiner:
A Methodology for Model-Checking Ad-hoc Networks.
SPIN 2003: 181-196 |
| 1999 |
|---|
| 4 | | Michael Goldsmith:
Challenges to Process-Algebraic Property-Checking.
PDPTA 1999: 273-278 |
| 1998 |
|---|
| 3 | | Michael Goldsmith,
Irfan Zakiuddin:
Critical Systems Validation and Verification with CSP and FDR.
FM-Trends 1998: 243-250 |
| 1995 |
|---|
| 2 | | A. W. Roscoe,
Paul H. B. Gardiner,
Michael Goldsmith,
J. R. Hulance,
D. M. Jackson,
J. B. Scattergood:
Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock.
TACAS 1995: 133-152 |
| 1987 |
|---|
| 1 | | Michael Goldsmith,
A. Cox,
Geoff Barrett:
An Algebraic Transformation System for Occam Programs.
STACS 1987: 481 |
