Ariel Cohen

According to our database, Ariel Cohen authored at least 10 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2010

Parallelizing a Symbolic Compositional Model-Checking Algorithm.

Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova

Proceedings of the Hardware and Software: Verification and Testing, 2010

SPLIT: A Compositional LTL Verifier.

Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

A Dash of Fairness for Compositional Reasoning.

Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Local proofs for global safety properties.

Ariel Cohen, Kedar S. Namjoshi

Formal Methods Syst. Des., 2009

2008

Verification of Transactional Memories and Recursive Programs.

Ariel Cohen

PhD thesis, 2008

Access Control and Information Flow in Transactional Memory.

Ariel Cohen, Ron van der Meyden, Lenore D. Zuck

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.

Ariel Cohen, Amir Pnueli, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Local Proofs for Linear-Time Properties of Concurrent Programs.

Ariel Cohen, Kedar S. Namjoshi

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Verifying Correctness of Transactional Memories.

Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Ranking Abstraction of Recursive Programs.

Ittai Balaban, Ariel Cohen, Amir Pnueli

Proceedings of the Verification, 2006