Sara Kalvala

Saraswati Kalvala

	2011
c13		Sara Kalvala, Richard Warburton: A Formal Approach to Fixing Bugs. SBMF 2011: 172-187
	2010
j3		Antony B. Holmes, Sara Kalvala, David E. Whitworth: Spatial Simulations of Myxobacterial Development. PLoS Computational Biology 6(2) (2010)
	2009
j2		Sara Kalvala, Richard Warburton, David Lacey: Program transformations using temporal logic side conditions. ACM Trans. Program. Lang. Syst. 31(4) (2009)
c12		Richard Warburton, Sara Kalvala: From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. CC 2009: 17-31
	2005
c11		Chien-An Chen, Sara Kalvala, Jane Sinclair: Race Conditions in Message Sequence Charts. APLAS 2005: 195-211
c10		Chien-An Chen, Sara Kalvala, Jane Sinclair: Race-free Scenarios of Message Sequence Charts. APSEC 2005: 138-148
c9		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
c8		Berndt Farwer, Saraswati Kalvala, Kundan Misra: Controller Synthesis for Object Petri Nets. ICFEM 2003: 432-451
	1998
c7		Marco Benini, Sara Kalvala, Dirk Nowotka: Program Abstraction in a Higher-Order Logic Framework. TPHOLs 1998: 33-48
	1995
c6		Sara Kalvala: A Formulation of TLA in Isabelle. TPHOLs 1995: 214-228
	1994
j1		Saraswati Kalvala: Annotations in Formal Specifications and Proofs. Formal Methods in System Design 5(1/2): 119-144 (1994)
	1993
c5		Sara Kalvala: Using Isabelle to Prove Simple Theorems. HUG 1993: 514-517
	1992
c4		Saraswati Kalvala, Myla Archer, Karl N. Levitt: Implementation and Use of Annotations in HOL. TPHOLs 1992: 407-426
c3		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
c2		Sara Kalvala: HOL Around the World. TPHOLs 1991: 4-12
c1		Sara Kalvala: Developing an Interface for HOL. TPHOLs 1991: 305-317

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 08:44:36 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page