| |
| 2008 | ||
|---|---|---|
| 4 | EE | Tsung-Hsi Chiang, Lan-Rong Dung: Verification of Dataflow Scheduling. International Journal of Software Engineering and Knowledge Engineering 18(6): 737-758 (2008) |
| 2007 | ||
| 3 | EE | Tsung-Hsi Chiang, Lan-Rong Dung: Verification method of dataflow algorithms in high-level synthesis. Journal of Systems and Software 80(8): 1256-1270 (2007) |
| 2006 | ||
| 2 | EE | Tsung-Hsi Chiang, Lan-Rong Dung: System-level verification on high-level synthesis of dataflow graph. ISCAS 2006 |
| 2005 | ||
| 1 | EE | Tsung-Hsi Chiang, Lan-Rong Dung, Ming-Feng Yaung: Modeling and formal verification of dataflow graph in system-level design using Petri net. ISCAS (6) 2005: 5674-5677 |
| 1 | Lan-Rong Dung | [1] [2] [3] [4] |
| 2 | Ming-Feng Yaung | [1] |