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. Marco Benini, Sara Kalvala, Dirk Nowotka
   Program Abstraction in a Higher-Order Logic Framework. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1998, pp:33-48 [Conf]
   
5. Sara Kalvala
   HOL Around the World. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1991, pp:4-12 [Conf]
   
6. Sara Kalvala
   Developing an Interface for HOL. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1991, pp:305-317 [Conf]
   
7. Sara Kalvala
   Using Isabelle to Prove Simple Theorems. [Citation Graph (0, 0)][DBLP]
   HUG, 1993, pp:514-517 [Conf]
   
8. Sara Kalvala
   A Formulation of TLA in Isabelle. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:214-228 [Conf]
   
9. 
   From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. [Citation Graph (, )][DBLP]