Critical Systems Validation and Verification with CSP and FDR. - Michael Goldsmith; Irfan Zakiuddin (FM-Trends, 1998)

Current Limits for Exploiting Automated Verification. - Irfan Zakiuddin (PDPTA, 1999)

Watchdog Transformations for Property-Oriented Model-Checking. - Michael Goldsmith; Nick Moffat; Bill Roscoe; Tim Whitworth; Irfan Zakiuddin (FME, 2003)

Authentication for Pervasive Computing. - Sadie Creese; Michael Goldsmith; Bill Roscoe; Irfan Zakiuddin (SPC, 2003)

A Methodology for Model-Checking Ad-hoc Networks. - Irfan Zakiuddin; Michael Goldsmith; Paul Whittaker; Paul H. B. Gardiner (SPIN, 2003)

Towards A Game Theoretic Understanding of Ad-Hoc Routing. - Irfan Zakiuddin; Tim Hawkins; Nick Moffat (GDV@CAV, 2004)

Exploiting Empirical Engagement in Authentication Protocol Design. - Sadie Creese; Michael Goldsmith; Richard Harrison; Bill Roscoe; Paul Whittaker; Irfan Zakiuddin (SPC, 2005)

06121 Report: Break Out Session on Guaranteed Execution. - Calton Pu; Jim Johnson; Rogério de Lemos; Andreas Reuter 001; David Taylor; Irfan Zakiuddin (Atomicity: A Unifying Concept in Computer Science, 2006)