HongTao Chen

According to our database, HongTao Chen authored at least 6 papers between 2008 and 2023.

Collaborative distances:

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

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

Automatic Generation of Component Fault Trees from AADL Models for Design Failure Modes and Effects Analysis.

Xiongpeng Hu, Jing Liu, Hui Dou, HongTao Chen, Yuhong Zhang

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

Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models.

Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2022

A Novel Approach to Maintain Traceability between Safety Requirements and Model Design.

Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

MC/DC Test Case Automatic Generation for Safety-Critical Systems.

Cong Wang, Haiying Sun, Hui Dou, HongTao Chen, Jing Liu

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

2008

Cost Model Based on Software-Process and Process Oriented Cost System.

HongTao Chen, Jun Liu, ShengMing Gu

Proceedings of the International Conference on Computer Science and Software Engineering, 2008