Ariel Cohen

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
SPLIT: A Compositional LTL Verifier. CAV (2010)
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova
Parallelizing a Symbolic Compositional Model-Checking Algorithm. Haifa Verification Conference (2010)
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
A Dash of Fairness for Compositional Reasoning. CAV (2010)
Ariel Cohen, Kedar S. Namjoshi
Local proofs for global safety properties. Formal Methods Syst. Des. 34 (2) (2009)
Ariel Cohen, Ron van der Meyden, Lenore D. Zuck
Access Control and Information Flow in Transactional Memory. Formal Aspects in Security and Trust (2008)
Ariel Cohen, Amir Pnueli, Lenore D. Zuck
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. CAV (2008)
Ariel Cohen, Kedar S. Namjoshi
Local Proofs for Linear-Time Properties of Concurrent Programs. CAV (2008)
Ariel Cohen, Kedar S. Namjoshi
Local Proofs for Global Safety Properties. CAV (2007)
Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck
Verifying Correctness of Transactional Memories. FMCAD (2007)
Ittai Balaban, Ariel Cohen, Amir Pnueli
Ranking Abstraction of Recursive Programs. VMCAI (2006)