# Ernie Cohen

According to our database

Collaborative distances:

^{1}, Ernie Cohen authored at least 26 papers between 1994 and 2019.Collaborative distances:

## 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

The 1st Verified Software Competition: Experience Report.

Proceedings of the FM 2011: Formal Methods, 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

Invariants, Modularity, and Rights.

Proceedings of the Perspectives of Systems Informatics, 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