| 2006 |
|---|
| 12 | EE | Ernie Cohen:
Validating the Microsoft Hypervisor.
FM 2006: 81-81 |
| 11 | EE | Ernie Cohen:
Weak Kleene Algebra and Computation Trees.
RelMiCS 2006: 1 |
| 10 | EE | Scott D. Stoller,
Ernie Cohen:
Optimistic synchronization-based state-space reduction.
Formal Methods in System Design 28(3): 263-289 (2006) |
| 2003 |
|---|
| 9 | EE | 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 | EE | 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 | EE | 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 | EE | Ernie Cohen,
Dexter Kozen:
A note on the complexity of propositional Hoare logic.
ACM Trans. Comput. Log. 1(1): 171-174 (2000) |
| 1998 |
|---|
| 2 | EE | 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) |
