The SCEAS System
| |||||||

## Search the dblp DataBase
Mandayam K. Srivas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
**Modular Verification of SRT Division.**[Citation Graph (0, 0)][DBLP] CAV, 1996, pp:123-134 [Conf] - 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] - Chilukuri K. Mohan, Mandayam K. Srivas
**Conditional Specification with Inequational Assumptions.**[Citation Graph (0, 0)][DBLP] CTRS, 1987, pp:161-178 [Conf] - Mandayam K. Srivas, Harald Rueß, David Cyrluk
**Hardware Verification Using PVS.**[Citation Graph (0, 0)][DBLP] Formal Hardware Verification, 1997, pp:156-205 [Conf] - 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] - Jieh Hsiang, Mandayam K. Srivas
**PROLOG-Based Inductive Theorem Proving.**[Citation Graph (0, 0)][DBLP] FSTTCS, 1985, pp:129-149 [Conf] - 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] - 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] - David Cyrluk, John M. Rushby, Mandayam K. Srivas
**Systematic Formal Verification of Interpreters.**[Citation Graph (0, 0)][DBLP] ICFEM, 1997, pp:140-0 [Conf] - 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] - 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] - Chilukuri K. Mohan, Mandayam K. Srivas
**Negation with Logical Variables in Conditional Rewriting.**[Citation Graph (0, 0)][DBLP] RTA, 1989, pp:292-310 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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.005secs, Finished in 0.006secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |