The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mandayam K. Srivas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Deepak Kapur, Mandayam K. Srivas
    A Rewrite Rule Based Approach for Synthesizing Abstract Data Types. [Citation Graph (1, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:188-207 [Conf]
  2. Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
    Verifying Advanced Microarchitectures that Support Speculation and Exceptions. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:521-537 [Conf]
  3. Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan
    Decomposing the Proof of Correctness of pipelined Microprocessors. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:122-134 [Conf]
  4. Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
    PVS: Combining Specification, Proof Checking, and Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:411-414 [Conf]
  5. S. Rajan, Natarajan Shankar, Mandayam K. Srivas
    An Integration of Model Checking with Automated Proof Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:84-97 [Conf]
  6. Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
    Modular Verification of SRT Division. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:123-134 [Conf]
  7. Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
    A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:8-22 [Conf]
  8. Chilukuri K. Mohan, Mandayam K. Srivas
    Conditional Specification with Inequational Assumptions. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:161-178 [Conf]
  9. Mandayam K. Srivas, Harald Rueß, David Cyrluk
    Hardware Verification Using PVS. [Citation Graph (0, 0)][DBLP]
    Formal Hardware Verification, 1997, pp:156-205 [Conf]
  10. Nai-Chi Lee, David R. Smith, Mandayam K. Srivas
    Deriving Module Interconnectivity from Behavioral Specifications and Coupling a VLSI Layout Editor for Error-Free Routing. [Citation Graph (0, 0)][DBLP]
    FJCC, 1986, pp:864-869 [Conf]
  11. Jieh Hsiang, Mandayam K. Srivas
    PROLOG-Based Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1985, pp:129-149 [Conf]
  12. Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur
    Reasoning in Systems of Equations and Inequations. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1987, pp:305-325 [Conf]
  13. David A. Cyrluk, Mandayam K. Srivas
    Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. [Citation Graph (0, 0)][DBLP]
    ICCD, 1995, pp:538-0 [Conf]
  14. David Cyrluk, John M. Rushby, Mandayam K. Srivas
    Systematic Formal Verification of Interpreters. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:140-0 [Conf]
  15. Mark Bickford, Mandayam K. Srivas
    Verification of a Pipelined Microprocessor Using Clio. [Citation Graph (0, 0)][DBLP]
    Hardware Specification, Verification and Synthesis, 1989, pp:307-332 [Conf]
  16. Deepak Kapur, Mandayam K. Srivas
    Expressiveness of the Operation Set of a Data Abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 1980, pp:139-153 [Conf]
  17. Chilukuri K. Mohan, Mandayam K. Srivas
    Negation with Logical Variables in Conditional Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:292-310 [Conf]
  18. Jieh Hsiang, Mandayam K. Srivas
    A PROLOG Environment for Developing and Reasoning about Data Types. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:276-293 [Conf]
  19. Mark Bickford, Mandayam K. Srivas
    Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification. [Citation Graph (0, 0)][DBLP]
    TPCD, 1992, pp:225-251 [Conf]
  20. David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas
    Effective Theorem Proving for Hardware Verification. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:203-222 [Conf]
  21. Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
    A Tutorial on Using PVS for Hardware Verification. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:258-279 [Conf]
  22. John M. Rushby, Mandayam K. Srivas
    Using PVS to Prove Some Theorems Of David Parnas. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:163-173 [Conf]
  23. S. P. Rajan, Natarajan Shankar, Mandayam K. Srivas
    Industrial Strength Formal Verification Techniques for Hardware Designs. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 1997, pp:208-212 [Conf]
  24. Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
    A Practical Methodology for Verifying Pipelined Microarchitectures. [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 2003, v:20, n:4, pp:4-14 [Journal]
  25. Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
    Formal Verification of a Complex Pipelined Processor. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:23, n:2, pp:171-213 [Journal]
  26. Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
    Modular Verification of SRT Division. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:14, n:1, pp:45-73 [Journal]
  27. Mandayam K. Srivas, Steven P. Miller
    Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1996, v:8, n:2, pp:153-188 [Journal]
  28. Chilukuri K. Mohan, Mandayam K. Srivas
    Function Definitions in Term Rewriting and Applicative Programming [Citation Graph (0, 0)][DBLP]
    Information and Control, 1986, v:71, n:3, pp:186-217 [Journal]
  29. Ganesh Gopalakrishnan, Mandayam K. Srivas
    Implementing Functional Programs Using Mutable Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:26, n:6, pp:277-286 [Journal]
  30. Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur
    Inference Rules and Proof Procedures for Inequations. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1990, v:9, n:1, pp:75-104 [Journal]
  31. Deepak Kapur, Mandayam K. Srivas
    Computability and Implementability Issues in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1988, v:10, n:1, pp:33-63 [Journal]
  32. Mandayam K. Srivas, Mark Bickford
    Formal Verification of a Pipelined Microprocessor. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1990, v:7, n:5, pp:52-64 [Journal]
  33. Jieh Hsiang, Mandayam K. Srivas
    Automatic Inductive Theorem Proving Using Prolog. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:3-28 [Journal]

Search in 0.021secs, Finished in 0.022secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002