Travelled to:1 × Germany
1 × United Kingdom
2 × USA
Collaborated with:K.S.Namjoshi Y.Sa'ar A.Pnueli L.D.Zuck I.Balaban
Talks about:transact (2) properti (2) composit (2) program (2) memori (2) proof (2) local (2) abstract (1) concurr (1) verifi (1)
Person: Ariel Cohen
DBLP: Cohen:Ariel
Contributed to:
201020082007
2006Wrote 6 papers:
- CAV-2010-CohenNS #composition #reasoning
- A Dash of Fairness for Compositional Reasoning (AC, KSN, YS), pp. 543–557.
- CAV-2010-CohenNS10a #composition #ltl #named #verification
- SPLIT: A Compositional LTL Verifier (AC, KSN, YS), pp. 558–561.
- CAV-2008-CohenN #concurrent #linear #proving #source code
- Local Proofs for Linear-Time Properties of Concurrent Programs (AC, KSN), pp. 149–161.
- CAV-2008-CohenPZ #memory management #transaction #verification
- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (AC, AP, LDZ), pp. 121–134.
- CAV-2007-CohenN #proving #safety
- Local Proofs for Global Safety Properties (AC, KSN), pp. 55–67.
- VMCAI-2006-BalabanCP #abstraction #ranking #recursion #source code
- Ranking Abstraction of Recursive Programs (IB, AC, AP), pp. 267–281.