Cheng-Chao Huang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Patch Synthesis for Property Repair of Deep Neural Networks. | Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang |
| 2024 | ICSE | VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. | Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang |
| 2023 | ICCV | TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. | Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang |
| 2022 | ICSE | Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. | Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang |
| 2022 | ISSAC | Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers. | Cheng-Chao Huang |
| 2021 | KSEM | An Ensemble Fuzziness-Based Online Sequential Learning Approach and Its Application. | Wei-Peng Cao, Sheng-Dong Li, Cheng-Chao Huang, Yu-Hao Wu, Qiang Wang, Da-Chuan Li, Ye Liu |
| 2021 | TACAS | Improving Neural Network Verification through Spurious Region Guided Refinement. | Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang |
| 2020 | SETTA | Modelling and Implementation of Unmanned Aircraft Collision Avoidance. | Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li |
| 2016 | ICONIP | Influence Spread Evaluation and Propagation Rebuilding. | Qianwen Zhang, Cheng-Chao Huang, Jinkui Xie |
| 2016 | ISSAC | Positive Root Isolation for Poly-Powers. | Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li |