J. E. Sinclair
List of publications from the DBLP Bibliography Server - FAQ
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 |
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] |