2008 |
12 | EE | Thomas Wilson,
Savi Maharaj,
Robert G. Clark:
Flexible and configurable verification policies with Omnibus.
Software and System Modeling 7(3): 257-272 (2008) |
2006 |
11 | EE | Savi Maharaj,
Carron Shankland,
Charles Rattray:
Preface.
Theor. Comput. Sci. 351(2): 129-130 (2006) |
2005 |
10 | EE | Thomas Wilson,
Savi Maharaj,
Robert G. Clark:
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.
SEFM 2005: 150-159 |
2004 |
9 | | Charles Rattray,
Savi Maharaj,
Carron Shankland:
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Springer 2004 |
2003 |
8 | EE | John Cooke,
Savi Maharaj,
Judi Romijn,
Carron Shankland:
Editorial.
Formal Asp. Comput. 14(3): 199 (2003) |
2002 |
7 | EE | Muffy Calder,
Savi Maharaj,
Carron Shankland:
A Modal Logic for Full LOTOS based on Symbolic Transition Systems.
Comput. J. 45(1): 55-61 (2002) |
2001 |
6 | EE | Muffy Calder,
Savi Maharaj,
Carron Shankland:
An Adequate Logic for Full LOTOS.
FME 2001: 384-395 |
2000 |
5 | EE | Savi Maharaj,
Carron Shankland:
A Survey of Formal Methods Applied to Leader Election in IEEE 1394.
J. UCS 6(11): 1145-1163 (2000) |
1997 |
4 | EE | Savi Maharaj,
Juan Bicarregui:
On the Verification of VDM Specification and Refinement with PVS.
ASE 1997: 280- |
1995 |
3 | | Elsa L. Gunter,
Savi Maharaj:
Studying the ML Module System in HOL.
Comput. J. 38(2): 142-151 (1995) |
1994 |
2 | | Savi Maharaj,
Elsa L. Gunter:
Studying the ML Module System in Hol.
TPHOLs 1994: 346-361 |
1993 |
1 | | Savi Maharaj:
Encoding Z-style Schemas in Type Theory.
TYPES 1993: 238-262 |