Mandayam K. Srivas

49 papers A* 6A 1B 5C 2Misc 1Journal 13Unranked 21

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