Network-based fault detection of Markovian jump systems with state-dependent disturbance. - Wei Yang; Ming Liu; Yulei Fu; Huijun Gao (ISIE, 2013)

On the Effectiveness of Large Language Models in Writing Alloy Formulas. - Yang Hong; Shan Jiang; Yulei Fu; Sarfraz Khurshid (CoRR, 2025)