David Streader

According to our database, David Streader authored at least 22 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme.

James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2016

Towards SDN Network Proofs - Taming a Complex System.

Matt Stevens, Bryan Ng, David Streader, Ian Welch

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

Global and local knowledge in SDN.

Matt Stevens, Bryan Ng, David Streader, Ian Welch

Proceedings of the International Telecommunication Networks and Applications Conference, 2015

2011

Contexts, refinement and determinism.

Steve Reeves, David Streader

Sci. Comput. Program., 2011

EvolvingWeb-Based Test Automation into Agile Business Specifications.

Rick Mugridge, Mark Utting, David Streader

Future Internet, 2011

Refinement for Probabilistic Systems with Nondeterminism

Steve Reeves, David Streader

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

2010

Anonymous Mobile Service Collaboration: Quality of Service.

Annika Hinze, Michael Rinck, David Streader

Proceedings of the From Active Data Management to Event-Based Systems and More, 2010

2009

Guarded Operations, Refinement and Simulation.

Steve Reeves, David Streader

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

A Robust Semantics Hides Fewer Errors.

Steve Reeves, David Streader

Proceedings of the FM 2009: Formal Methods, 2009

2008

Data refinement and singleton failures refinement are not equivalent.

Steve Reeves, David Streader

Formal Aspects Comput., 2008

General Refinement, Part Two: Flexible Refinement.

Steve Reeves, David Streader

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

General Refinement, Part One: Interfaces, Determinism and Special Refinement.

Steve Reeves, David Streader

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

2007

Generic Tools via General Refinement.

Steve Reeves, David Streader

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Feature Refinement.

Steve Reeves, David Streader

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Modular Synthesis of Discrete Controllers.

Petra Malik, Robi Malik, David Streader, Steve Reeves

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Conflicts and Fair Testing.

Robi Malik, David Streader, Steve Reeves

Int. J. Found. Comput. Sci., 2006

2005

Constructing Programs or Processes.

Steve Reeves, David Streader

J. Univers. Comput. Sci., 2005

Stepwise Refinement of Processes.

Steve Reeves, David Streader

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

2004

Atomic Components.

Steve Reeves, David Streader

Proceedings of the Theoretical Aspects of Computing, 2004

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.

Robi Malik, David Streader, Steve Reeves

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Comparison of Data and Process Refinement.

Steve Reeves, David Streader

Proceedings of the Formal Methods and Software Engineering, 2003

2000

Abstraction and refinement of process actions.

David Streader

PhD thesis, 2000