Ching-Tsun Chou

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols Formal Methods in System Design	2010-05-05	Paper
Formal Methods in Computer-Aided Design Lecture Notes in Computer Science	2006-10-20	Paper
scientific article; zbMATH DE number 2102706 (Why is no real title available?)	2004-09-24	Paper
Experience with applying formal methods to protocol specification and system architecture Formal Methods in System Design	2003-05-11	Paper
scientific article; zbMATH DE number 1852168 (Why is no real title available?)	2003-01-09	Paper
Formal verification of a partial-order reduction technique for model checking Journal of Automated Reasoning	2000-01-30	Paper
Simple proof techniques for property preservation via simulation Information Processing Letters	1997-02-27	Paper
Linear broadcast routing Journal of Algorithms	1992-06-25	Paper
scientific article; zbMATH DE number 4055012 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4090796 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Ching-Tsun Chou