| 2006 |
|---|
| 8 | EE | Calton Pu,
Jim Johnson,
Rogério de Lemos,
Andreas Reuter,
David Taylor,
Irfan Zakiuddin:
06121 Report: Break Out Session on Guaranteed Execution.
Atomicity: A Unifying Concept in Computer Science 2006 |
| 2005 |
|---|
| 7 | EE | Sadie Creese,
Michael Goldsmith,
Richard Harrison,
Bill Roscoe,
Paul Whittaker,
Irfan Zakiuddin:
Exploiting Empirical Engagement in Authentication Protocol Design.
SPC 2005: 119-133 |
| 6 | EE | Irfan Zakiuddin,
Tim Hawkins,
Nick Moffat:
Towards A Game Theoretic Understanding of Ad-Hoc Routing.
Electr. Notes Theor. Comput. Sci. 119(1): 67-92 (2005) |
| 2003 |
|---|
| 5 | EE | Michael Goldsmith,
Nick Moffat,
Bill Roscoe,
Tim Whitworth,
Irfan Zakiuddin:
Watchdog Transformations for Property-Oriented Model-Checking.
FME 2003: 600-616 |
| 4 | EE | Sadie Creese,
Michael Goldsmith,
Bill Roscoe,
Irfan Zakiuddin:
Authentication for Pervasive Computing.
SPC 2003: 116-129 |
| 3 | EE | Irfan Zakiuddin,
Michael Goldsmith,
Paul Whittaker,
Paul H. B. Gardiner:
A Methodology for Model-Checking Ad-hoc Networks.
SPIN 2003: 181-196 |
| 1999 |
|---|
| 2 | | Irfan Zakiuddin:
Current Limits for Exploiting Automated Verification.
PDPTA 1999: 312-318 |
| 1998 |
|---|
| 1 | | Michael Goldsmith,
Irfan Zakiuddin:
Critical Systems Validation and Verification with CSP and FDR.
FM-Trends 1998: 243-250 |
