Tengfei Li

According to our database, Tengfei Li authored at least 15 papers between 2019 and 2023.

Collaborative distances:

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

2023

stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems.

Dongdong An, Zongxu Pan, Xin Gao, Shuang Li, Ling Yin, Tengfei Li

IEEE Access, 2023

Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints.

Mengyuan Wang, Tengfei Li, Jing Liu, Hui Dou, HongTao Chen, John Zhang, Lipeng Zhang

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Enhancing the Formal Verification of Train Control Systems based on Decomposition.

Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.

Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang

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

2021

Runtime Verification of Spatio-Temporal Specification Language.

Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun

Mob. Networks Appl., 2021

Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems.

Qianzhu Zhao, Jing Liu, Xiang Chen, Tengfei Li, Junfeng Sun, Lipeng Zhang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems.

Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

A spatio-temporal specification language and its completeness & decidability.

Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun

J. Cloud Comput., 2020

Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems.

Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun

Proceedings of the 19th IEEE International Conference on Trust, 2020

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Model Checking of Spatial Logic.

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

AADL+: a simulation-based methodology for cyber-physical systems.

Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He

Frontiers Comput. Sci., 2019

A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.

Tengfei Li, Jing Liu, Dongdong An, Haiying Sun

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Spatio-Temporal Specification Language for Cyber-Physical Systems.

Tengfei Li

Proceedings of the Formal Methods and Software Engineering, 2019

A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning.

Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin

Proceedings of the Formal Methods and Software Engineering, 2019