David M. Williams
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
1989–2014
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FMICS | Formal Specification and Verification of TCP Extended with the Window Scale Option. | Lars Lockefeer, David M. Williams, Wan J. Fokkink |
| 2014 | IFM | Managing LTL Properties in Event-B Refinement. | Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
| 2013 | SEFM | Verification of Scheme Plans Using CSP $$||$$ | | B. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams |
| 2012 | ICTAC | Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. | David M. Williams, Joeri de Ruiter, Wan J. Fokkink |
| 2010 | SECRYPT | On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols. | David M. Williams, Helen Treharne, Anthony T. S. Ho |
| 2008 | IWDW | Formal Analysis of Two Buyer-Seller Watermarking Protocols. | David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller |
| 1989 | CVPR | Application of robust sequential edge detection and linking to boundaries of low contrast lesions in medical images. | Linnan Liu, Peyton H. Bland, David M. Williams, Brian G. Schunck, Charles R. Meyer |