An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation. - Mingfu Tuo; Xingshe Zhou 001; Gang Yang 008; Ning Fu (iThings/GreenCom/CPSCom/SmartData, 2016)

Research on Behavior Modeling and Property Verification for Cyber-Physical Systems. - Mingfu Tuo; Cheng Zhou; Zhonghai Yin; Xin Zhao; Lei Wang (INCoS, 2017)

Research on Security and Interoperability in Middleware. - Cheng Zhou; Mingwen Tuo; Mingfu Tuo; Xin Zhao; Lei Wang (INCoS, 2017)

Modelling behaviour of cyber-physical system and verifying its safety based on algebra of event. - Mingfu Tuo; Cheng Zhou; Zhonghai Yin; Xin Zhao; Lei Wang (Int. J. Intell. Inf. Database Syst., 2018)

A Hybrid Automata Based on Event Algebra for CPS Modelling. - Mingfu Tuo; Jian Zhao; Hongmei Zhang; Yongmei Zhao (QRS Companion, 2021)

Modeling and Real-Time Verification for CPS based on Time Automata. - Mingfu Tuo; Xiaoqiang Zhao; Bo Shen 006; Wenliang Wu (QRS Companion, 2022)

Safety Verification Technology of CPS Based on Theorem Proving. - Mingfu Tuo; Xiaoqiang Zhao; Wenliang Wu; Bo Shen 006 (QRS Companion, 2023)

Review of Key Attribute Analysis and Verification Techniques for CPS. - Mingfu Tuo; Wenliang Wu; Hongmei Zhang; Yongmei Zhao (QRS Companion, 2024)

Nonnegative low-rank tensor completion method for spatiotemporal traffic data. - Yongmei Zhao; Mingfu Tuo; Hongmei Zhang; Han Zhang; Jiangnan Wu; Fengyin Gao (Multim. Tools Appl., 2024)