David Streader
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2003–2016
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICECCS | Towards SDN Network Proofs - Taming a Complex System. | Matt Stevens, Bryan C. K. Ng, David Streader, Ian Welch |
| 2015 | ITNAC | Global and local knowledge in SDN. | Matt Stevens, Bryan C. K. Ng, David Streader, Ian Welch |
| 2009 | FM | A Robust Semantics Hides Fewer Errors. | Steve Reeves, David Streader |
| 2007 | ICECCS | Modular Synthesis of Discrete Controllers. | Petra Malik, Robi Malik, David Streader, Steve Reeves |
| 2007 | SEFM | Feature Refinement. | Steve Reeves, David Streader |
| 2004 | ATVA | Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. | Robi Malik, David Streader, Steve Reeves |
| 2004 | ICTAC | Atomic Components. | Steve Reeves, David Streader |
| 2003 | ICFEM | Comparison of Data and Process Refinement. | Steve Reeves, David Streader |