Joy N. Reed

14 papers B 3Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2007 J jnl
Responsiveness and stable revivals.
Formal Aspects Comput.
Joy N. Reed, A. W. Roscoe, Jane E. Sinclair
2005 — conf
Machine-Verifiable Responsiveness.
AVoCS
Joy N. Reed, A. W. Roscoe, Jane E. Sinclair
2004 — conf
Motivating Study of Formal Methods in the Classroom.
TFM
Joy N. Reed, Jane E. Sinclair
2004 J jnl
Responsiveness of interoperating components.
Formal Aspects Comput.
Joy N. Reed, Jane E. Sinclair, A. W. Roscoe
2001 B conf
Combining Independent Specifications.
FASE
Joy N. Reed, Jane E. Sinclair
2000 — conf
Refinement-Preserving Plug-In Components.
MFCSIT
Joy N. Reed, Jane E. Sinclair
1999 B conf
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development.
IFM
Joy N. Reed, Jane E. Sinclair, F. Guigand
1999 Misc conf
Routing - A Challenge to Formal Methods.
PDPTA
Joy N. Reed, Jane E. Sinclair
1999 — conf
Verifying End-to-End Protocols using Induction with CSP/FDR.
IPPS/SPDP Workshops
S. J. Creese, Joy N. Reed
1998 B conf
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms.
FASE
Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed
1997 — conf
Formal Methods and Industrial-Strength Computer Networks.
Requirements Targeting Software and Systems Engineering
Joy N. Reed
1996 J jnl
Portability, predictability and performance for parallel computing: BSP in practice.
Concurr. Pract. Exp.
Joy N. Reed, Kevin Parrott, Tim Lanfear
1993 J jnl
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.
IEEE Trans. Software Eng.
Andrew Kay, Joy N. Reed
1991 — conf
Timed CSP: Theory and Practice.
REX Workshop
Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe