| * | 2009 |
|---|
| 14 | EE | Richard Warburton,
Sara Kalvala:
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode.
CC 2009: 17-31 |
| 13 | EE | Sara Kalvala,
Richard Warburton,
David Lacey:
Program transformations using temporal logic side conditions.
ACM Trans. Program. Lang. Syst. 31(4): (2009) |
| 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 | EE | Marco Benini,
Sara Kalvala,
Dirk Nowotka:
Program Abstraction in a Higher-Order Logic Framework.
TPHOLs 1998: 33-48 |
| 1995 |
|---|
| 7 | EE | 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 | EE | 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 |
