Modeling and formal verification of dataflow graph in system-level design using Petri net. - Tsung-Hsi Chiang; Lan-Rong Dung; Ming-Feng Yaung (ISCAS (6), 2005)

System-level verification on high-level synthesis of dataflow graph. - Tsung-Hsi Chiang; Lan-Rong Dung (ISCAS, 2006)

Verification method of dataflow algorithms in high-level synthesis. - Tsung-Hsi Chiang; Lan-Rong Dung (J. Syst. Softw., 2007)

A VLSI Progressive Coding for Wavelet-based Image Compression. - Tsung-Hsi Chiang; Lan-Rong Dung (IEEE Trans. Consumer Electron., 2007)

Verification of Dataflow Scheduling. - Tsung-Hsi Chiang; Lan-Rong Dung (Int. J. Softw. Eng. Knowl. Eng., 2008)