Design and verification of adaptive cache coherence protocols

Improving the Java memory model using CRF

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Proofs of Correctness of Cache-Coherence Protocols

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity

Getting Formal Verification into Design Flow

FM '08 Proceedings of the 15th international symposium on Formal Methods

Specification-based Verification in a Distributed Shared Memory Simulation Model

Simulation