Jane Sinclair

J. E. Sinclair

2009
17	EE	Jason R. C. Nurse, Jane Sinclair: Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development. BIS 2009: 61-72
2007
16	EE	Joy N. Reed, A. W. Roscoe, J. E. Sinclair: Responsiveness and stable revivals. Formal Asp. Comput. 19(3): 303-319 (2007)
2006
15	EE	Joy N. Reed, A. W. Roscoe, Jane Sinclair: Machine-Verifiable Responsiveness. Electr. Notes Theor. Comput. Sci. 145: 185-200 (2006)
2005
14	EE	Chien-An Chen, Sara Kalvala, Jane Sinclair: Race Conditions in Message Sequence Charts. APLAS 2005: 195-211
13	EE	Chien-An Chen, Sara Kalvala, Jane Sinclair: Race-free Scenarios of Message Sequence Charts. APSEC 2005: 138-148
12	EE	Chien-An Chen, Sara Kalvala, Jane Sinclair: A Process-Based Semantics for Message Sequence Charts with Data. Australian Software Engineering Conference 2005: 130-139
2004
11	EE	Joy N. Reed, Jane Sinclair: Motivating Study of Formal Methods in the Classroom. TFM 2004: 32-46
10	EE	Joy N. Reed, J. E. Sinclair, A. W. Roscoe: Responsiveness of interoperating components. Formal Asp. Comput. 16(4): 394-411 (2004)
2001
9	EE	Joy N. Reed, Jane Sinclair: Combining Independent Specifications. FASE 2001: 45-59
2000
8	EE	Joy N. Reed, J. E. Sinclair: Refinement-Preserving Plug-In Components. Electr. Notes Theor. Comput. Sci. 40: (2000)
7	EE	Meurig Beynon, Jaratsri Rungrattanaubol, Jane Sinclair: Formal Specification from an Observation-oriented Perspective. J. UCS 6(4): 407-421 (2000)
1999
6		Joy N. Reed, J. E. Sinclair, F. Guigand: Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. IFM 1999: 375-394
5		Joy N. Reed, J. E. Sinclair: Routing - A Challenge to Formal Methods. PDPTA 1999: 305-311
1997
4		Jane Sinclair: Action Systems for Security Specification. Journal of Computer Security 5(2): 129-154 (1997)
1996
3	EE	Jane Sinclair: Action Systems for Security Specification. CSFW 1996: 102-
1995
2		Jane Sinclair, Jim Woodcock: Event Refinement in State-Based Concurrent Systems. Formal Asp. Comput. 7(3): 266-288 (1995)
1994
1		H. W. Yau, K. A. Cliffe, J. E. Sinclair, P. J. Sumner: The Parallelization of the AEA Probabilistic Safety Assessment Program, MASCOT. HPCN 1994: 346-351

Coauthor Index

1	Meurig Beynon	[7]
2	Chien-An Chen	[12] [13] [14]
3	K. A. Cliffe	[1]
4	F. Guigand	[6]
5	Sara Kalvala (Saraswati Kalvala)	[12] [13] [14]
6	Jason R. C. Nurse	[17]
7	Joy N. Reed	[5] [6] [8] [9] [10] [11] [15] [16]
8	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[10] [15] [16]
9	Jaratsri Rungrattanaubol	[7]
10	P. J. Sumner	[1]
11	Jim Woodcock (J. C. P. Woodcock)	[2]
12	H. W. Yau	[1]

Colors in the list of coauthors