| 2009 |
|---|
| 71 | | Kiran Deshpande,
Pankaj Jalote,
Sriram K. Rajamani:
Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009
ACM 2009 |
| 70 | EE | Sriram K. Rajamani,
G. Ramalingam,
Venkatesh Prasad Ranganath,
Kapil Vaswani:
ISOLATOR: dynamically ensuring isolation in comcurrent programs.
ASPLOS 2009: 181-192 |
| 69 | EE | Aditya V. Nori,
Sriram K. Rajamani,
SaiDeep Tetali,
Aditya V. Thakur:
The YogiProject: Software Property Checking via Static Analysis and Testing.
TACAS 2009: 178-181 |
| 2008 |
|---|
| 68 | | Gautam Shroff,
Pankaj Jalote,
Sriram K. Rajamani:
Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008
ACM 2008 |
| 67 | EE | Avik Chaudhuri,
Prasad Naldurg,
Sriram K. Rajamani,
G. Ramalingam,
Lakshmisubrahmanyam Velaga:
EON: modeling and analyzing dynamic access control systems with logic programs.
ACM Conference on Computer and Communications Security 2008: 381-390 |
| 66 | EE | Sriram K. Rajamani:
Tests, Proofs and Refinements.
ATVA 2008: 1-2 |
| 65 | EE | Christian Stefansen,
Sriram K. Rajamani,
Parameswaran Seshan:
A Work Allocation Language with Soft Constraints.
CAiSE Forum 2008: 85-88 |
| 64 | EE | Christian Stefansen,
Sriram K. Rajamani,
Parameswaran Seshan:
SoftAlloc: A Work Allocation Language with Soft Constraints.
ICWS 2008: 441-448 |
| 63 | EE | Nels Beckman,
Aditya V. Nori,
Sriram K. Rajamani,
Robert J. Simmons:
Proofs from tests.
ISSTA 2008: 3-14 |
| 62 | EE | Madhu Gopinathan,
Sriram K. Rajamani:
Enforcing object protocols by combining static and runtime analysis.
OOPSLA 2008: 245-260 |
| 61 | EE | Avik Chaudhuri,
Prasad Naldurg,
Sriram K. Rajamani:
A type system for data-flow integrity on windows vista.
PLAS 2008: 89-100 |
| 60 | EE | Madhu Gopinathan,
Sriram K. Rajamani:
Runtime Monitoring of Object Invariants with Guarantee.
RV 2008: 158-172 |
| 59 | EE | Bhargav S. Gulavani,
Supratik Chakraborty,
Aditya V. Nori,
Sriram K. Rajamani:
Automatically Refining Abstract Interpretations.
TACAS 2008: 443-458 |
| 58 | EE | Madhu Gopinathan,
Aditya V. Nori,
Sriram K. Rajamani:
Combining Tests and Proofs.
VSTTE 2008: 4-5 |
| 57 | EE | Avik Chaudhuri,
Prasad Naldurg,
Sriram K. Rajamani:
A Type System for Data-Flow Integrity on Windows Vista
CoRR abs/0803.3230: (2008) |
| 56 | EE | Patrice Godefroid,
Jonathan de Halleux,
Aditya V. Nori,
Sriram K. Rajamani,
Wolfram Schulte,
Nikolai Tillmann,
Michael Y. Levin:
Automating Software Testing Using Program Analysis.
IEEE Software 25(5): 30-37 (2008) |
| 55 | EE | Avik Chaudhuri,
Prasad Naldurg,
Sriram K. Rajamani:
A type system for data-flow integrity on Windows Vista.
SIGPLAN Notices 43(12): 9-20 (2008) |
| 2007 |
|---|
| 54 | EE | Sriram K. Rajamani:
Static and Dynamic Analysis: Better Together.
APLAS 2007: 302 |
| 53 | EE | Prakash Chandrasekaran,
Christopher L. Conway,
Joseph M. Joy,
Sriram K. Rajamani:
Programming asynchronous layers with CLARITY.
ESEC/SIGSOFT FSE 2007: 65-74 |
| 52 | EE | Krishna K. Mehra,
Sriram K. Rajamani,
A. Prasad Sistla,
Sumit Kumar Jha:
Verification of Object Relational Maps.
SEFM 2007: 283-292 |
| 51 | EE | Sriram K. Rajamani:
Software Is More Than Code.
J. UCS 13(5): 602-606 (2007) |
| 2006 |
|---|
| 50 | EE | Sriram K. Rajamani:
Automatic Property Checking for Software: Past, Present and Future.
ASE 2006: 12 |
| 49 | EE | Thomas Ball,
Ella Bounimova,
Byron Cook,
Vladimir Levin,
Jakob Lichtenberg,
Con McGarvey,
Bohus Ondrusek,
Sriram K. Rajamani,
Abdullah Ustuner:
Thorough static analysis of device drivers.
EuroSys 2006: 73-85 |
| 48 | EE | Prasad Naldurg,
Stefan Schwoon,
Sriram K. Rajamani,
John Lambert:
NETRA: : seeing through access control.
FMSE 2006: 55-66 |
| 47 | EE | Sriram K. Rajamani:
Automatic Property Checking for Software: Past, Present and Future.
SEFM 2006: 18-20 |
| 46 | EE | Bhargav S. Gulavani,
Thomas A. Henzinger,
Yamini Kannan,
Aditya V. Nori,
Sriram K. Rajamani:
SYNERGY: a new algorithm for property checking.
SIGSOFT FSE 2006: 117-127 |
| 45 | EE | Bhargav S. Gulavani,
Sriram K. Rajamani:
Counterexample Driven Refinement for Abstract Interpretation.
TACAS 2006: 474-488 |
| 44 | EE | Bernhard Beckert,
Tony Hoare,
Reiner Hähnle,
Douglas R. Smith,
Cordell Green,
Silvio Ranise,
Cesare Tinelli,
Thomas Ball,
Sriram K. Rajamani:
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intelligent Systems 21(6): 71-81 (2006) |
| 2005 |
|---|
| 43 | | Kousha Etessami,
Sriram K. Rajamani:
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Springer 2005 |
| 42 | EE | Vladimir Levin,
Robert Palmer,
Shaz Qadeer,
Sriram K. Rajamani:
Sound Transaction-Based Reduction Without Cycle Detection.
SPIN 2005: 106-122 |
| 41 | EE | Thomas Ball,
Todd D. Millstein,
Sriram K. Rajamani:
Polymorphic predicate abstraction.
ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005) |
| 2004 |
|---|
| 40 | EE | Cédric Fournet,
C. A. R. Hoare,
Sriram K. Rajamani,
Jakob Rehof:
Stuck-Free Conformance.
CAV 2004: 242-254 |
| 39 | EE | Tony Andrews,
Shaz Qadeer,
Sriram K. Rajamani,
Jakob Rehof,
Yichen Xie:
Zing: A Model Checker for Concurrent Software.
CAV 2004: 484-487 |
| 38 | EE | Tony Andrews,
Shaz Qadeer,
Sriram K. Rajamani,
Yichen Xie:
Zing: Exploiting Program Structure for Model Checking Concurrent Software.
CONCUR 2004: 1-15 |
| 37 | EE | Randal E. Bryant,
Sriram K. Rajamani:
Verifying properties of hardware and software by predicate abstraction and model checking.
ICCAD 2004: 437-438 |
| 36 | EE | Thomas Ball,
Byron Cook,
Vladimir Levin,
Sriram K. Rajamani:
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.
IFM 2004: 1-20 |
| 35 | EE | Sriram K. Rajamani,
Jakob Rehof:
Models for Contract Conformance.
ISoLA 2004: 181-196 |
| 34 | | Jakob Rehof,
Sriram K. Rajamani:
Models for Contract Conformance.
ISoLA (Preliminary proceedings) 2004: 253-260 |
| 33 | EE | Shaz Qadeer,
Sriram K. Rajamani,
Jakob Rehof:
Summarizing procedures in concurrent programs.
POPL 2004: 245-255 |
| 32 | EE | Thomas Ball,
Byron Cook,
Satyaki Das,
Sriram K. Rajamani:
Refining Approximations in Software Predicate Abstraction.
TACAS 2004: 388-403 |
| 31 | EE | James R. Larus,
Thomas Ball,
Manuvir Das,
Robert DeLine,
Manuel Fähndrich,
Jonathan D. Pincus,
Sriram K. Rajamani,
Ramanathan Venkatapathy:
Righting Software.
IEEE Software 21(3): 92-100 (2004) |
| 2003 |
|---|
| 30 | | Thomas Ball,
Sriram K. Rajamani:
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Springer 2003 |
| 29 | EE | Thomas Ball,
Mayur Naik,
Sriram K. Rajamani:
From symptom to cause: localizing errors in counterexample traces.
POPL 2003: 97-105 |
| 28 | EE | Thomas Ball,
Andreas Podelski,
Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs.
STTT 5(1): 49-58 (2003) |
| 2002 |
|---|
| 27 | EE | Sriram K. Rajamani,
Jakob Rehof:
Conformance Checking for Models of Asynchronous Message Passing Software.
CAV 2002: 166-179 |
| 26 | EE | Thomas Ball,
Sriram K. Rajamani:
The SLAM project: debugging system software via static analysis.
POPL 2002: 1-3 |
| 25 | EE | Sagar Chaki,
Sriram K. Rajamani,
Jakob Rehof:
Types as models: model checking message-passing programs.
POPL 2002: 45-57 |
| 24 | EE | Stephen Adams,
Thomas Ball,
Manuvir Das,
Sorin Lerner,
Sriram K. Rajamani,
Mark Seigle,
Westley Weimer:
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.
SAS 2002: 230-246 |
| 23 | EE | Thomas Ball,
Andreas Podelski,
Sriram K. Rajamani:
Relative Completeness of Abstraction Refinement for Software Model Checking.
TACAS 2002: 158-172 |
| 22 | EE | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani,
Serdar Tasiran:
An assume-guarantee rule for checking simulation.
ACM Trans. Program. Lang. Syst. 24(1): 51-64 (2002) |
| 21 | EE | Thomas A. Henzinger,
Orna Kupferman,
Sriram K. Rajamani:
Fair Simulation.
Inf. Comput. 173(1): 64-81 (2002) |
| 2001 |
|---|
| 20 | EE | Thomas Ball,
Sriram K. Rajamani:
The SLAM Toolkit.
CAV 2001: 260-264 |
| 19 | EE | Thomas Ball,
Sriram K. Rajamani:
Bebop: a path-sensitive interprocedural dataflow engine.
PASTE 2001: 97-103 |
| 18 | | Thomas Ball,
Rupak Majumdar,
Todd D. Millstein,
Sriram K. Rajamani:
Automatic Predicate Abstraction of C Programs.
PLDI 2001: 203-213 |
| 17 | EE | Sriram K. Rajamani,
Jakob Rehof:
A Behavioral Module System for the Pi-Calculus.
SAS 2001: 375-394 |
| 16 | EE | Thomas Ball,
Sriram K. Rajamani:
Automatically Validating Temporal Safety Properties of Interfaces.
SPIN 2001: 103-122 |
| 15 | EE | Thomas Ball,
Sagar Chaki,
Sriram K. Rajamani:
Parameterized Verification of Multithreaded Software Libraries.
TACAS 2001: 158-173 |
| 14 | EE | Thomas Ball,
Andreas Podelski,
Sriram K. Rajamani:
Boolean and Cartesian Abstraction for Model Checking C Programs.
TACAS 2001: 268-283 |
| 13 | | Rajeev Alur,
Robert K. Brayton,
Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State-Space Exploration.
Formal Methods in System Design 18(2): 97-116 (2001) |
| 2000 |
|---|
| 12 | | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.
ICCAD 2000: 245-252 |
| 11 | | Thomas Ball,
Sriram K. Rajamani:
Bebop: A Symbolic Model Checker for Boolean Programs.
SPIN 2000: 113-130 |
| 10 | EE | Thomas A. Henzinger,
Sriram K. Rajamani:
Fair Bisimulation.
TACAS 2000: 299-314 |
| 1999 |
|---|
| 9 | EE | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
Assume-Guarantee Refinement Between Different Time Scales.
CAV 1999: 208-221 |
| 8 | EE | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.
CAV 1999: 301-315 |
| 7 | EE | Thomas A. Henzinger,
Xiaojun Liu,
Shaz Qadeer,
Sriram K. Rajamani:
Formal specification and verification of a dataflow processor array.
ICCAD 1999: 494-499 |
| 1998 |
|---|
| 6 | | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
You Assume, We Guarantee: Methodology and Case Studies.
CAV 1998: 440-451 |
| 5 | | Rajeev Alur,
Thomas A. Henzinger,
Freddy Y. C. Mang,
Shaz Qadeer,
Sriram K. Rajamani,
Serdar Tasiran:
MOCHA: Modularity in Model Checking.
CAV 1998: 521-525 |
| 4 | EE | Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani,
Serdar Tasiran:
An Assume-Guarantee Rule for Checking Simulation.
FMCAD 1998: 421-432 |
| 3 | EE | Rajeev Alur,
Thomas A. Henzinger,
Sriram K. Rajamani:
Symbolic Exploration of transition Hierarchies.
TACAS 1998: 330-344 |
| 1997 |
|---|
| 2 | | Rajeev Alur,
Robert K. Brayton,
Thomas A. Henzinger,
Shaz Qadeer,
Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State Space Exploration.
CAV 1997: 340-351 |
| 1 | | Thomas A. Henzinger,
Orna Kupferman,
Sriram K. Rajamani:
Fair Simulation.
CONCUR 1997: 273-287 |
