Search the dblp DataBase

Publications of Author

1. Muffy Calder, Savi Maharaj, Carron Shankland
   An Adequate Logic for Full LOTOS. [Citation Graph (0, 0)][DBLP]
   FME, 2001, pp:384-395 [Conf]
   
2. Savi Maharaj, Juan Bicarregui
   On the Verification of VDM Specification and Refinement with PVS. [Citation Graph (0, 0)][DBLP]
   ASE, 1997, pp:280-0 [Conf]
   
3. Thomas Wilson, Savi Maharaj, Robert G. Clark
   Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. [Citation Graph (0, 0)][DBLP]
   SEFM, 2005, pp:150-159 [Conf]
   
4. Savi Maharaj, Elsa L. Gunter
   Studying the ML Module System in Hol. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1994, pp:346-361 [Conf]
   
5. Savi Maharaj
   Encoding Z-style Schemas in Type Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:238-262 [Conf]
   
6. Muffy Calder, Savi Maharaj, Carron Shankland
   A Modal Logic for Full LOTOS based on Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:55-61 [Journal]
   
7. Elsa L. Gunter, Savi Maharaj
   Studying the ML Module System in HOL. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1995, v:38, n:2, pp:142-151 [Journal]
   
8. John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:14, n:3, pp:199- [Journal]
   
9. Savi Maharaj, Carron Shankland
   A Survey of Formal Methods Applied to Leader Election in IEEE 1394. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2000, v:6, n:11, pp:1145-1163 [Journal]
   
10. Savi Maharaj, Carron Shankland, Charles Rattray
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:2, pp:129-130 [Journal]