dblp.uni-trier.dewww.uni-trier.de

Jane Sinclair

J. E. Sinclair

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
17EEJason R. C. Nurse, Jane Sinclair: Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development. BIS 2009: 61-72
2007
16EEJoy N. Reed, A. W. Roscoe, J. E. Sinclair: Responsiveness and stable revivals. Formal Asp. Comput. 19(3): 303-319 (2007)
2006
15EEJoy N. Reed, A. W. Roscoe, Jane Sinclair: Machine-Verifiable Responsiveness. Electr. Notes Theor. Comput. Sci. 145: 185-200 (2006)
2005
14EEChien-An Chen, Sara Kalvala, Jane Sinclair: Race Conditions in Message Sequence Charts. APLAS 2005: 195-211
13EEChien-An Chen, Sara Kalvala, Jane Sinclair: Race-free Scenarios of Message Sequence Charts. APSEC 2005: 138-148
12EEChien-An Chen, Sara Kalvala, Jane Sinclair: A Process-Based Semantics for Message Sequence Charts with Data. Australian Software Engineering Conference 2005: 130-139
2004
11EEJoy N. Reed, Jane Sinclair: Motivating Study of Formal Methods in the Classroom. TFM 2004: 32-46
10EEJoy N. Reed, J. E. Sinclair, A. W. Roscoe: Responsiveness of interoperating components. Formal Asp. Comput. 16(4): 394-411 (2004)
2001
9EEJoy N. Reed, Jane Sinclair: Combining Independent Specifications. FASE 2001: 45-59
2000
8EEJoy N. Reed, J. E. Sinclair: Refinement-Preserving Plug-In Components. Electr. Notes Theor. Comput. Sci. 40: (2000)
7EEMeurig 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
3EEJane 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)