The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Greta Yorsh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, S. Srivastava, Greta Yorsh
    Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:99-115 [Conf]
  2. Greta Yorsh, Madanlal Musuvathi
    A Combination Method for Generating Interpolants. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:353-368 [Conf]
  3. Thomas Ball, Orna Kupferman, Greta Yorsh
    Abstraction for Falsification. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:67-81 [Conf]
  4. Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
    Verification via Structure Simulation. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:281-294 [Conf]
  5. Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
    The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:160-174 [Conf]
  6. Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
    A Logic of Reachable Patterns in Linked Data-Structures. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:94-110 [Conf]
  7. Greta Yorsh, Thomas Ball, Mooly Sagiv
    Testing, abstraction, theorem proving: better together! [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:145-156 [Conf]
  8. Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
    Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:530-545 [Conf]
  9. Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
    Symbolic Implementation of the Best Transformer. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:252-266 [Conf]
  10. Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Logical Characterizations of Heap Abstractions [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  11. Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv
    Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:125-138 [Journal]
  12. Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm
    Logical characterizations of heap abstractions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
  13. Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
    A Logic of Reachable Patterns in Linked Data-Structures [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  14. Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
    A logic of reachable patterns in linked data-structures. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:111-142 [Journal]

  15. PHALANX: parallel checking of expressive heap assertions. [Citation Graph (, )][DBLP]


  16. Verifying linearizability with hindsight. [Citation Graph (, )][DBLP]


  17. Generating precise and concise procedure summaries. [Citation Graph (, )][DBLP]


  18. Abstraction-guided synthesis of synchronization. [Citation Graph (, )][DBLP]


  19. Experience with Model Checking Linearizability. [Citation Graph (, )][DBLP]


  20. Inferring Synchronization under Limited Observability. [Citation Graph (, )][DBLP]


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


  22. Simulating reachability using first-order logic with applications to verification of linked data structures [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
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