Mingfu Tuo

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Distributed Search

Algebraic Operations

Theorem Proving

Cyber Physical Systems

Top Venues

iThings/GreenCom/CPSCom/SmartData

Int. J. Intell. Inf. Database Syst.

Publications

Yongmei Zhao, Mingfu Tuo, Hongmei Zhang, Han Zhang, Jiangnan Wu, Fengyin Gao
Nonnegative low-rank tensor completion method for spatiotemporal traffic data. Multim. Tools Appl. 83 (22) (2024)
Mingfu Tuo, Xiaoqiang Zhao, Wenliang Wu, Bo Shen
Safety Verification Technology of CPS Based on Theorem Proving. QRS Companion (2023)
Mingfu Tuo, Xiaoqiang Zhao, Bo Shen, Wenliang Wu
Modeling and Real-Time Verification for CPS based on Time Automata. QRS Companion (2022)
Mingfu Tuo, Jian Zhao, Hongmei Zhang, Yongmei Zhao
A Hybrid Automata Based on Event Algebra for CPS Modelling. QRS Companion (2021)
Mingfu Tuo, Cheng Zhou, Zhonghai Yin, Xin Zhao, Lei Wang
Modelling behaviour of cyber-physical system and verifying its safety based on algebra of event. Int. J. Intell. Inf. Database Syst. 11 (2/3) (2018)
Cheng Zhou, Mingwen Tuo, Mingfu Tuo, Xin Zhao, Lei Wang
Research on Security and Interoperability in Middleware. INCoS (2017)
Mingfu Tuo, Cheng Zhou, Zhonghai Yin, Xin Zhao, Lei Wang
Research on Behavior Modeling and Property Verification for Cyber-Physical Systems. INCoS (2017)
Mingfu Tuo, Xingshe Zhou, Gang Yang, Ning Fu
An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation. iThings/GreenCom/CPSCom/SmartData (2016)