Supporting Design Enhancement by Pattern-Based Transformation. - Nien-Lin Hsueh; Peng-Hua Chu; Pao-Ann Hsiung; Min-Ju Chuang; William C. Chu; Chih-Hung Chang; Chorng-Shiuh Koong; Chihhsiong Shih (COMPSAC, 2010)

A pattern-based verification approach for a multi-core system development. - Peng-Hua Chu; Nien-Lin Hsueh; Chien-Ching Lee; Min-Ju Chuang; Pao-Ann Hsiung; William C. Chu (SAC, 2011)