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.003secs, Finished in 0.302secs