Sara Kalvala

Saraswati Kalvala

	2009
14		Richard Warburton, Sara Kalvala: From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. CC 2009: 17-31
13		Sara Kalvala, Richard Warburton, David Lacey: Program transformations using temporal logic side conditions. ACM Trans. Program. Lang. Syst. 31(4): (2009)
	2005
12		Chien-An Chen, Sara Kalvala, Jane Sinclair: Race Conditions in Message Sequence Charts. APLAS 2005: 195-211
11		Chien-An Chen, Sara Kalvala, Jane Sinclair: Race-free Scenarios of Message Sequence Charts. APSEC 2005: 138-148
10		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		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

Coauthor Index

1	Myla Archer	[3] [4]
2	Marco Benini	[8]
3	Chien-An Chen	[10] [11] [12]
4	Berndt Farwer	[9]
5	David Lacey	[13]
6	Karl N. Levitt	[3] [4]
7	Kundan Misra	[9]
8	Dirk Nowotka	[8]
9	Jing Pan	[3]
10	Jane Sinclair (J. E. Sinclair)	[10] [11] [12]
11	Richard Warburton	[13] [14]

Colors in the list of coauthors