7
Publications
265
Citations
7
H-Index
1996
Active since
Affiliations
Ernie Cohen is an author at Microsoft (United States) specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceVerificationData SecurityFormal MethodsAutomated ReasoningFormal VerificationCryptographyProgram AnalysisHardware Security
Publications per year
1996–2009
7
7
A Precise Yet Efficient Memory Model For C
Ernie Cohen, Michał Moskal, Stephan Tobies et al. · Electronic Notes in Theoretical Computer Science · 2009 · 78 citations · Full text
The Complexity of Kleene Algebra with Tests
Ernie Cohen, Dexter Kozen, Frederick Smith · eCommons (Cornell University) · 1996 · 49 citations · Full text
TAPS: a first-order verifier for cryptographic protocols
Ernie Cohen · 2002 · 41 citations
A Practical Verification Methodology for Concurrent Programs
Ernie Cohen, Michał Moskal, Wolfram Schulte et al. · 2009 · 37 citations
Rows per page
1–5 of 7