Hardware Composition with Hardware Flowcharts and Process Algebras. - Juin-Yeu Joseph Lu; Jang Dae Kim; Shiu-Kai Chin (ICECCS, 1996)

Fault-Simulation Based Design Error Diagnosis for Sequential Circuits. - Shi-Yu Huang; Kwang-Ting Cheng; Kuang-Chien Chen; Juin-Yeu Joseph Lu (DAC, 1998)

TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. - Sudheendra Hangal; Durgam Vahia; Chaiyasit Manovit; Juin-Yeu Joseph Lu; Sridhar Narayanan (ISCA, 2004)