Sign in
Mingfu Tuo
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 6
Top Topics
Security Management
Algebraic Operations
Temporal Events
Cyber Physical Systems
Top Venues
INCoS
QRS Companion
iThings/GreenCom/CPSCom/SmartData
Int. J. Intell. Inf. Database Syst.
</>
Publications
</>
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)