Joy N. Reed

According to our database, Joy N. Reed authored at least 14 papers between 1991 and 2007.

Collaborative distances:

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

2007

Responsiveness and stable revivals.

Joy N. Reed, A. W. Roscoe, Jane E. Sinclair

Formal Aspects Comput., 2007

2005

Machine-Verifiable Responsiveness.

Joy N. Reed, A. W. Roscoe, Jane E. Sinclair

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

2004

Responsiveness of interoperating components.

Joy N. Reed, Jane E. Sinclair, A. W. Roscoe

Formal Aspects Comput., 2004

Motivating Study of Formal Methods in the Classroom.

Joy N. Reed, Jane E. Sinclair

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

2001

Combining Independent Specifications.

Joy N. Reed, Jane E. Sinclair

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

Refinement-Preserving Plug-In Components.

Joy N. Reed, Jane E. Sinclair

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

Routing - A Challenge to Formal Methods.

Joy N. Reed, Jane E. Sinclair

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Verifying End-to-End Protocols using Induction with CSP/FDR.

S. J. Creese, Joy N. Reed

Proceedings of the Parallel and Distributed Processing, 1999

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development.

Joy N. Reed, Jane E. Sinclair, F. Guigand

Proceedings of the Integrated Formal Methods, 1999

1998

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms.

Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

Formal Methods and Industrial-Strength Computer Networks.

Joy N. Reed

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

1996

Portability, predictability and performance for parallel computing: BSP in practice.

Joy N. Reed, Kevin Parrott, Tim Lanfear

Concurr. Pract. Exp., 1996

1993

A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.

Andrew Kay, Joy N. Reed

IEEE Trans. Software Eng., 1993

1991

Timed CSP: Theory and Practice.

Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe

Proceedings of the Real-Time: Theory in Practice, 1991