| 2025 | EMNLP | Randomized Smoothing Meets Vision-Language Models. | Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng |
| 2025 | ESEM | Rethinking Code Review Workflows with LLM Assistance: An Empirical Study. | Fannar Steinn Aalsteinsson, Bjrn Borgar Magnsson, Mislav Milicevic, Adam Nirving Davidsson, Chih-Hong Cheng |
| 2025 | ICRA | FuzzRisk: Online Collision Risk Estimation for Autonomous Vehicles Based on Depth-Aware Object Detection via Fuzzy Inference. | Brian Hsuan-Cheng Liao, Yingjie Xu, Chih-Hong Cheng, Hasan Esen, Alois Knoll |
| 2025 | IROS | Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection. | Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem |
| 2025 | RV | Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs. | Chih-Hong Cheng, Changshun Wu, Xingyu Zhao, Saddek Bensalem, Harald Ruess |
| 2024 | ECAI | Estimating the Robustness Radius for Randomized Smoothing with 100 Sample Efficiency. | Emmanouil Seferis, Stefanos Kollias, Chih-Hong Cheng |
| 2024 | IROS | EC-IoU: Orienting Safety for Object Detectors via Ego-Centric Intersection-over-Union. | Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll |
| 2024 | IROS | BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. | Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem |
| 2023 | DATE | Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection. | Nguyen Anh Vu Doan, Arda Yksel, Chih-Hong Cheng |
| 2023 | ICLR | Statistical Property Testing for Generative Models. | Emmanouil Seferis, Simon Burton, Chih-Hong Cheng |
| 2023 | ICLR | Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models? | Emmanouil Seferis, Simon Burton, Chih-Hong Cheng |
| 2023 | IJCNN | Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles. | Utku Ayvaz, Chih-Hong Cheng, Hao Shen |
| 2023 | IROS | EvCenterNet: Uncertainty Estimation for Object Detection Using Evidential Learning. | Monish R. Nallapareddy, Kshitij Sirohi, Paulo Lilles Jorge Drews, Wolfram Burgard, Chih-Hong Cheng, Abhinav Valada |
| 2023 | PRDC | Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications. | Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton |
| 2023 | RV | Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). | Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan |
| 2023 | SAFECOMP | Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. | Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll |
| 2023 | VECoS | What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. | Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao |
| 2022 | ATVA | Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. | Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem |
| 2022 | CAV | Formal Specification for Learning-Enabled Autonomous Systems. | Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled |
| 2022 | ICRA | ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. | Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan |
| 2022 | SAFECOMP | Logically Sound Arguments for the Effectiveness of ML Safety Measures. | Chih-Hong Cheng, Tobias Schuster, Simon Burton |
| 2022 | SAFECOMP | Formally Compensating Performance Limitations for Imprecise 2D Object Detection. | Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng |
| 2021 | DATE | Provably-Robust Runtime Monitoring of Neuron Activation Patterns. | Chih-Hong Cheng |
| 2021 | DATE | Continuous Safety Verification of Neural Networks. | Chih-Hong Cheng, Rongjie Yan |
| 2021 | IROS | Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. | Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan |
| 2021 | SEFM | Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. | Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Frnzle |
| 2020 | DATE | Towards Safety Verification of Direct Perception Neural Networks. | Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi |
| 2020 | SAFECOMP | Safety-Aware Hardening of 3D Object Detection Neural Network Systems. | Chih-Hong Cheng |
| 2019 | DATE | Runtime Monitoring Neuron Activation Patterns. | Chih-Hong Cheng, Georg Nhrenberg, Hirotoshi Yasuoka |
| 2019 | ICCAD | nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. | Chih-Hong Cheng, Chung-Hao Huang, Georg Nhrenberg |
| 2018 | ATVA | Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. | Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka |
| 2018 | DATE | Neural networks for safety-critical applications - Challenges, experiments and perspectives. | Chih-Hong Cheng, Frederik Diehl, Gereon Hinz, Yassine Hamza, Georg Nhrenberg, Markus Rickert, Harald Ruess, Michael Truong-Le |
| 2018 | MEMOCODE | Towards Dependability Metrics for Neural Networks. | Chih-Hong Cheng, Georg Nhrenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka |
| 2017 | APSEC | Automated Analysis of Multi-View Software Architectures. | Chih-Hong Cheng, Yassine Hamza, Harald Ruess |
| 2017 | ATVA | Maximum Resilience of Artificial Neural Networks. | Chih-Hong Cheng, Georg Nhrenberg, Harald Ruess |
| 2017 | ETFA | Device adapter concept towards enabling plug&produce production environments. | Kirill Dorofeev, Chih-Hong Cheng, Magno Guedes, Pedro Ferreira, Stefan Profanter, Alois Zoitl |
| 2017 | TACAS | autoCode4: Structural Controller Synthesis. | Chih-Hong Cheng, Edward A. Lee, Harald Ruess |
| 2016 | CAV | Structural Synthesis for GXW Specifications. | Chih-Hong Cheng, Yassine Hamza, Harald Ruess |
| 2016 | FM | Compositional Parameter Synthesis. | Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess |
| 2015 | DATE | Formal consistency checking over specifications in natural languages. | Rongjie Yan, Chih-Hong Cheng, Yesheng Chai |
| 2014 | CAV | G4LTL-ST: Automatic Generation of PLC Programs. | Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann |
| 2013 | CAV | JBernstein: A Validity Checker for Generalized Polynomial Constraints. | Chih-Hong Cheng, Harald Ruess, Natarajan Shankar |
| 2012 | CAV | MGSyn: Automatic Synthesis for Industrial Automation. | Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2012 | ICRA | Game solving for industrial automation and control. | Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2011 | ATVA | Algorithms for Synthesizing Priorities in Component-Based Systems. | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2011 | TACAS | GAVS+: An Open Platform for the Research of Algorithmic Game Solving. | Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl |
| 2011 | VMCAI | Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. | Chih-Hong Cheng, Harald Rue, Alois C. Knoll, Christian Buckl |
| 2010 | ATVA | GAVS: Game Arena Visualization and Synthesis. | Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll |
| 2009 | COMPSAC | Toward the Design of Robotic Software with Verifiable Safety. | Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois C. Knoll |
| 2008 | FORTE | Program Repair Suggestions from Graphical State-Transition Specifications. | Farn Wang, Chih-Hong Cheng |