S. J. Creese

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

S. J. Creese, A. W. Roscoe
Data Independent Induction over Structured Networks. PDPTA (2000)
S. J. Creese, A. W. Roscoe
Verifying an infinite family of inductions simultaneously using data independence and FDR. FORTE (1999)
S. J. Creese, Joy N. Reed
Verifying End-to-End Protocols using Induction with CSP/FDR. IPPS/SPDP Workshops (1999)
S. J. Creese, A. W. Roscoe
Formal Verification of Arbitrary Network Topologies. PDPTA (1999)