 | 2010 |
|---|
| 10 |       | Ariel Cohen,
Kedar S. Namjoshi,
Yaniv Sa'ar:
A Dash of Fairness for Compositional Reasoning.
CAV 2010: 543-557 |
| 9 | | Ariel Cohen,
Kedar S. Namjoshi,
Yaniv Sa'ar:
SPLIT: A Compositional LTL Verifier.
CAV 2010: 558-561 |
| 8 | | 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: 46-59 |
| 2009 |
|---|
| 7 | | Ariel Cohen,
Kedar S. Namjoshi:
Local proofs for global safety properties.
Formal Methods in System Design 34(2): 104-125 (2009) |
| 2008 |
|---|
| 6 | | Ariel Cohen,
Amir Pnueli,
Lenore D. Zuck:
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.
CAV 2008: 121-134 |
| 5 | | Ariel Cohen,
Kedar S. Namjoshi:
Local Proofs for Linear-Time Properties of Concurrent Programs.
CAV 2008: 149-161 |
| 4 | | Ariel Cohen,
Ron van der Meyden,
Lenore D. Zuck:
Access Control and Information Flow in Transactional Memory.
Formal Aspects in Security and Trust 2008: 316-330 |
| 2007 |
|---|
| 3 | | Ariel Cohen,
Kedar S. Namjoshi:
Local Proofs for Global Safety Properties.
CAV 2007: 55-67 |
| 2 | | Ariel Cohen,
John W. O'Leary,
Amir Pnueli,
Mark R. Tuttle,
Lenore D. Zuck:
Verifying Correctness of Transactional Memories.
FMCAD 2007: 37-44 |
| 2006 |
|---|
| 1 | | Ittai Balaban,
Ariel Cohen,
Amir Pnueli:
Ranking Abstraction of Recursive Programs.
VMCAI 2006: 267-281 |
Data released under the ODC-BY 1.0 license — See also our legal information page