Mandayam K. Srivas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
1980–2023
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ATVA | Automated Property Directed Self Composition. | Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas |
| 2018 | TACAS | 2LS: Memory Safety and Non-termination - (Competition Contribution). | Viktor Malk, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Toms Vojnar, Johanan Wahlang |
| 2017 | ATVA | Compositional Safety Refutation Techniques. | Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas |
| 2017 | ATVA | Concurrent Program Verification with Invariant-Guided Underapproximation. | Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar |
| 2015 | DATE | Verifying synchronous reactive systems using lazy abstraction. | Kumar Madhukar, Mandayam K. Srivas, Bjrn Wachter, Daniel Kroening, Ravindra Metta |
| 2015 | FMCAD | Accelerating Invariant Generation. | Kumar Madhukar, Bjrn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas |
| 2000 | CAV | Verifying Advanced Microarchitectures that Support Speculation and Exceptions. | Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas |
| 1998 | CAV | Decomposing the Proof of Correctness of pipelined Microprocessors. | Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan |
| 1997 | ICFEM | Systematic Formal Verification of Interpreters. | David Cyrluk, John M. Rushby, Mandayam K. Srivas |
| 1997 | VLSID | Industrial Strength Formal Verification Techniques for Hardware Designs. | Sreeranga P. Rajan, Natarajan Shankar, Mandayam K. Srivas |
| 1996 | CAV | PVS: Combining Specification, Proof Checking, and Model Checking. | Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas |
| 1996 | CAV | Modular Verification of SRT Division. | Harald Rue, Natarajan Shankar, Mandayam K. Srivas |
| 1995 | CAV | An Integration of Model Checking with Automated Proof Checking. | S. Rajan, Natarajan Shankar, Mandayam K. Srivas |
| 1995 | ICCD | Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. | David Cyrluk, Mandayam K. Srivas |
| 1980 | POPL | Expressiveness of the Operation Set of a Data Abstraction. | Deepak Kapur, Mandayam K. Srivas |