Ernie Cohen

	2009
16		Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42
15		Ernie Cohen, Norbert Schirmer: A Better Reduction Theorem for Store Buffers CoRR abs/0909.4637: (2009)
14		Ernie Cohen: Pessimistic Testing CoRR abs/0910.0996: (2009)
13		Ernie Cohen: Weak Kleene Algebra is Sound and (Possibly) Complete for Simulation CoRR abs/0910.1028: (2009)
	2006
12		Ernie Cohen: Validating the Microsoft Hypervisor. FM 2006: 81-81
11		Ernie Cohen: Weak Kleene Algebra and Computation Trees. RelMiCS 2006: 1
10		Scott D. Stoller, Ernie Cohen: Optimistic synchronization-based state-space reduction. Formal Methods in System Design 28(3): 263-289 (2006)
	2003
9		Scott D. Stoller, Ernie Cohen: Optimistic Synchronization-Based State-Space Reduction. TACAS 2003: 489-504
8		Ernie Cohen: First-order Verification of Cryptographic Protocols. Journal of Computer Security 11(2): 189-216 (2003)
	2002
7		Ernie Cohen: TAPS: The Last Few Slides. FASec 2002: 183-190
	2000
6		Ernie Cohen: TAPS: A First-Order Verifier for Cryptographic Protocols. CAV 2000: 568-571
5		Ernie Cohen: TAPS: A First-Order Verifier for Cryptographic Protocols. CSFW 2000: 144-158
4		Ernie Cohen: Separation and Reduction. MPC 2000: 45-59
3		Ernie Cohen, Dexter Kozen: A note on the complexity of propositional Hoare logic. ACM Trans. Comput. Log. 1(1): 171-174 (2000)
	1998
2		Ernie Cohen, Leslie Lamport: Reduction in TLA. CONCUR 1998: 317-331
	1994
1		Ernie Cohen: The Convergence Span of Greedy Load Balancing. Inf. Process. Lett. 52(4): 181-182 (1994)

Coauthor Index

1	Markus Dahlweid	[16]
2	Mark A. Hillebrand	[16]
3	Dexter Kozen	[3]
4	Leslie Lamport	[2]
5	Dirk Leinenbach	[16]
6	Michal Moskal	[16]
7	Thomas Santen	[16]
8	Norbert Schirmer	[15]
9	Wolfram Schulte	[16]
10	Scott D. Stoller	[9] [10]
11	Stephan Tobies	[16]

Colors in the list of coauthors