Cheng-Chao Huang

According to our database, Cheng-Chao Huang authored at least 21 papers between 2016 and 2024.

Collaborative distances:

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

2024

ADVREPAIR: Provable Repair of Adversarial Attack.

Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang

CoRR, 2024

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.

Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Quantitative controller synthesis for consumption Markov decision processes.

Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang

Inf. Process. Lett., 2023

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.

Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang

CoRR, 2023

TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models.

Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

2022

Safety Analysis of Autonomous Driving Systems Based on Model Learning.

Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang

CoRR, 2022

Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers.

Cheng-Chao Huang

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.

Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.

Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang

Formal Aspects Comput., 2021

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness.

Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang

CoRR, 2021

Probabilistic Robustness Analysis for DNNs based on PAC Learning.

Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang

CoRR, 2021

Measuring the constrained reachability in quantum Markov chains.

Ming Xu, Cheng-Chao Huang, Yuan Feng

Acta Informatica, 2021

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

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

Proceedings of the Knowledge Science, Engineering and Management, 2021

2020

A Conflict-Driven Solving Procedure for Poly-Power Constraints.

Cheng-Chao Huang, Ming Xu, Zhi-Bin Li

J. Autom. Reason., 2020

PRODeep: a platform for robustness verification of deep neural networks.

Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Modelling and Implementation of Unmanned Aircraft Collision Avoidance.

Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

2018

Positive root isolation for poly-powers by exclusion and differentiation.

Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li

J. Symb. Comput., 2018

2016

Analyzing ultimate positivity for solvable systems.

Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng

Theor. Comput. Sci., 2016

Positive Root Isolation for Poly-Powers.

Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

Influence Spread Evaluation and Propagation Rebuilding.

Qianwen Zhang, Cheng-Chao Huang, Jinkui Xie

Proceedings of the Neural Information Processing - 23rd International Conference, 2016