The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sriram K. Rajamani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Ball, Sriram K. Rajamani
    The SLAM Toolkit. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:260-264 [Conf]
  2. Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Partial-Order Reduction in Symbolic State Space Exploration. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:340-351 [Conf]
  3. Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
    MOCHA: Modularity in Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:521-525 [Conf]
  4. Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
    Zing: A Model Checker for Concurrent Software. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:484-487 [Conf]
  5. Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof
    Stuck-Free Conformance. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:242-254 [Conf]
  6. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    You Assume, We Guarantee: Methodology and Case Studies. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:440-451 [Conf]
  7. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Assume-Guarantee Refinement Between Different Time Scales. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:208-221 [Conf]
  8. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:301-315 [Conf]
  9. Sriram K. Rajamani, Jakob Rehof
    Conformance Checking for Models of Asynchronous Message Passing Software. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:166-179 [Conf]
  10. Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert
    NETRA: : seeing through access control. [Citation Graph (0, 0)][DBLP]
    FMSE, 2006, pp:55-66 [Conf]
  11. Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie
    Zing: Exploiting Program Structure for Model Checking Concurrent Software. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:1-15 [Conf]
  12. Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
    Fair Simulation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:273-287 [Conf]
  13. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
    An Assume-Guarantee Rule for Checking Simulation. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:421-432 [Conf]
  14. Randal E. Bryant, Sriram K. Rajamani
    Verifying properties of hardware and software by predicate abstraction and model checking. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2004, pp:437-438 [Conf]
  15. Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani
    Formal specification and verification of a dataflow processor array. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1999, pp:494-499 [Conf]
  16. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2000, pp:245-252 [Conf]
  17. Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani
    SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:1-20 [Conf]
  18. Sriram K. Rajamani, Jakob Rehof
    Models for Contract Conformance. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:181-196 [Conf]
  19. Sriram K. Rajamani
    Automatic Property Checking for Software: Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:12- [Conf]
  20. Thomas Ball, Sriram K. Rajamani
    Bebop: a path-sensitive interprocedural dataflow engine. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:97-103 [Conf]
  21. Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
    Automatic Predicate Abstraction of C Programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:203-213 [Conf]
  22. Thomas Ball, Mayur Naik, Sriram K. Rajamani
    From symptom to cause: localizing errors in counterexample traces. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:97-105 [Conf]
  23. Thomas Ball, Sriram K. Rajamani
    The SLAM project: debugging system software via static analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:1-3 [Conf]
  24. Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
    Types as models: model checking message-passing programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:45-57 [Conf]
  25. Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
    Summarizing procedures in concurrent programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:245-255 [Conf]
  26. Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
    Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:230-246 [Conf]
  27. Sriram K. Rajamani, Jakob Rehof
    A Behavioral Module System for the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:375-394 [Conf]
  28. Sriram K. Rajamani
    Automatic Property Checking for Software: Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:18-20 [Conf]
  29. Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani
    SYNERGY: a new algorithm for property checking. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:117-127 [Conf]
  30. Thomas Ball, Sriram K. Rajamani
    Bebop: A Symbolic Model Checker for Boolean Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:113-130 [Conf]
  31. Thomas Ball, Sriram K. Rajamani
    Automatically Validating Temporal Safety Properties of Interfaces. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:103-122 [Conf]
  32. Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani
    Sound Transaction-Based Reduction Without Cycle Detection. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:106-122 [Conf]
  33. Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani
    Symbolic Exploration of transition Hierarchies. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:330-344 [Conf]
  34. Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani
    Refining Approximations in Software Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:388-403 [Conf]
  35. Thomas Ball, Sagar Chaki, Sriram K. Rajamani
    Parameterized Verification of Multithreaded Software Libraries. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:158-173 [Conf]
  36. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
    Boolean and Cartesian Abstraction for Model Checking C Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:268-283 [Conf]
  37. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
    Relative Completeness of Abstraction Refinement for Software Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:158-172 [Conf]
  38. Bhargav S. Gulavani, Sriram K. Rajamani
    Counterexample Driven Refinement for Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:474-488 [Conf]
  39. Thomas A. Henzinger, Sriram K. Rajamani
    Fair Bisimulation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:299-314 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    EuroSys, 2006, pp:73-85 [Conf]
  41. Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Partial-Order Reduction in Symbolic State-Space Exploration. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:2, pp:97-116 [Journal]
  42. Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
    Fair Simulation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:1, pp:64-81 [Journal]
  43. James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
    Righting Software. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2004, v:21, n:3, pp:92-100 [Journal]
  44. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
    Boolean and Cartesian abstraction for model checking C programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:49-58 [Journal]
  45. Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
    Polymorphic predicate abstraction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:314-343 [Journal]
  46. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
    An assume-guarantee rule for checking simulation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2002, v:24, n:1, pp:51-64 [Journal]
  47. Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani
    Programming asynchronous layers with CLARITY. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:65-74 [Conf]

  48. Static and Dynamic Analysis: Better Together. [Citation Graph (, )][DBLP]


  49. ISOLATOR: dynamically ensuring isolation in comcurrent programs. [Citation Graph (, )][DBLP]


  50. Tests, Proofs and Refinements. [Citation Graph (, )][DBLP]


  51. A Work Allocation Language with Soft Constraints. [Citation Graph (, )][DBLP]


  52. EON: modeling and analyzing dynamic access control systems with logic programs. [Citation Graph (, )][DBLP]


  53. Verification, Testing and Statistics. [Citation Graph (, )][DBLP]


  54. An empirical study of optimizations in YOGI. [Citation Graph (, )][DBLP]


  55. Verification, Testing and Statistics. [Citation Graph (, )][DBLP]


  56. SoftAlloc: A Work Allocation Language with Soft Constraints. [Citation Graph (, )][DBLP]


  57. Models for Contract Conformance. [Citation Graph (, )][DBLP]


  58. Proofs from tests. [Citation Graph (, )][DBLP]


  59. Enforcing object protocols by combining static and runtime analysis. [Citation Graph (, )][DBLP]


  60. A type system for data-flow integrity on windows vista. [Citation Graph (, )][DBLP]


  61. Merlin: specification inference for explicit information flow problems. [Citation Graph (, )][DBLP]


  62. Compositional may-must program analysis: unleashing the power of alternation. [Citation Graph (, )][DBLP]


  63. Alternation for Termination. [Citation Graph (, )][DBLP]


  64. Verification of Object Relational Maps. [Citation Graph (, )][DBLP]


  65. DebugAdvisor: a recommender system for debugging. [Citation Graph (, )][DBLP]


  66. The YogiProject: Software Property Checking via Static Analysis and Testing. [Citation Graph (, )][DBLP]


  67. Automatically Refining Abstract Interpretations. [Citation Graph (, )][DBLP]


  68. Verification, Testing and Statistics. [Citation Graph (, )][DBLP]


  69. Runtime Monitoring of Object Invariants with Guarantee. [Citation Graph (, )][DBLP]


  70. Verification, Testing and Statistics. [Citation Graph (, )][DBLP]


  71. Combining Tests and Proofs. [Citation Graph (, )][DBLP]


  72. A Type System for Data-Flow Integrity on Windows Vista [Citation Graph (, )][DBLP]


Search in 0.012secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002