The SCEAS System
Navigation Menu

Search the dblp DataBase


Ariel Cohen 0002: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ittai Balaban, Ariel Cohen 0002, Amir Pnueli
    Ranking Abstraction of Recursive Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:267-281 [Conf]
  2. Ariel Cohen, Kedar S. Namjoshi
    Local Proofs for Global Safety Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:55-67 [Conf]

  3. A Dash of Fairness for Compositional Reasoning. [Citation Graph (, )][DBLP]

  4. SPLIT: A Compositional LTL Verifier. [Citation Graph (, )][DBLP]

  5. Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. [Citation Graph (, )][DBLP]

  6. Local Proofs for Linear-Time Properties of Concurrent Programs. [Citation Graph (, )][DBLP]

  7. Verifying Correctness of Transactional Memories. [Citation Graph (, )][DBLP]

  8. Access Control and Information Flow in Transactional Memory. [Citation Graph (, )][DBLP]

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