dblp.uni-trier.dewww.uni-trier.de

Sriram K. Rajamani Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
76 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
75EESriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192
74EEB. Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala: DebugAdvisor: a recommender system for debugging. ESEC/SIGSOFT FSE 2009: 373-382
73EESriram K. Rajamani: Verification, Testing and Statistics. ICTAC 2009: 79
72EEV. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee: Merlin: specification inference for explicit information flow problems. PLDI 2009: 75-86
71EESriram K. Rajamani: Verification, Testing and Statistics. RV 2009: 25
70EEAditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur: The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS 2009: 178-181
69EEAditya V. Nori, Sriram K. Rajamani: Verification, Testing and Statistics. TAP 2009: 6-9
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
67EEAvik 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
66EESriram K. Rajamani: Tests, Proofs and Refinements. ATVA 2008: 1-2
65EEChristian Stefansen, Sriram K. Rajamani, Parameswaran Seshan: A Work Allocation Language with Soft Constraints. CAiSE Forum 2008: 85-88
64EEChristian Stefansen, Sriram K. Rajamani, Parameswaran Seshan: SoftAlloc: A Work Allocation Language with Soft Constraints. ICWS 2008: 441-448
63EENels Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons: Proofs from tests. ISSTA 2008: 3-14
62EEMadhu Gopinathan, Sriram K. Rajamani: Enforcing object protocols by combining static and runtime analysis. OOPSLA 2008: 245-260
61EEAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on windows vista. PLAS 2008: 89-100
60EEMadhu Gopinathan, Sriram K. Rajamani: Runtime Monitoring of Object Invariants with Guarantee. RV 2008: 158-172
59EEBhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani: Automatically Refining Abstract Interpretations. TACAS 2008: 443-458
58EEMadhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani: Combining Tests and Proofs. VSTTE 2008: 4-5
57EEAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A Type System for Data-Flow Integrity on Windows Vista CoRR abs/0803.3230: (2008)
56EEPatrice 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)
55EEAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on Windows Vista. SIGPLAN Notices 43(12): 9-20 (2008)
2007
54EESriram K. Rajamani: Static and Dynamic Analysis: Better Together. APLAS 2007: 302
53EEPrakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani: Programming asynchronous layers with CLARITY. ESEC/SIGSOFT FSE 2007: 65-74
52EEKrishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha: Verification of Object Relational Maps. SEFM 2007: 283-292
51EESriram K. Rajamani: Software Is More Than Code. J. UCS 13(5): 602-606 (2007)
2006
50EESriram K. Rajamani: Automatic Property Checking for Software: Past, Present and Future. ASE 2006: 12
49EEThomas 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
48EEPrasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert: NETRA: : seeing through access control. FMSE 2006: 55-66
47EESriram K. Rajamani: Automatic Property Checking for Software: Past, Present and Future. SEFM 2006: 18-20
46EEBhargav 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
45EEBhargav S. Gulavani, Sriram K. Rajamani: Counterexample Driven Refinement for Abstract Interpretation. TACAS 2006: 474-488
44EEBernhard 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
42EEVladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani: Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122
41EEThomas Ball, Todd D. Millstein, Sriram K. Rajamani: Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005)
2004
40EECédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof: Stuck-Free Conformance. CAV 2004: 242-254
39EETony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie: Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487
38EETony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie: Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15
37EERandal E. Bryant, Sriram K. Rajamani: Verifying properties of hardware and software by predicate abstraction and model checking. ICCAD 2004: 437-438
36EEThomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM 2004: 1-20
35EESriram 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
33EEShaz Qadeer, Sriram K. Rajamani, Jakob Rehof: Summarizing procedures in concurrent programs. POPL 2004: 245-255
32EEThomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani: Refining Approximations in Software Predicate Abstraction. TACAS 2004: 388-403
31EEJames 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
29EEThomas Ball, Mayur Naik, Sriram K. Rajamani: From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105
28EEThomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian abstraction for model checking C programs. STTT 5(1): 49-58 (2003)
2002
27EESriram K. Rajamani, Jakob Rehof: Conformance Checking for Models of Asynchronous Message Passing Software. CAV 2002: 166-179
26EEThomas Ball, Sriram K. Rajamani: The SLAM project: debugging system software via static analysis. POPL 2002: 1-3
25EESagar Chaki, Sriram K. Rajamani, Jakob Rehof: Types as models: model checking message-passing programs. POPL 2002: 45-57
24EEStephen 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
23EEThomas Ball, Andreas Podelski, Sriram K. Rajamani: Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172
22EEThomas 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)
21EEThomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. Inf. Comput. 173(1): 64-81 (2002)
2001
20EEThomas Ball, Sriram K. Rajamani: The SLAM Toolkit. CAV 2001: 260-264
19EEThomas 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
17EESriram K. Rajamani, Jakob Rehof: A Behavioral Module System for the Pi-Calculus. SAS 2001: 375-394
16EEThomas Ball, Sriram K. Rajamani: Automatically Validating Temporal Safety Properties of Interfaces. SPIN 2001: 103-122
15EEThomas Ball, Sagar Chaki, Sriram K. Rajamani: Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173
14EEThomas 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
10EEThomas A. Henzinger, Sriram K. Rajamani: Fair Bisimulation. TACAS 2000: 299-314
1999
9EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221
8EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315
7EEThomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani: Formal specification and verification of a dataflow processor array. ICCAD 1999: 494-499
1998
6EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: You Assume, We Guarantee: Methodology and Case Studies. CAV 1998: 440-451
5EERajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: MOCHA: Modularity in Model Checking. CAV 1998: 521-525
4EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: An Assume-Guarantee Rule for Checking Simulation. FMCAD 1998: 421-432
3EERajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani: Symbolic Exploration of transition Hierarchies. TACAS 1998: 330-344
1997
2EERajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351
1EEThomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. CONCUR 1997: 273-287

