Ching-Tsun Chou

According to our database1, Ching-Tsun Chou authored at least 23 papers between 1987 and 2014.

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

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® ItaniumTM Processor Bus Protocol.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

1999
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
J. Autom. Reasoning, 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

1995
Mechanical Verification of Distributed Algorithms in Higher-Order Logic.
Comput. J., 1995

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


  Loading...