David Streader

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 4

Top Venues

CoRR

ICECCS

ITNAC

NFM

Queen Mary University of London, UK (PHD)

Education History

Queen Mary University of London, UK

PHD

Publications

James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. NFM (2022)
James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. CoRR (2022)
Matt Stevens, Bryan Ng, David Streader, Ian Welch
Towards SDN Network Proofs - Taming a Complex System. ICECCS (2016)
Matt Stevens, Bryan Ng, David Streader, Ian Welch
Global and local knowledge in SDN. ITNAC (2015)
Steve Reeves, David Streader
Contexts, refinement and determinism. Sci. Comput. Program. 76 (9) (2011)
Rick Mugridge, Mark Utting, David Streader
EvolvingWeb-Based Test Automation into Agile Business Specifications. Future Internet 3 (2) (2011)
Steve Reeves, David Streader
Refinement for Probabilistic Systems with Nondeterminism Refine@FM (2011)
Annika Hinze, Michael Rinck, David Streader
Anonymous Mobile Service Collaboration: Quality of Service. From Active Data Management to Event-Based Systems and More (2010)
Steve Reeves, David Streader
Guarded Operations, Refinement and Simulation. Electron. Notes Theor. Comput. Sci. 259 (2009)
Steve Reeves, David Streader
A Robust Semantics Hides Fewer Errors. FM (2009)
Steve Reeves, David Streader
Generic Tools via General Refinement. Electron. Notes Theor. Comput. Sci. 207 (2008)
Steve Reeves, David Streader
Data refinement and singleton failures refinement are not equivalent. Formal Aspects Comput. 20 (3) (2008)
Steve Reeves, David Streader
General Refinement, Part One: Interfaces, Determinism and Special Refinement. Electron. Notes Theor. Comput. Sci. 214 (2008)
Steve Reeves, David Streader
General Refinement, Part Two: Flexible Refinement. Electron. Notes Theor. Comput. Sci. 214 (2008)
Petra Malik, Robi Malik, David Streader, Steve Reeves
Modular Synthesis of Discrete Controllers. ICECCS (2007)
Steve Reeves, David Streader
Feature Refinement. SEFM (2007)
Robi Malik, David Streader, Steve Reeves
Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17 (4) (2006)
Steve Reeves, David Streader
Stepwise Refinement of Processes. Electron. Notes Theor. Comput. Sci. 160 (2006)
Steve Reeves, David Streader
Constructing Programs or Processes. J. Univers. Comput. Sci. 11 (12) (2005)
Robi Malik, David Streader, Steve Reeves
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA (2004)
Steve Reeves, David Streader
Atomic Components. ICTAC (2004)
Steve Reeves, David Streader
Comparison of Data and Process Refinement. ICFEM (2003)

David Streader.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Streader