Irfan Zakiuddin

Publication Activity (10 Years)

Years Active: 1998-2006
Publications (10 Years): 0

Publications

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)
Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin
Exploiting Empirical Engagement in Authentication Protocol Design. SPC (2005)
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)
Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner
A Methodology for Model-Checking Ad-hoc Networks. SPIN (2003)
Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin
Authentication for Pervasive Computing. SPC (2003)
Irfan Zakiuddin
Current Limits for Exploiting Automated Verification. PDPTA (1999)
Michael Goldsmith, Irfan Zakiuddin
Critical Systems Validation and Verification with CSP and FDR. FM-Trends (1998)