MRTPO-FJSP: A Multi-Resource Three-Phase Operation Flexible Job Shop Problem for Manufacturing Cyber-Physical Systems. - Hui-Wen Yang; Yean-Ru Chen; Tien-Fu Li; Pei-Hsuan Tsai (ICCPS, 2026)

Automatic Model Transformation and Formal Verification for Function Block of IEC 61499. - Yean-Ru Chen; Chia-Hao Hsu; Tien-Fu Li; Cheng-Yuan Lin; Shao-Chia Weng; Min-Yan Tsai (Softw. Syst. Model., 2026)