Mandayam K. Srivas

Publication Activity (10 Years)

Years Active: 1980-2023
Publications (10 Years): 7

Top Topics

Interactive Dynamic Influence Diagrams

Invariant Representations

Reactive Systems

Top Venues

Acta Informatica

Publications

Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas
Automated Property Directed Self Composition. ATVA (2023)
Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas
Permutation Invariance of Deep Neural Networks with ReLUs. NFM (2022)
Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas
Permutation Invariance of Deep Neural Networks with ReLUs. CoRR (2021)
Arnab Bhattacharyya, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam K. Srivas, Mukund Thattai
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system. Acta Informatica 58 (1-2) (2021)
Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang
2LS: Memory Safety and Non-termination - (Competition Contribution). TACAS (2) (2018)
Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas
Compositional Safety Refutation Techniques. ATVA (2017)
Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar
Concurrent Program Verification with Invariant-Guided Underapproximation. ATVA (2017)
Rajdeep Mukherjee, Daniel Kroening, Tom Melham, Mandayam K. Srivas
Equivalence Checking Using Trace Partitioning. ISVLSI (2015)
Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas
Accelerating Invariant Generation. FMCAD (2015)
Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta
Verifying synchronous reactive systems using lazy abstraction. DATE (2015)
Pallab Dasgupta, Mandayam K. Srivas, Rajdeep Mukherjee
Formal Hardware/Software Co-Verification of Embedded Power Controllers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (12) (2014)
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
A Practical Methodology for Verifying Pipelined Microarchitectures. IEEE Des. Test Comput. 20 (4) (2003)
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
Formal Verification of a Complex Pipelined Processor. Formal Methods Syst. Des. 23 (2) (2003)
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
Verifying Advanced Microarchitectures that Support Speculation and Exceptions. CAV (2000)
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
Modular Verification of SRT Division. Formal Methods Syst. Des. 14 (1) (1999)
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. CHARME (1999)
Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan
Decomposing the Proof of Correctness of pipelined Microprocessors. CAV (1998)
S. P. Rajan, Natarajan Shankar, Mandayam K. Srivas
Industrial Strength Formal Verification Techniques for Hardware Designs. VLSI Design (1997)
Mandayam K. Srivas, Harald Rueß, David Cyrluk
Hardware Verification Using PVS. Formal Hardware Verification (1997)
David Cyrluk, John M. Rushby, Mandayam K. Srivas
Systematic Formal Verification of Interpreters. ICFEM (1997)
Mandayam K. Srivas, Steven P. Miller
Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods. Formal Methods Syst. Des. 8 (2) (1996)
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
Modular Verification of SRT Division. CAV (1996)
Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
PVS: Combining Specification, Proof Checking, and Model Checking. CAV (1996)
David Cyrluk, Mandayam K. Srivas
Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. ICCD (1995)
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
Experiences in applying formal methods to the analysis of software and system requirements. WIFT (1995)
Steven P. Miller, Mandayam K. Srivas
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods. WIFT (1995)
S. Rajan, Natarajan Shankar, Mandayam K. Srivas
An Integration of Model Checking with Automated Proof Checking. CAV (1995)
David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas
Effective Theorem Proving for Hardware Verification. TPCD (1994)
Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
A Tutorial on Using PVS for Hardware Verification. TPCD (1994)
John M. Rushby, Mandayam K. Srivas
Using PVS to Prove Some Theorems Of David Parnas. HUG (1993)
Mark Bickford, Mandayam K. Srivas
Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification. TPCD (1992)
Mandayam K. Srivas
Bridging the formal methods gap: a computer-aided verification tool for hardware designs. Compcon (1991)
Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur
Inference Rules and Proof Procedures for Inequations. J. Log. Program. 9 (1) (1990)
Mandayam K. Srivas, Mark Bickford
Formal Verification of a Pipelined Microprocessor. IEEE Softw. 7 (5) (1990)
Mark Bickford, Mandayam K. Srivas
A Computer-Aided Verification Tool for Finite State Controller Systems. CAV (DIMACS/AMS volume) (1990)
Mark Bickford, Mandayam K. Srivas
Verification of a Pipelined Microprocessor Using Clio. Hardware Specification, Verification and Synthesis (1989)
Chilukuri K. Mohan, Mandayam K. Srivas
Negation with Logical Variables in Conditional Rewriting. RTA (1989)
Ganesh Gopalakrishnan, Mandayam K. Srivas
Implementing Functional Programs Using Mutable Abstract Data Types. Inf. Process. Lett. 26 (6) (1988)
Deepak Kapur, Mandayam K. Srivas
Computability and Implementability Issues in Abstract Data Types. Sci. Comput. Program. 10 (1) (1988)
Chilukuri K. Mohan, Mandayam K. Srivas
Conditional Specification with Inequational Assumptions. CTRS (1987)
Jieh Hsiang, Mandayam K. Srivas
Automatic Inductive Theorem Proving Using Prolog. Theor. Comput. Sci. 54 (1987)
Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur
Reasoning in Systems of Equations and Inequations. FSTTCS (1987)
Chilukuri K. Mohan, Mandayam K. Srivas
Function Definitions in Term Rewriting and Applicative Programming Inf. Control. 71 (3) (1986)
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. FJCC (1986)
Jieh Hsiang, Mandayam K. Srivas
PROLOG-Based Inductive Theorem Proving. FSTTCS (1985)
Deepak Kapur, Mandayam K. Srivas
A Rewrite Rule Based Approach for Synthesizing Abstract Data Types. TAPSOFT, Vol.1 (1985)
Jieh Hsiang, Mandayam K. Srivas
A PROLOG Environment for Developing and Reasoning about Data Types. TAPSOFT, Vol.2 (1985)
Deepak Kapur, Mandayam K. Srivas
Expressiveness of the Operation Set of a Data Abstraction. POPL (1980)