The SCEAS System
| |||||||

## 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**[Citation Graph (0, 0)][DBLP]^{®}Itanium^{TM}Processor Bus Protocol. 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.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |