Saraswati Kalvala
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
13 | EE | Richard Warburton, Sara Kalvala: From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. CC 2009: 17-31 |
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] |
10 | Richard Warburton | [13] |