HongTao Chen

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 5

Top Topics

Failure Modes And Effects

Autonomous Driving

Semantic Representations

Model Validation

Top Venues

Publications

Mengyuan Wang, Tengfei Li, Jing Liu, Hui Dou, HongTao Chen, John Zhang, Lipeng Zhang
Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints. SEKE (2023)
Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. ICECCS (2023)
Xiongpeng Hu, Jing Liu, Hui Dou, HongTao Chen, Yuhong Zhang
Automatic Generation of Component Fault Trees from AADL Models for Design Failure Modes and Effects Analysis. QRS (2023)
Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He
A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. SEKE (2022)
Cong Wang, Haiying Sun, Hui Dou, HongTao Chen, Jing Liu
MC/DC Test Case Automatic Generation for Safety-Critical Systems. QRS (2022)
HongTao Chen, Jun Liu, ShengMing Gu
Cost Model Based on Software-Process and Process Oriented Cost System. CSSE (2) (2008)