Search the dblp DataBase
Ching-Tsun Chou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Ching-Tsun Chou
The Mathematical Foundation fo Symbolic Trajectory Evaluation. [Citation Graph (0, 0)][DBLP]
CAV, 1999, pp:196-207 [Conf] - Kanna Shimizu, David L. Dill, Ching-Tsun Chou
A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol. [Citation Graph (0, 0)][DBLP]
CHARME, 2001, pp:340-354 [Conf] - Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park
A Simple Method for Parameterized Verification of Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
FMCAD, 2004, pp:382-398 [Conf] - Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. [Citation Graph (0, 0)][DBLP]
FMCAD, 2006, pp:81-88 [Conf] - Ching-Tsun Chou
Linear Broadcast Routing. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1988, pp:122- [Conf] - Ching-Tsun Chou, Eli Gafni
Understanding and Verifying Distributed Algorithms Using Stratified Decomposition. [Citation Graph (0, 0)][DBLP]
PODC, 1988, pp:44-65 [Conf] - Ching-Tsun Chou, Doron Peled
Formal Verification of a Partial-Order Reduction Technique for Model Checking. [Citation Graph (0, 0)][DBLP]
TACAS, 1996, pp:241-257 [Conf] - Ching-Tsun Chou
A Note on Interactive Theorem Proving with Theorem Continuation Functions. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1992, pp:59-69 [Conf] - Ching-Tsun Chou
A Sequent Formulation of a Logic of Predicates in HOL. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1992, pp:71-80 [Conf] - Ching-Tsun Chou
Predicates, Temporal Logic, and Simulations. [Citation Graph (0, 0)][DBLP]
HUG, 1993, pp:310-323 [Conf] - Ching-Tsun Chou
A Formal Theory of Undirected Graphs in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1994, pp:144-157 [Conf] - Ching-Tsun Chou
Mechanical Verification of Distributed Algorithms in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1994, pp:158-176 [Conf] - Ching-Tsun Chou, Israel Cidon, Inder S. Gopal, Shmuel Zaks
Synchronizing Aysnchronous Bounded Delay Networks. [Citation Graph (0, 0)][DBLP]
WDAG, 1987, pp:212-218 [Conf] - Ching-Tsun Chou
Mechanical Verification of Distributed Algorithms in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
Comput. J., 1995, v:38, n:2, pp:152-161 [Journal] - Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park
Experience with Applying Formal Methods to Protocol Specification and System Architecture. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 2003, v:22, n:2, pp:109-116 [Journal] - Ching-Tsun Chou
Simple Proof Techniques for Property Preservation via Simulation. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1996, v:60, n:3, pp:129-134 [Journal] - Ching-Tsun Chou, Inder S. Gopal
Linear Broadcast Routing. [Citation Graph (0, 0)][DBLP]
J. Algorithms, 1989, v:10, n:4, pp:490-517 [Journal] - Ching-Tsun Chou, Doron Peled
Formal Verification of a Partial-Order Reduction Technique for Model Checking. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1999, v:23, n:3-4, pp:265-298 [Journal]
Search in 0.140secs, Finished in 0.141secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002