| 2009 |
|---|
| 7 | EE | Ariel Cohen,
Kedar S. Namjoshi:
Local proofs for global safety properties.
Formal Methods in System Design 34(2): 104-125 (2009) |
| 2008 |
|---|
| 6 | EE | Ariel Cohen,
Amir Pnueli,
Lenore D. Zuck:
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.
CAV 2008: 121-134 |
| 5 | EE | Ariel Cohen,
Kedar S. Namjoshi:
Local Proofs for Linear-Time Properties of Concurrent Programs.
CAV 2008: 149-161 |
| 4 | EE | 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 | EE | Ariel Cohen,
Kedar S. Namjoshi:
Local Proofs for Global Safety Properties.
CAV 2007: 55-67 |
| 2 | EE | 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 | EE | Ittai Balaban,
Ariel Cohen,
Amir Pnueli:
Ranking Abstraction of Recursive Programs.
VMCAI 2006: 267-281 |
