BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Ireland
1 × Poland
1 × USA
1 × United Kingdom
Collaborated with:
S.D.Stoller S.Tobies M.Moskal W.Schulte V.Klebanov P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish R.Chapman M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens N.Polikarpova T.Ridge J.Smans T.Tuerk M.Ulbrich B.Weiß
Talks about:
verifi (2) cryptograph (1) hypervisor (1) microsoft (1) synchron (1) protocol (1) optimist (1) competit (1) softwar (1) program (1)

Person: Ernie Cohen

DBLP DBLP: Cohen:Ernie

Contributed to:

FM 20112011
CAV 20102010
FM 20062006
TACAS 20032003
CAV 20002000

Wrote 5 papers:

FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
CAV-2010-CohenMST #concurrent #invariant #source code #verification
Local Verification of Global Invariants in Concurrent Programs (EC, MM, WS, ST), pp. 480–494.
FM-2006-Cohen #validation
Validating the Microsoft Hypervisor (EC), p. 81.
TACAS-2003-StollerC #reduction
Optimistic Synchronization-Based State-Space Reduction (SDS, EC), pp. 489–504.
CAV-2000-Cohen #encryption #first-order #named #protocol #verification
TAPS: A First-Order Verifier for Cryptographic Protocols (EC), pp. 568–571.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.