Joy N. Reed

2007
14	EE	Joy N. Reed, A. W. Roscoe, J. E. Sinclair: Responsiveness and stable revivals. Formal Asp. Comput. 19(3): 303-319 (2007)
2006
13	EE	Joy N. Reed, A. W. Roscoe, Jane Sinclair: Machine-Verifiable Responsiveness. Electr. Notes Theor. Comput. Sci. 145: 185-200 (2006)
2004
12	EE	Joy N. Reed, Jane Sinclair: Motivating Study of Formal Methods in the Classroom. TFM 2004: 32-46
11	EE	Joy N. Reed, J. E. Sinclair, A. W. Roscoe: Responsiveness of interoperating components. Formal Asp. Comput. 16(4): 394-411 (2004)
2001
10	EE	Joy N. Reed, Jane Sinclair: Combining Independent Specifications. FASE 2001: 45-59
2000
9	EE	Joy N. Reed, J. E. Sinclair: Refinement-Preserving Plug-In Components. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
8		Joy N. Reed, J. E. Sinclair, F. Guigand: Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. IFM 1999: 375-394
7		S. J. Creese, Joy N. Reed: Verifying End-to-End Protocols using Induction with CSP/FDR. IPPS/SPDP Workshops 1999: 1243-1257
6		Joy N. Reed, J. E. Sinclair: Routing - A Challenge to Formal Methods. PDPTA 1999: 305-311
1998
5	EE	Joy N. Reed, D. M. Jackson, B. Deianov, George M. Reed: Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. FASE 1998: 239-254
1997
4		Joy N. Reed: Formal Methods and Industrial-Strength Computer Networks. Requirements Targeting Software and Systems Engineering 1997: 223-233
1996
3		Joy N. Reed, Kevin Parrott, Tim Lanfear: Portability, predictability and performance for parallel computing: BSP in practice. Concurrency - Practice and Experience 8(10): 799-812 (1996)
1993
2	EE	Andrew Kay, Joy N. Reed: A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. IEEE Trans. Software Eng. 19(6): 625-639 (1993)
1991
1		Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe: Timed CSP: Theory and Practice. REX Workshop 1991: 640-675

Coauthor Index

1	S. J. Creese	[7]
2	Jim Davies	[1]
3	B. Deianov	[5]
4	F. Guigand	[8]
5	D. M. Jackson	[1] [5]
6	Andrew Kay	[2]
7	Tim Lanfear	[3]
8	Kevin Parrott	[3]
9	George M. Reed	[1] [5]
10	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[1] [11] [13] [14]
11	Steve A. Schneider (Steve Schneider)	[1]
12	Jane Sinclair (J. E. Sinclair)	[6] [8] [9] [10] [11] [12] [13] [14]

Colors in the list of coauthors