Mingfu Tuo

According to our database, Mingfu Tuo authored at least 7 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Safety Verification Technology of CPS Based on Theorem Proving.

Mingfu Tuo, Xiaoqiang Zhao, Wenliang Wu, Bo Shen

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022

Modeling and Real-Time Verification for CPS based on Time Automata.

Mingfu Tuo, Xiaoqiang Zhao, Bo Shen, Wenliang Wu

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

A Hybrid Automata Based on Event Algebra for CPS Modelling.

Mingfu Tuo, Jian Zhao, Hongmei Zhang, Yongmei Zhao

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2018

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

2017

Research on Security and Interoperability in Middleware.

Cheng Zhou, Mingwen Tuo, Mingfu Tuo, Xin Zhao, Lei Wang

Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2017

Research on Behavior Modeling and Property Verification for Cyber-Physical Systems.

Mingfu Tuo, Cheng Zhou, Zhonghai Yin, Xin Zhao, Lei Wang

Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2017

2016

An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation.

Mingfu Tuo, Xingshe Zhou, Gang Yang, Ning Fu

Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016