# Ching-Tsun Chou

According to our database

Collaborative distances:

^{1}, Ching-Tsun Chou authored at least 21 papers between 1987 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

Revisiting the Complexity of Hardware Cache Coherence and Some Implications.

TACO, 2014

2011

DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism.

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols.

Formal Methods in System Design, 2010

2007

Hierarchical cache coherence protocol verification one level at a time through assume guarantee.

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2004

A Simple Method for Parameterized Verification of Cache Coherence Protocols.

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Experience with Applying Formal Methods to Protocol Specification and System Architecture.

Formal Methods in System Design, 2003

2001

A Specification Methodology by a Collection of Compact Properties as Applied to the Intel

^{®}Itanium^{TM}Processor Bus Protocol.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

1999

The Mathematical Foundation fo Symbolic Trajectory Evaluation.

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1996

Simple Proof Techniques for Property Preservation via Simulation.

Inf. Process. Lett., 1996

Formal Verification of a Partial-Order Reduction Technique for Model Checking.

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1994

Mechanical Verification of Distributed Algorithms in Higher-Order Logic.

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

A Formal Theory of Undirected Graphs in Higher-Order Logic.

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Predicates, Temporal Logic, and Simulations.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1992

A Sequent Formulation of a Logic of Predicates in HOL.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

A Note on Interactive Theorem Proving with Theorem Continuation Functions.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1990

Synchronizing asynchronous bounded delay networks.

IEEE Trans. Communications, 1990

1989

Linear Broadcast Routing.

J. Algorithms, 1989

1988

Understanding and Verifying Distributed Algorithms Using Stratified Decomposition.

Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

Linear Broadcast Routing.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

1987

Synchronizing Aysnchronous Bounded Delay Networks.

Proceedings of the Distributed Algorithms, 1987