Sara Kalvala

According to our database, Sara Kalvala authored at least 27 papers between 1991 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Postcondition-preserving fusion of postorder tree transformations.

Eleanor Davies, Sara Kalvala

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

A P system model of swarming and aggregation in a Myxobacterial colony.

Anthony Nash, Sara Kalvala

J. Membr. Comput., 2019

2016

Student engagement in massive open online courses.

Jane E. Sinclair, Sara Kalvala

Int. J. Learn. Technol., 2016

On the importance of modelling the internal spatial dynamics of biological cells.

Faiz Sayyid, Sara Kalvala

Biosyst., 2016

Comparing international indicators of student engagement for computer science.

Matthew Butler, Jane E. Sinclair, Michael Morgan, Sara Kalvala

Proceedings of the Australasian Computer Science Week Multiconference, 2016

2015

Exploring societal factors affecting the experience and engagement of first year female computer science undergraduates.

Jane E. Sinclair, Sara Kalvala

Proceedings of the 15th Koli Calling Conference on Computing Education Research, 2015

Engagement Measures in Massive Open Online Courses.

Jane E. Sinclair, Sara Kalvala

Proceedings of the Learning Technology for Education in Cloud - 4th International Workshop, 2015

Measures of Student Engagement in Computer Science.

Jane E. Sinclair, Matthew Butler, Michael Morgan, Sara Kalvala

Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

PlasMatch: a tool for choosing usable restriction enzymes and plasmid backbones.

Shivani Goel, Sara Kalvala

Proceedings of the 6th ACM Conference on Bioinformatics, 2015

Constraint-Based Genetic Compilation.

Christophe Ladroue, Sara Kalvala

Proceedings of the Algorithms for Computational Biology, 2015

2014

Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates.

Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe, Christophe Ladroue, Sara Kalvala

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

2011

A Formal Approach to Fixing Bugs.

Sara Kalvala, Richard Warburton

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

Spatial Simulations of Myxobacterial Development.

Antony B. Holmes, Sara Kalvala, David E. Whitworth

PLoS Comput. Biol., 2010

2009

Program transformations using temporal logic side conditions.

Sara Kalvala, Richard Warburton, David Lacey

ACM Trans. Program. Lang. Syst., 2009

From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode.

Richard Warburton, Sara Kalvala

Proceedings of the Compiler Construction, 18th International Conference, 2009

2005

A Process-Based Semantics for Message Sequence Charts with Data.

Chien-An Chen, Sara Kalvala, Jane E. Sinclair

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Race-free Scenarios of Message Sequence Charts.

Chien-An Chen, Sara Kalvala, Jane E. Sinclair

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Race Conditions in Message Sequence Charts.

Chien-An Chen, Sara Kalvala, Jane E. Sinclair

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2003

Controller Synthesis for Object Petri Nets.

Berndt Farwer, Saraswati Kalvala, Kundan Misra

Proceedings of the Formal Methods and Software Engineering, 2003

1998

Program Abstraction in a Higher-Order Logic Framework.

Marco Benini, Sara Kalvala, Dirk Nowotka

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1995

A Formulation of TLA in Isabelle.

Sara Kalvala

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Annotations in Formal Specifications and Proofs.

Saraswati Kalvala

Formal Methods Syst. Des., 1994

1993

Using Isabelle to Prove Simple Theorems.

Sara Kalvala

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1992

Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit.

Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Implementation and Use of Annotations in HOL.

Saraswati Kalvala, Myla Archer, Karl N. Levitt

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

Developing an Interface for HOL.

Sara Kalvala

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

HOL Around the World.

Sara Kalvala

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991