Saraswati Kalvala
List of publications from the DBLP Bibliography Server - FAQ
| 2005 | ||
|---|---|---|
| 12 | EE | Chien-An Chen, Sara Kalvala, Jane Sinclair: Race Conditions in Message Sequence Charts. APLAS 2005: 195-211 |
| 11 | EE | Chien-An Chen, Sara Kalvala, Jane Sinclair: Race-free Scenarios of Message Sequence Charts. APSEC 2005: 138-148 |
| 10 | 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 |
| 2003 | ||
| 9 | EE | Berndt Farwer, Saraswati Kalvala, Kundan Misra: Controller Synthesis for Object Petri Nets. ICFEM 2003: 432-451 |
| 1998 | ||
| 8 | Marco Benini, Sara Kalvala, Dirk Nowotka: Program Abstraction in a Higher-Order Logic Framework. TPHOLs 1998: 33-48 | |
| 1995 | ||
| 7 | Sara Kalvala: A Formulation of TLA in Isabelle. TPHOLs 1995: 214-228 | |
| 1994 | ||
| 6 | Saraswati Kalvala: Annotations in Formal Specifications and Proofs. Formal Methods in System Design 5(1/2): 119-144 (1994) | |
| 1993 | ||
| 5 | Sara Kalvala: Using Isabelle to Prove Simple Theorems. HUG 1993: 514-517 | |
| 1992 | ||
| 4 | Saraswati Kalvala, Myla Archer, Karl N. Levitt: Implementation and Use of Annotations in HOL. TPHOLs 1992: 407-426 | |
| 3 | Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala: Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit. TPHOLs 1992: 427-447 | |
| 1991 | ||
| 2 | Sara Kalvala: Developing an Interface for HOL. TPHOLs 1991: 305-317 | |
| 1 | Sara Kalvala: HOL Around the World. TPHOLs 1991: 4-12 | |
| 1 | Myla Archer | [3] [4] |
| 2 | Marco Benini | [8] |
| 3 | Chien-An Chen | [10] [11] [12] |
| 4 | Berndt Farwer | [9] |
| 5 | Karl N. Levitt | [3] [4] |
| 6 | Kundan Misra | [9] |
| 7 | Dirk Nowotka | [8] |
| 8 | Jing Pan | [3] |
| 9 | Jane Sinclair (J. E. Sinclair) | [10] [11] [12] |