Savi Maharaj

17 papers A* 1B 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2019 J jnl
A comparison of two methods of using a serious game for teaching marine ecology in a university setting.
Int. J. Hum. Comput. Stud.
Omair Z. Ameerbakhsh, Savi Maharaj, Amir Hussain, Bruce J. McAdam
2016 — conf
An exploratory case study of interactive simulation for teaching Ecology.
ITHET
Omair Ameerbakhsh, Savi Maharaj, Amir Hussain, Tim Paine, Solene Taiksi
2013 — conf
Reflections on a virtual experiment addressing human behavior during epidemics.
SummerSim
Liam Delaney, Adam Kleczkowski, Savi Maharaj, Susan Rasmussen, Lynn Williams
2010 — conf
Stay at home, wash your hands: epidemic dynamics with awareness of infection.
SummerSim
Adam Kleczkowski, Savi Maharaj
2008 J jnl
Flexible and configurable verification policies with Omnibus.
Softw. Syst. Model.
Thomas Wilson, Savi Maharaj, Robert G. Clark
2006 J jnl
Preface.
Theor. Comput. Sci.
Savi Maharaj, Carron Shankland, Charles Rattray
2005 B conf
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.
SEFM
Thomas Wilson, Savi Maharaj, Robert G. Clark
2004 — ed.
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
AMAST
Charles Rattray, Savi Maharaj, Carron Shankland
2003 J jnl
Editorial.
Formal Aspects Comput.
John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
2002 J jnl
A Modal Logic for Full LOTOS based on Symbolic Transition Systems.
Comput. J.
Muffy Calder, Savi Maharaj, Carron Shankland
2001 — conf
An Adequate Logic for Full LOTOS.
FME
Muffy Calder, Savi Maharaj, Carron Shankland
2000 J jnl
A Survey of Formal Methods Applied to Leader Election in IEEE 1394.
J. Univers. Comput. Sci.
Savi Maharaj, Carron Shankland
1998 — ch.
On the Verification of VDM Specification and Refinement with PVS.
Proof in VDM
Sten Agerholm, Juan Bicarregui, Savi Maharaj
1997 A* conf
On the Verification of VDM Specification and Refinement with PVS.
ASE
Savi Maharaj, Juan Bicarregui
1995 J jnl
Studying the ML Module System in HOL.
Comput. J.
Elsa L. Gunter, Savi Maharaj
1994 — conf
Studying the ML Module System in Hol.
TPHOLs
Savi Maharaj, Elsa L. Gunter
1993 — conf
Encoding Z-style Schemas in Type Theory.
TYPES
Savi Maharaj