Ernie Cohen

According to our database1, Ernie Cohen authored at least 26 papers between 1994 and 2019.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A Reduction Theorem for Store Buffers.
Archive of Formal Proofs, 2019

2018
Object-Oriented Security Proofs.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2015
Verification Tools for Transactional Programs.
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

2014
Store Buffer Reduction with MMUs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013
Data Abstraction in VCC.
Proceedings of the Engineering Dependable Software Systems, 2013

Theory of Multi Core Hypervisor Verification.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

2012
Verification of TLB Virtualization Implemented in C.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011

2010
From Total Store Order to Sequential Consistency: A Practical Reduction Theorem.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Modular specification and verification of interprocess communication.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Verifying shadow page table algorithms.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Local Verification of Global Invariants in Concurrent Programs.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
A Precise Yet Efficient Memory Model For C.
Electr. Notes Theor. Comput. Sci., 2009

VCC: A Practical System for Verifying Concurrent C.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009


2006
Validating the Microsoft Hypervisor.
Proceedings of the FM 2006: Formal Methods, 2006

Weak Kleene Algebra and Computation Trees.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2003
First-order Verification of Cryptographic Protocols.
Journal of Computer Security, 2003

Optimistic Synchronization-Based State-Space Reduction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002
TAPS: The Last Few Slides.
Proceedings of the Formal Aspects of Security, First International Conference, 2002

2000
A note on the complexity of propositional Hoare logic.
ACM Trans. Comput. Log., 2000

Separation and Reduction.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

TAPS: A First-Order Verifier for Cryptographic Protocols.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

TAPS: A First-Order Verifier for Cryptographic Protocols.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1998
Reduction in TLA.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1994
The Convergence Span of Greedy Load Balancing.
Inf. Process. Lett., 1994


  Loading...