Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. - Jiawan Wang; Wenxia Liu; Muzimiao Zhang; Jiaqi Wei; Yuhui Shi; Lei Bu; Xuandong Li (CAV (3), 2024)

Attack Effect Model based Malicious Behavior Detection. - Limin Wang; Lei Bu; Muzimiao Zhang; Shihong Cang; Kai Ye (CoRR, 2025)