| 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 |
