Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications. - Farn Wang; Li-Wei Yao; Jung-Hsuan Wu (DASC, 2011)

Efficient verification of distributed real-time systems with broadcasting behaviors. - Farn Wang; Li-Wei Yao; Ya-Lan Yang (Real Time Syst., 2011)

In-Mold Heat Radiating Simulation and Verification of In-Mold Electronics. - Li-Wei Yao; Yi-Rong Lin; Chun-Chun Lai; Hsiao-Fen Wei; Chung-Wei Wang (IV, 2024)