Synchronizing Aysnchronous Bounded Delay Networks. - Ching-Tsun Chou; Israel Cidon; Inder S. Gopal; Shmuel Zaks (WDAG, 1987)

Linear Broadcast Routing. - Ching-Tsun Chou (FSTTCS, 1988)

Understanding and Verifying Distributed Algorithms Using Stratified Decomposition. - Ching-Tsun Chou; Eli Gafni (PODC, 1988)

Linear Broadcast Routing. - Ching-Tsun Chou; Inder S. Gopal (J. Algorithms, 1989)

Synchronizing asynchronous bounded delay networks. - Ching-Tsun Chou; Israel Cidon; Inder S. Gopal; Shmuel Zaks (IEEE Trans. Commun., 1990)

A Note on Interactive Theorem Proving with Theorem Continuation Functions. - Ching-Tsun Chou (TPHOLs, 1992)

A Sequent Formulation of a Logic of Predicates in HOL. - Ching-Tsun Chou (TPHOLs, 1992)

Predicates, Temporal Logic, and Simulations. - Ching-Tsun Chou (HUG, 1993)

A Formal Theory of Undirected Graphs in Higher-Order Logic. - Ching-Tsun Chou (TPHOLs, 1994)

Mechanical Verification of Distributed Algorithms in Higher-Order Logic. - Ching-Tsun Chou (Comput. J., 1995)

Simple Proof Techniques for Property Preservation via Simulation. - Ching-Tsun Chou (Inf. Process. Lett., 1996)

The Mathematical Foundation fo Symbolic Trajectory Evaluation. - Ching-Tsun Chou (CAV, 1999)

Formal Verification of a Partial-Order Reduction Technique for Model Checking. - Ching-Tsun Chou; Doron A. Peled (J. Autom. Reason., 1999)

A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol. - Kanna Shimizu; David L. Dill; Ching-Tsun Chou (CHARME, 2001)

Experience with Applying Formal Methods to Protocol Specification and System Architecture. - Mani Azimi; Ching-Tsun Chou; Akhilesh Kumar; Victor W. Lee; Phanindra K. Mannava; Seungjoon Park (Formal Methods Syst. Des., 2003)

A Simple Method for Parameterized Verification of Cache Coherence Protocols. - Ching-Tsun Chou; Phanindra K. Mannava; Seungjoon Park (FMCAD, 2004)

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. - Xiaofang Chen; Yu Yang 013; Ganesh Gopalakrishnan; Ching-Tsun Chou (FMCAD, 2006)

Hierarchical cache coherence protocol verification one level at a time through assume guarantee. - Xiaofang Chen; Yu Yang 013; Michael Delisi; Ganesh Gopalakrishnan; Ching-Tsun Chou (HLDVT, 2007)

Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. - Xiaofang Chen; Yu Yang 013; Ganesh Gopalakrishnan; Ching-Tsun Chou (Formal Methods Syst. Des., 2010)

DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism. - Byn Choi; Rakesh Komuravelli; Hyojin Sung; Robert Smolinski; Nima Honarmand; Sarita V. Adve; Vikram S. Adve; Nicholas P. Carter; Ching-Tsun Chou (PACT, 2011)

Revisiting the Complexity of Hardware Cache Coherence and Some Implications. - Rakesh Komuravelli; Sarita V. Adve; Ching-Tsun Chou (ACM Trans. Archit. Code Optim., 2014)