Ching-Tsun Chou

	2006
18		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		Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park: A Simple Method for Parameterized Verification of Cache Coherence Protocols. FMCAD 2004: 382-398
	2003
16		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		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		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		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		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

Coauthor Index

1	Mani Azimi	[16]
2	Xiaofang Chen	[18]
3	Israel Cidon	[1]
4	David L. Dill	[15]
5	Eli Gafni	[2]
6	Inder S. Gopal	[1] [4]
7	Ganesh Gopalakrishnan	[18]
8	Akhilesh Kumar	[16]
9	Victor W. Lee	[16]
10	Phanindra K. Mannava	[16] [17]
11	Seungjoon Park	[16] [17]
12	Doron Peled	[12] [13]
13	Kanna Shimizu	[15]
14	Yu Yang	[18]
15	Shmuel Zaks	[1]

Colors in the list of coauthors