Jincao Feng

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Malicious Attacks

Histogram Matching

Control Software

Top Venues

Publications

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR (2023)
Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu
ALA: Naturalness-aware Adversarial Lightness Attack. ACM Multimedia (2023)
Liangru Sun, Felix Juefei-Xu, Yihao Huang, Qing Guo, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu
ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations. CoRR (2022)
Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. TASE (2021)
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE (2020)
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. CoRR (2019)
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. ASE (2019)
Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng
A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. APSEC (2019)