Tengfei Li

16 papers B 3C 7Misc 1Journal 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Framework for Runtime Safety of Industrial Control Systems Through Runtime Verification.
IEEE Internet Things J.
Qin Li, Yuanzhe Li, Xia Mao, Ting Wang, Tengfei Li
2023 B conf
Enhancing the Formal Verification of Train Control Systems based on Decomposition.
COMPSAC
Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun
2023 C conf
Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints.
SEKE
Mengyuan Wang, Tengfei Li, Jing Liu, Hui Dou, Hongtao Chen, John Zhang, Lipeng Zhang
2023 J jnl
stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems.
IEEE Access
Dongdong An, Zongxu Pan, Xin Gao, Shuang Li, Ling Yin, Tengfei Li
2022 C conf
Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.
QRS
Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang
2021 Misc conf
Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems.
TASE
Qianzhu Zhao, Jing Liu, Xiang Chen, Tengfei Li, Junfeng Sun, Lipeng Zhang
2021 J jnl
Runtime Verification of Spatio-Temporal Specification Language.
Mob. Networks Appl.
Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun
2021 B conf
Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems.
COMPSAC
Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li
2020 J jnl
A spatio-temporal specification language and its completeness & decidability.
J. Cloud Comput.
Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun
2020 C conf
Model Checking of Spatial Logic.
APSEC
Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han
2020 B conf
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems.
TrustCom
Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun
2020 C conf
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.
QRS
Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang
2019 C conf
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning.
ICFEM
Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin
2019 C conf
A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.
SEKE
Tengfei Li, Jing Liu, Dongdong An, Haiying Sun
2019 J jnl
AADL+: a simulation-based methodology for cyber-physical systems.
Frontiers Comput. Sci.
Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He
2019 C conf
Spatio-Temporal Specification Language for Cyber-Physical Systems.
ICFEM
Tengfei Li