| 2006 |
|---|
| 18 | EE | Xiaofang Chen,
Yu Yang,
Ganesh Gopalakrishnan,
Ching-Tsun Chou:
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.
FMCAD 2006: 81-88 |
| 2004 |
|---|
| 17 | EE | Ching-Tsun Chou,
Phanindra K. Mannava,
Seungjoon Park:
A Simple Method for Parameterized Verification of Cache Coherence Protocols.
FMCAD 2004: 382-398 |
| 2003 |
|---|
| 16 | EE | 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.
Formal Methods in System Design 22(2): 109-116 (2003) |
| 2001 |
|---|
| 15 | EE | 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.
CHARME 2001: 340-354 |
| 1999 |
|---|
| 14 | EE | Ching-Tsun Chou:
The Mathematical Foundation fo Symbolic Trajectory Evaluation.
CAV 1999: 196-207 |
| 13 | | Ching-Tsun Chou,
Doron Peled:
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
J. Autom. Reasoning 23(3-4): 265-298 (1999) |
| 1996 |
|---|
| 12 | | Ching-Tsun Chou,
Doron Peled:
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
TACAS 1996: 241-257 |
| 11 | EE | Ching-Tsun Chou:
Simple Proof Techniques for Property Preservation via Simulation.
Inf. Process. Lett. 60(3): 129-134 (1996) |
| 1995 |
|---|
| 10 | | Ching-Tsun Chou:
Mechanical Verification of Distributed Algorithms in Higher-Order Logic.
Comput. J. 38(2): 152-161 (1995) |
| 1994 |
|---|
| 9 | | Ching-Tsun Chou:
A Formal Theory of Undirected Graphs in Higher-Order Logic.
TPHOLs 1994: 144-157 |
| 8 | | Ching-Tsun Chou:
Mechanical Verification of Distributed Algorithms in Higher-Order Logic.
TPHOLs 1994: 158-176 |
| 1993 |
|---|
| 7 | | Ching-Tsun Chou:
Predicates, Temporal Logic, and Simulations.
HUG 1993: 310-323 |
| 1992 |
|---|
| 6 | | Ching-Tsun Chou:
A Note on Interactive Theorem Proving with Theorem Continuation Functions.
TPHOLs 1992: 59-69 |
| 5 | | Ching-Tsun Chou:
A Sequent Formulation of a Logic of Predicates in HOL.
TPHOLs 1992: 71-80 |
| 1989 |
|---|
| 4 | | Ching-Tsun Chou,
Inder S. Gopal:
Linear Broadcast Routing.
J. Algorithms 10(4): 490-517 (1989) |
| 1988 |
|---|
| 3 | | Ching-Tsun Chou:
Linear Broadcast Routing.
FSTTCS 1988: 122 |
| 2 | EE | Ching-Tsun Chou,
Eli Gafni:
Understanding and Verifying Distributed Algorithms Using Stratified Decomposition.
PODC 1988: 44-65 |
| 1987 |
|---|
| 1 | | Ching-Tsun Chou,
Israel Cidon,
Inder S. Gopal,
Shmuel Zaks:
Synchronizing Aysnchronous Bounded Delay Networks.
WDAG 1987: 212-218 |
