Ching-Tsun Chou

	2011
20		Byn Choi, Rakesh Komuravelli, Hyojin Sung, Robert Smolinski, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Nicholas P. Carter, Ching-Tsun Chou: DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism. PACT 2011: 155-166
	2010
19		Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou: Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. Formal Methods in System Design 36(1): 37-64 (2010)
	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	Sarita V. Adve	[20]
2	Vikram S. Adve	[20]
3	Mani Azimi	[16]
4	Nicholas P. Carter	[20]
5	Xiaofang Chen	[18] [19]
6	Byn Choi	[20]
7	Israel Cidon	[1]
8	David L. Dill	[15]
9	Eli Gafni	[2]
10	Inder S. Gopal	[1] [4]
11	Ganesh Gopalakrishnan	[18] [19]
12	Nima Honarmand	[20]
13	Rakesh Komuravelli	[20]
14	Akhilesh Kumar	[16]
15	Victor W. Lee	[16]
16	Phanindra K. Mannava	[16] [17]
17	Seungjoon Park	[16] [17]
18	Doron Peled	[12] [13]
19	Kanna Shimizu	[15]
20	Robert Smolinski	[20]
21	Hyojin Sung	[20]
22	Yu Yang	[18] [19]
23	Shmuel Zaks	[1]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page