Coauthor Index

1Stephen Adams [24]
2Rajeev Alur [2] [3] [5] [13]
3Tony Andrews [38] [39]
4B. Ashok [74]
5Thomas Ball [11] [14] [15] [16] [18] [19] [20] [23] [24] [26] [28] [29] [30] [31] [32] [36] [41] [44] [49]
6Anindya Banerjee [72]
7Bernhard Beckert [44]
8Nels Beckman [63]
9Ella Bounimova [49]
10Robert K. Brayton [2] [13]
11Randal E. Bryant [37]
12Sagar Chaki [15] [25]
13Supratik Chakraborty [59]
14Prakash Chandrasekaran [53]
15Avik Chaudhuri [55] [57] [61] [67]
16Christopher L. Conway [53]
17Byron Cook [32] [36] [49]
18Manuvir Das [24] [31]
19Satyaki Das [32]
20Robert DeLine [31]
21Kiran Deshpande [76]
22Kousha Etessami [43]
23Manuel Fähndrich [31]
24Cédric Fournet [40]
25Patrice Godefroid [56]
26Madhu Gopinathan [58] [60] [62]
27Cordell Green [44]
28Bhargav S. Gulavani [45] [46] [59]
29Reiner Hähnle [44]
30Jonathan de Halleux [56]
31Thomas A. Henzinger [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [21] [22] [46]
32C. A. R. Hoare (Tony Hoare) [40] [44]
33Pankaj Jalote [68] [76]
34Sumit Kumar Jha [52]
35Joseph M. Joy [53] [74]
36Yamini Kannan [46]
37Orna Kupferman [1] [21]
38John Lambert [48]
39James R. Larus [31]
40Sorin Lerner [24]
41Michael Y. Levin [56]
42Vladimir Levin [36] [42] [49]
43Hongkang Liang [74]
44Jakob Lichtenberg [49]
45Xiaojun Liu [7]
46V. Benjamin Livshits [72]
47Rupak Majumdar [18]
48Freddy Y. C. Mang [5]
49Con McGarvey [49]
50Krishna K. Mehra [52]
51Todd D. Millstein [18] [41]
52Mayur Naik [29]
53Prasad Naldurg [48] [55] [57] [61] [67]
54Aditya V. Nori [46] [56] [58] [59] [63] [69] [70] [72]
55Bohus Ondrusek [49]
56Robert Palmer [42]
57Jonathan D. Pincus [31]
58Andreas Podelski [14] [23] [28]
59Shaz Qadeer [2] [4] [5] [6] [7] [8] [9] [12] [13] [22] [33] [38] [39] [42]
60G. Ramalingam (Ganesan Ramalingam) [67] [75]
61Venkatesh Prasad Ranganath [75]
62Silvio Ranise [44]
63Jakob Rehof [17] [25] [27] [33] [34] [35] [39] [40]
64Wolfram Schulte [56]
65Stefan Schwoon [48]
66Mark Seigle [24]
67Parameswaran Seshan [64] [65]
68Gautam Shroff [68]
69Robert J. Simmons [63]
70A. Prasad Sistla [52]
71Douglas R. Smith [44]
72Gopal Srinivasa [74]
73Christian Stefansen [64] [65]
74Serdar Tasiran [4] [5] [22]
75SaiDeep Tetali [70]
76Aditya V. Thakur [70]
77Nikolai Tillmann [56]
78Cesare Tinelli [44]
79Abdullah Ustuner [49]
80Vipindeep Vangala [74]
81Kapil Vaswani [75]
82Lakshmisubrahmanyam Velaga [67]
83Ramanathan Venkatapathy [31]
84Westley Weimer [24]
85Yichen Xie [38] [39]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)