Search the dblp DataBase

Publications of Author

1. Chien-An Chen, Sara Kalvala, Jane Sinclair
   Race Conditions in Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   APLAS, 2005, pp:195-211 [Conf]
   
2. Chien-An Chen, Sara Kalvala, Jane Sinclair
   Race-free Scenarios of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   APSEC, 2005, pp:138-148 [Conf]
   
3. Chien-An Chen, Sara Kalvala, Jane Sinclair
   A Process-Based Semantics for Message Sequence Charts with Data. [Citation Graph (0, 0)][DBLP]
   Australian Software Engineering Conference, 2005, pp:130-139 [Conf]
   
4. Jane Sinclair
   Action Systems for Security Specification. [Citation Graph (0, 0)][DBLP]
   CSFW, 1996, pp:102-0 [Conf]
   
5. Joy N. Reed, Jane Sinclair
   Combining Independent Specifications. [Citation Graph (0, 0)][DBLP]
   FASE, 2001, pp:45-59 [Conf]
   
6. Joy N. Reed, Jane Sinclair
   Motivating Study of Formal Methods in the Classroom. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:32-46 [Conf]
   
7. Joy N. Reed, A. W. Roscoe, Jane Sinclair
   Machine-Verifiable Responsiveness. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:185-200 [Journal]
   
8. Jane Sinclair, Jim Woodcock
   Event Refinement in State-Based Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:3, pp:266-288 [Journal]
   
9. Jane Sinclair
   Action Systems for Security Specification. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 1997, v:5, n:2, pp:129-154 [Journal]
   
10. Meurig Beynon, Jaratsri Rungrattanaubol, Jane Sinclair
    Formal Specification from an Observation-oriented Perspective. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:4, pp:407-421 [Journal]
    
11. 
    Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development. [Citation Graph (, )][DBLP]
    
    
12. 
    BOF4WSS: A Business-Oriented Framework for Enhancing Web Services Security for e-Business. [Citation Graph (, )][DBLP]