default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMandayam K. Srivas
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c35]Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas:
Automated Property Directed Self Composition. ATVA 2023: 139-158- 2022
- [c34]Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas:
Permutation Invariance of Deep Neural Networks with ReLUs. NFM 2022: 318-337 - 2021
- [j12]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): 57-93 (2021) - [i1]Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas:
Permutation Invariance of Deep Neural Networks with ReLUs. CoRR abs/2110.09578 (2021)
2010 – 2019
- 2018
- [c33]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: 417-421 - 2017
- [c32]Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas:
Compositional Safety Refutation Techniques. ATVA 2017: 164-183 - [c31]Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar:
Concurrent Program Verification with Invariant-Guided Underapproximation. ATVA 2017: 241-248 - 2015
- [c30]Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta:
Verifying synchronous reactive systems using lazy abstraction. DATE 2015: 1571-1574 - [c29]Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas:
Accelerating Invariant Generation. FMCAD 2015: 105-111 - [c28]Rajdeep Mukherjee, Daniel Kroening, Tom Melham, Mandayam K. Srivas:
Equivalence Checking Using Trace Partitioning. ISVLSI 2015: 13-18 - 2014
- [j11]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): 2025-2029 (2014)
2000 – 2009
- 2003
- [j10]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
A Practical Methodology for Verifying Pipelined Microarchitectures. IEEE Des. Test Comput. 20(4): 4-14 (2003) - [j9]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
Formal Verification of a Complex Pipelined Processor. Formal Methods Syst. Des. 23(2): 171-213 (2003) - 2000
- [c27]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
Verifying Advanced Microarchitectures that Support Speculation and Exceptions. CAV 2000: 521-537
1990 – 1999
- 1999
- [j8]Harald Rueß, Natarajan Shankar, Mandayam K. Srivas:
Modular Verification of SRT Division. Formal Methods Syst. Des. 14(1): 45-73 (1999) - [c26]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. CHARME 1999: 8-22 - 1998
- [c25]Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan:
Decomposing the Proof of Correctness of pipelined Microprocessors. CAV 1998: 122-134 - 1997
- [c24]Mandayam K. Srivas, Harald Rueß, David Cyrluk:
Hardware Verification Using PVS. Formal Hardware Verification 1997: 156-205 - [c23]David Cyrluk, John M. Rushby, Mandayam K. Srivas:
Systematic Formal Verification of Interpreters. ICFEM 1997: 140-150 - [c22]Sreeranga P. Rajan, Natarajan Shankar, Mandayam K. Srivas:
Industrial Strength Formal Verification Techniques for Hardware Designs. VLSI Design 1997: 208-212 - 1996
- [j7]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): 153-188 (1996) - [c21]Harald Rueß, Natarajan Shankar, Mandayam K. Srivas:
Modular Verification of SRT Division. CAV 1996: 123-134 - [c20]Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas:
PVS: Combining Specification, Proof Checking, and Model Checking. CAV 1996: 411-414 - [e1]Mandayam K. Srivas, Albert John Camilleri:
Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Lecture Notes in Computer Science 1166, Springer 1996, ISBN 3-540-61937-2 [contents] - 1995
- [c19]S. Rajan, Natarajan Shankar, Mandayam K. Srivas:
An Integration of Model Checking with Automated Proof Checking. CAV 1995: 84-97 - [c18]David Cyrluk, Mandayam K. Srivas:
Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. ICCD 1995: 538-544 - [c17]Steven P. Miller, Mandayam K. Srivas:
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods. WIFT 1995: 2-16 - [c16]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: 30-43 - 1994
- [c15]David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas:
Effective Theorem Proving for Hardware Verification. TPCD 1994: 203-222 - [c14]Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas:
A Tutorial on Using PVS for Hardware Verification. TPCD 1994: 258-279 - 1993
- [c13]John M. Rushby, Mandayam K. Srivas:
Using PVS to Prove Some Theorems Of David Parnas. HUG 1993: 163-173 - 1992
- [c12]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: 225-251 - 1991
- [c11]Mandayam K. Srivas:
Bridging the formal methods gap: a computer-aided verification tool for hardware designs. Compcon 1991: 456-461 - 1990
- [j6]Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur:
Inference Rules and Proof Procedures for Inequations. J. Log. Program. 9(1): 75-104 (1990) - [j5]Mandayam K. Srivas, Mark Bickford:
Formal Verification of a Pipelined Microprocessor. IEEE Softw. 7(5): 52-64 (1990) - [c10]Mark Bickford, Mandayam K. Srivas:
A Computer-Aided Verification Tool for Finite State Controller Systems. CAV (DIMACS/AMS volume) 1990: 405-440
1980 – 1989
- 1989
- [c9]Mark Bickford, Mandayam K. Srivas:
Verification of a Pipelined Microprocessor Using Clio. Hardware Specification, Verification and Synthesis 1989: 307-332 - [c8]Chilukuri K. Mohan, Mandayam K. Srivas:
Negation with Logical Variables in Conditional Rewriting. RTA 1989: 292-310 - 1988
- [j4]Ganesh Gopalakrishnan, Mandayam K. Srivas:
Implementing Functional Programs Using Mutable Abstract Data Types. Inf. Process. Lett. 26(6): 277-286 (1988) - [j3]Deepak Kapur, Mandayam K. Srivas:
Computability and Implementability Issues in Abstract Data Types. Sci. Comput. Program. 10(1): 33-63 (1988) - 1987
- [j2]Jieh Hsiang, Mandayam K. Srivas:
Automatic Inductive Theorem Proving Using Prolog. Theor. Comput. Sci. 54: 3-28 (1987) - [c7]Chilukuri K. Mohan, Mandayam K. Srivas:
Conditional Specification with Inequational Assumptions. CTRS 1987: 161-178 - [c6]Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur:
Reasoning in Systems of Equations and Inequations. FSTTCS 1987: 305-325 - 1986
- [j1]Chilukuri K. Mohan, Mandayam K. Srivas:
Function Definitions in Term Rewriting and Applicative Programming. Inf. Control. 71(3): 186-217 (1986) - [c5]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: 864-869 - 1985
- [c4]Jieh Hsiang, Mandayam K. Srivas:
PROLOG-Based Inductive Theorem Proving. FSTTCS 1985: 129-149 - [c3]Deepak Kapur, Mandayam K. Srivas:
A Rewrite Rule Based Approach for Synthesizing Abstract Data Types. TAPSOFT, Vol.1 1985: 188-207 - [c2]Jieh Hsiang, Mandayam K. Srivas:
A PROLOG Environment for Developing and Reasoning about Data Types. TAPSOFT, Vol.2 1985: 276-293 - 1980
- [c1]Deepak Kapur, Mandayam K. Srivas:
Expressiveness of the Operation Set of a Data Abstraction. POPL 1980: 139-153
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
