The SCEAS System
Navigation Menu

Search the dblp DataBase


Roman Manevich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tal Lev-Ami, Roman Manevich, Shmuel Sagiv
    TVLA: A system for generating abstract interpreters. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:367-376 [Conf]
  2. Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
    Compactly Representing First-Order Structures for Static Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:196-212 [Conf]
  3. Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
    Partially Disjunctive Heap Abstraction. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:265-279 [Conf]
  4. Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang
    PSE: explaining program failures via postmortem static analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:63-72 [Conf]
  5. Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
    Combining Shape Analyses by Intersecting Abstractions. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:33-48 [Conf]
  6. Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv
    Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:181-198 [Conf]
  7. Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
    Abstract Counterexample-Based Refinement for Powerset Domains. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:273-292 [Conf]
  8. Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv
    Shape Analysis by Graph Decomposition. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:3-18 [Conf]

  9. Abstract Transformers for Thread Correlation Analysis. [Citation Graph (, )][DBLP]

  10. Thread Quantification for Concurrent Shape Analysis. [Citation Graph (, )][DBLP]

  11. Parameterized verification of transactional memories. [Citation Graph (, )][DBLP]

  12. Heap Decomposition for Concurrent Shape Analysis. [Citation Graph (, )][DBLP]

  13. Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002