Savi Maharaj

According to our database, Savi Maharaj authored at least 15 papers between 1993 and 2019.

Collaborative distances:

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

2019

A comparison of two methods of using a serious game for teaching marine ecology in a university setting.

Omair Z. Ameerbakhsh, Savi Maharaj, Amir Hussain, Bruce J. McAdam

Int. J. Hum. Comput. Stud., 2019

2016

An exploratory case study of interactive simulation for teaching Ecology.

Omair Ameerbakhsh, Savi Maharaj, Amir Hussain, Tim Paine, Solene Taiksi

Proceedings of the 15th International Conference on Information Technology Based Higher Education and Training, 2016

2013

Reflections on a virtual experiment addressing human behavior during epidemics.

Liam Delaney, Adam Kleczkowski, Savi Maharaj, Susan Rasmussen, Lynn Williams

Proceedings of the 2013 Summer Simulation Multiconference, 2013

2010

Stay at home, wash your hands: epidemic dynamics with awareness of infection.

Adam Kleczkowski, Savi Maharaj

Proceedings of the SummerSim '10, 2010

2008

Flexible and configurable verification policies with Omnibus.

Thomas Wilson, Savi Maharaj, Robert G. Clark

Softw. Syst. Model., 2008

2006

Preface.

Savi Maharaj, Carron Shankland, Charles Rattray

Theor. Comput. Sci., 2006

2005

Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.

Thomas Wilson, Savi Maharaj, Robert G. Clark

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2003

Editorial.

John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland

Formal Aspects Comput., 2003

2002

A Modal Logic for Full LOTOS based on Symbolic Transition Systems.

Muffy Calder, Savi Maharaj, Carron Shankland

Comput. J., 2002

2001

An Adequate Logic for Full LOTOS.

Muffy Calder, Savi Maharaj, Carron Shankland

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

A Survey of Formal Methods Applied to Leader Election in IEEE 1394.

Savi Maharaj, Carron Shankland

J. Univers. Comput. Sci., 2000

1998

On the Verification of VDM Specification and Refinement with PVS.

Sten Agerholm, Juan Bicarregui, Savi Maharaj

Proceedings of the Proof in VDM: Case Studies, 1998

1997

On the Verification of VDM Specification and Refinement with PVS.

Savi Maharaj, Juan Bicarregui

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1995

Studying the ML Module System in HOL.

Elsa L. Gunter, Savi Maharaj

Comput. J., 1995

1993

Encoding Z-style Schemas in Type Theory.

Savi Maharaj

Proceedings of the Types for Proofs and Programs, 1993