Ariel Cohen

other persons with the same name:

• Ariel Cohen

	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

Coauthor Index

1	Ittai Balaban	[1]
2	Ron van der Meyden	[4]
3	Kedar S. Namjoshi	[3] [5] [7]
4	John W. O'Leary	[2]
5	Amir Pnueli	[1] [2] [6]
6	Mark R. Tuttle	[2]
7	Lenore D. Zuck	[2] [4] [6]

Colors in the list of coauthors