David Streader

23 papers B 5C 2Misc 1Journal 6Unranked 8

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. NFM James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon
2022	J	`jnl`	More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. CoRR James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon
2016	B	`conf`	Towards SDN Network Proofs - Taming a Complex System. ICECCS Matt Stevens, Bryan C. K. Ng, David Streader, Ian Welch
2015	Misc	`conf`	Global and local knowledge in SDN. ITNAC Matt Stevens, Bryan C. K. Ng, David Streader, Ian Welch
2011	J	`jnl`	Contexts, refinement and determinism. Sci. Comput. Program. Steve Reeves, David Streader
2011	J	`jnl`	EvolvingWeb-Based Test Automation into Agile Business Specifications. Future Internet Rick Mugridge, Mark Utting, David Streader
2011	—	`conf`	Refinement for Probabilistic Systems with Nondeterminism Refine@FM Steve Reeves, David Streader
2010	—	`conf`	Anonymous Mobile Service Collaboration: Quality of Service. From Active Data Management to Event-Based Systems and More Annika Hinze, Michael Rinck, David Streader
2009	B	`conf`	A Robust Semantics Hides Fewer Errors. FM Steve Reeves, David Streader
2009	—	`conf`	Guarded Operations, Refinement and Simulation. REFINE@FMWeek Steve Reeves, David Streader
2008	J	`jnl`	Data refinement and singleton failures refinement are not equivalent. Formal Aspects Comput. Steve Reeves, David Streader
2008	—	`conf`	General Refinement, Part One: Interfaces, Determinism and Special Refinement. Refine@FM Steve Reeves, David Streader
2008	—	`conf`	General Refinement, Part Two: Flexible Refinement. Refine@FM Steve Reeves, David Streader
2007	B	`conf`	Feature Refinement. SEFM Steve Reeves, David Streader
2007	—	`conf`	Generic Tools via General Refinement. TTSS Steve Reeves, David Streader
2007	B	`conf`	Modular Synthesis of Discrete Controllers. ICECCS Petra Malik, Robi Malik, David Streader, Steve Reeves
2006	J	`jnl`	Conflicts and Fair Testing. Int. J. Found. Comput. Sci. Robi Malik, David Streader, Steve Reeves
2005	J	`jnl`	Constructing Programs or Processes. J. Univers. Comput. Sci. Steve Reeves, David Streader
2005	—	`conf`	Stepwise Refinement of Processes. FACS Steve Reeves, David Streader
2004	C	`conf`	Atomic Components. ICTAC Steve Reeves, David Streader
2004	B	`conf`	Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA Robi Malik, David Streader, Steve Reeves
2003	C	`conf`	Comparison of Data and Process Refinement. ICFEM Steve Reeves, David Streader
2000	—	`—`	Abstraction and refinement of process actions. David Streader