Expressiveness of the Operation Set of a Data Abstraction. - Deepak Kapur; Mandayam K. Srivas (POPL, 1980)

PROLOG-Based Inductive Theorem Proving. - Jieh Hsiang; Mandayam K. Srivas (FSTTCS, 1985)

A PROLOG Environment for Developing and Reasoning about Data Types. - Jieh Hsiang; Mandayam K. Srivas (TAPSOFT, Vol.2, 1985)

A Rewrite Rule Based Approach for Synthesizing Abstract Data Types. - Deepak Kapur; Mandayam K. Srivas (TAPSOFT, Vol.1, 1985)

Deriving Module Interconnectivity from Behavioral Specifications and Coupling a VLSI Layout Editor for Error-Free Routing. - Nai-Chi Lee; David R. Smith; Mandayam K. Srivas (FJCC, 1986)

Function Definitions in Term Rewriting and Applicative Programming - Chilukuri K. Mohan; Mandayam K. Srivas (Inf. Control., 1986)

Conditional Specification with Inequational Assumptions. - Chilukuri K. Mohan; Mandayam K. Srivas (CTRS, 1987)

Reasoning in Systems of Equations and Inequations. - Chilukuri K. Mohan; Mandayam K. Srivas; Deepak Kapur (FSTTCS, 1987)

Automatic Inductive Theorem Proving Using Prolog. - Jieh Hsiang; Mandayam K. Srivas (Theor. Comput. Sci., 1987)

Implementing Functional Programs Using Mutable Abstract Data Types. - Ganesh Gopalakrishnan; Mandayam K. Srivas (Inf. Process. Lett., 1988)

Computability and Implementability Issues in Abstract Data Types. - Deepak Kapur; Mandayam K. Srivas (Sci. Comput. Program., 1988)

Verification of a Pipelined Microprocessor Using Clio. - Mark Bickford; Mandayam K. Srivas (Hardware Specification, Verification and Synthesis, 1989)

Negation with Logical Variables in Conditional Rewriting. - Chilukuri K. Mohan; Mandayam K. Srivas (RTA, 1989)

A Computer-Aided Verification Tool for Finite State Controller Systems. - Mark Bickford; Mandayam K. Srivas (CAV (DIMACS/AMS volume), 1990)

Inference Rules and Proof Procedures for Inequations. - Chilukuri K. Mohan; Mandayam K. Srivas; Deepak Kapur (J. Log. Program., 1990)

Formal Verification of a Pipelined Microprocessor. - Mandayam K. Srivas; Mark Bickford (IEEE Softw., 1990)

Bridging the formal methods gap: a computer-aided verification tool for hardware designs. - Mandayam K. Srivas (Compcon, 1991)

Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification. - Mark Bickford; Mandayam K. Srivas (TPCD, 1992)

Using PVS to Prove Some Theorems Of David Parnas. - John M. Rushby; Mandayam K. Srivas (HUG, 1993)

Effective Theorem Proving for Hardware Verification. - David Cyrluk; S. Rajan; Natarajan Shankar; Mandayam K. Srivas (TPCD, 1994)

A Tutorial on Using PVS for Hardware Verification. - Sam Owre; John M. Rushby; Natarajan Shankar; Mandayam K. Srivas (TPCD, 1994)

An Integration of Model Checking with Automated Proof Checking. - S. Rajan; Natarajan Shankar; Mandayam K. Srivas (CAV, 1995)

Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. - David Cyrluk; Mandayam K. Srivas (ICCD, 1995)

Experiences in applying formal methods to the analysis of software and system requirements. - David Hamilton; Richard Covington; John Kelly; Carron Kirkwood; Muffy Thomas; Alan R. Flora-Holmquist; Mark G. Staskauskas; Steven P. Miller; Mandayam K. Srivas; George Cleland; Donald MacKenzie (WIFT, 1995)

Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods. - Steven P. Miller; Mandayam K. Srivas (WIFT, 1995)

