dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

A. W. Roscoe (Selection)

A. William Roscoe, Bill Roscoe

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell: Recent Developments in FDR. CAV 2012: 699-704
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Goldsmith, Bill Roscoe: Preface. Electr. Notes Theor. Comput. Sci. 250(1): 1-2 (2009)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Moffat, Michael Goldsmith, Bill Roscoe: A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. ICFEM 2008: 258-277
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao: Bootstrapping multi-party ad-hoc security. SAC 2006: 369-375
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin: Exploiting Empirical Engagement in Authentication Protocol Design. SPC 2005: 119-133
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin: Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: 600-616
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin: Authentication for Pervasive Computing. SPC 2003: 116-129
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. 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

Selection of 8 from 86 records - A. W. Roscoe has 57 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page