|
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.084secs, Finished in 0.085secs
|