PVS: Combining Specification, Proof Checking, and Model Checking. - Sam Owre; S. Rajan; John M. Rushby; Natarajan Shankar; Mandayam K. Srivas (CAV, 1996)

Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods. - Mandayam K. Srivas; Steven P. Miller (Formal Methods Syst. Des., 1996)

Hardware Verification Using PVS. - Mandayam K. Srivas; Harald Rueß; David Cyrluk (Formal Hardware Verification, 1997)

Systematic Formal Verification of Interpreters. - David Cyrluk; John M. Rushby; Mandayam K. Srivas (ICFEM, 1997)

Industrial Strength Formal Verification Techniques for Hardware Designs. - Sreeranga P. Rajan; Natarajan Shankar; Mandayam K. Srivas (VLSI Design, 1997)

Decomposing the Proof of Correctness of pipelined Microprocessors. - Ravi Hosabettu; Mandayam K. Srivas; Ganesh Gopalakrishnan (CAV, 1998)

A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. - Ravi Hosabettu; Ganesh Gopalakrishnan; Mandayam K. Srivas (CHARME, 1999)

Modular Verification of SRT Division. - Harald Rueß; Natarajan Shankar; Mandayam K. Srivas (Formal Methods Syst. Des., 1999)

Verifying Advanced Microarchitectures that Support Speculation and Exceptions. - Ravi Hosabettu; Ganesh Gopalakrishnan; Mandayam K. Srivas (CAV, 2000)

A Practical Methodology for Verifying Pipelined Microarchitectures. - Ravi Hosabettu; Ganesh Gopalakrishnan; Mandayam K. Srivas (IEEE Des. Test Comput., 2003)

Formal Verification of a Complex Pipelined Processor. - Ravi Hosabettu; Ganesh Gopalakrishnan; Mandayam K. Srivas (Formal Methods Syst. Des., 2003)

Formal Hardware/Software Co-Verification of Embedded Power Controllers. - Pallab Dasgupta; Mandayam K. Srivas; Rajdeep Mukherjee (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Verifying synchronous reactive systems using lazy abstraction. - Kumar Madhukar; Mandayam K. Srivas; Björn Wachter; Daniel Kroening; Ravindra Metta (DATE, 2015)

Accelerating Invariant Generation. - Kumar Madhukar; Björn Wachter; Daniel Kroening; Matt Lewis; Mandayam K. Srivas (FMCAD, 2015)

Equivalence Checking Using Trace Partitioning. - Rajdeep Mukherjee; Daniel Kroening; Tom Melham; Mandayam K. Srivas (ISVLSI, 2015)

Compositional Safety Refutation Techniques. - Kumar Madhukar; Peter Schrammel; Mandayam K. Srivas (ATVA, 2017)

Concurrent Program Verification with Invariant-Guided Underapproximation. - Sumanth Prabhu 001; Peter Schrammel; Mandayam K. Srivas; Michael Tautschnig; Anand Yeolekar (ATVA, 2017)

2LS: Memory Safety and Non-termination - (Competition Contribution). - Viktor Malík; Stefan Marticek; Peter Schrammel; Mandayam K. Srivas; Tomás Vojnar; Johanan Wahlang (TACAS (2), 2018)

A formal methods approach to predicting new features of the eukaryotic vesicle traffic system. - Arnab Bhattacharyya 001; Ashutosh Gupta; Lakshmanan Kuppusamy; Somya Mani; Ankit Shukla 003; Mandayam K. Srivas; Mukund Thattai (Acta Informatica, 2021)

Permutation Invariance of Deep Neural Networks with ReLUs. - Diganta Mukhopadhyay; Kumar Madhukar; Mandayam K. Srivas (NFM, 2022)

Automated Property Directed Self Composition. - Akshatha Shenoy 001; Sumanth Prabhu S; Kumar Madhukar; Ron Shemer; Mandayam K. Srivas (ATVA, 2023)