Cheng-Chao Huang

26 papers A* 4B 2C 1Misc 1Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
Patch Synthesis for Property Repair of Deep Neural Networks.
ICSE
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang
2025 J jnl
QuantiVA: quantitative verification of autonomous driving.
Res. Dir. Cyber Phys. Syst.
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
2024 J jnl
ADVREPAIR: Provable Repair of Adversarial Attack.
CoRR
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang
2024 A* conf
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.
ICSE
Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang
2023 J jnl
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.
CoRR
Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang
2023 J jnl
Quantitative controller synthesis for consumption Markov decision processes.
Inf. Process. Lett.
Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang
2023 A* conf
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models.
ICCV
Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang
2023 J jnl
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models.
CoRR
Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang
2022 B conf
Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers.
ISSAC
Cheng-Chao Huang
2022 J jnl
Safety Analysis of Autonomous Driving Systems Based on Model Learning.
CoRR
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
2022 A* conf
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.
ICSE
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang
2021 C conf
An Ensemble Fuzziness-Based Online Sequential Learning Approach and Its Application.
KSEM
Wei-Peng Cao, Sheng-Dong Li, Cheng-Chao Huang, Yu-Hao Wu, Qiang Wang, Da-Chuan Li, Ye Liu
2021 J jnl
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.
Formal Aspects Comput.
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
2021 J jnl
Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness.
CoRR
Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang
2021 J jnl
Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers.
CoRR
Cheng-Chao Huang
2021 — conf
Improving Neural Network Verification through Spurious Region Guided Refinement.
TACAS (1)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2021 J jnl
Measuring the constrained reachability in quantum Markov chains.
Acta Informatica
Ming Xu, Cheng-Chao Huang, Yuan Feng
2021 J jnl
Probabilistic Robustness Analysis for DNNs based on PAC Learning.
CoRR
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang
2020 J jnl
A Conflict-Driven Solving Procedure for Poly-Power Constraints.
J. Autom. Reason.
Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
2020 J jnl
Improving Neural Network Verification through Spurious Region Guided Refinement.
CoRR
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2020 Misc conf
Modelling and Implementation of Unmanned Aircraft Collision Avoidance.
SETTA
Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li
2020 — conf
PRODeep: a platform for robustness verification of deep neural networks.
ESEC/SIGSOFT FSE
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns
2018 J jnl
Positive root isolation for poly-powers by exclusion and differentiation.
J. Symb. Comput.
Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li
2016 J jnl
Analyzing ultimate positivity for solvable systems.
Theor. Comput. Sci.
Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng
2016 — conf
Influence Spread Evaluation and Propagation Rebuilding.
ICONIP (2)
Qianwen Zhang, Cheng-Chao Huang, Jinkui Xie
2016 B conf
Positive Root Isolation for Poly-Powers.
ISSAC
Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li