Program Repair Suggestions from Graphical State-Transition Specifications. - Farn Wang; Chih-Hong Cheng (FORTE, 2008)

Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. - Chih-Hong Cheng; Alois C. Knoll; Christian Buckl; Javier Esparza; Yang Chen (CIRA, 2009)

Toward the Design of Robotic Software with Verifiable Safety. - Chih-Hong Cheng; Markus Rickert 001; Christian Buckl; Edward A. Lee; Alois C. Knoll (COMPSAC (1), 2009)

Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. - Chih-Hong Cheng; Christian Buckl; Javier Esparza; Alois C. Knoll (DS-RT, 2009)

FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems - Chih-Hong Cheng; Christian Buckl; Javier Esparza; Alois C. Knoll (CoRR, 2009)

GAVS: Game Arena Visualization and Synthesis. - Chih-Hong Cheng; Christian Buckl; Michael Luttenberger; Alois C. Knoll (ATVA, 2010)

GAVS: Game Arena Visualization and Synthesis. - Chih-Hong Cheng (AlgoSyn, 2010)

A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems - Chih-Hong Cheng; Harald Ruess; Alois C. Knoll; Christian Buckl (CoRR, 2010)

Algorithms for Synthesizing Priorities in Component-Based Systems. - Chih-Hong Cheng; Saddek Bensalem; Yu-Fang Chen 001; Rongjie Yan; Barbara Jobstmann; Harald Ruess; Christian Buckl; Alois C. Knoll (ATVA, 2011)

Model Construction and Priority Synthesis for Simple Interaction Systems. - Chih-Hong Cheng; Saddek Bensalem; Barbara Jobstmann; Rongjie Yan; Alois C. Knoll; Harald Ruess (NASA Formal Methods, 2011)

GAVS+: An Open Platform for the Research of Algorithmic Game Solving. - Chih-Hong Cheng; Alois C. Knoll; Michael Luttenberger; Christian Buckl (TACAS, 2011)

Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. - Chih-Hong Cheng; Harald Rueß; Alois C. Knoll; Christian Buckl (VMCAI, 2011)

On the Hardness of Priority Synthesis. - Chih-Hong Cheng; Barbara Jobstmann; Christian Buckl; Alois C. Knoll (CIAA, 2011)

Distributed Priority Synthesis and its Applications - Chih-Hong Cheng; Saddek Bensalem; Rongjie Yan; Harald Ruess (CoRR, 2011)

Distributed priority synthesis using knowledge. - Chih-Hong Cheng; Rongjie Yan; Harald Ruess; Saddek Bensalem (AGERE!@SPLASH, 2012)

MGSyn: Automatic Synthesis for Industrial Automation. - Chih-Hong Cheng; Michael Geisinger; Harald Ruess; Christian Buckl; Alois C. Knoll (CAV, 2012)

Game solving for industrial automation and control. - Chih-Hong Cheng; Michael Geisinger; Harald Ruess; Christian Buckl; Alois C. Knoll (ICRA, 2012)

Distributed Priority Synthesis - Chih-Hong Cheng; Rongjie Yan; Saddek Bensalem; Harald Ruess (SSV, 2012)

An implementation for algorithmic game solving and its applications in system synthesis. - Chih-Hong Cheng (2012)

JBernstein: A Validity Checker for Generalized Polynomial Constraints. - Chih-Hong Cheng; Harald Ruess; Natarajan Shankar (CAV, 2013)

Synthesizing Controllers for Automation Tasks with Performance Guarantees. - Chih-Hong Cheng; Michael Geisinger; Christian Buckl (SPIN, 2013)

Numerical LTL Synthesis for Cyber-Physical Systems. - Chih-Hong Cheng; Edward A. Lee (CoRR, 2013)

EFSMT: A Logical Framework for Cyber-Physical Systems. - Chih-Hong Cheng; Natarajan Shankar; Harald Ruess; Saddek Bensalem (CoRR, 2013)

G4LTL-ST: Automatic Generation of PLC Programs. - Chih-Hong Cheng; Chung-Hao Huang; Harald Ruess; Stefan Stattelmann (CAV, 2014)

Towards quantitative metrics for architecture models. - Stephan Sehestedt; Chih-Hong Cheng; Eric Bouwers (WICSA Companion, 2014)

Formal Consistency Checking over Specifications in Natural Languages. - Rongjie Yan; Chih-Hong Cheng; Guangquan Zhang 002; Yesheng Chai (CoRR, 2014)

Formal consistency checking over specifications in natural languages. - Rongjie Yan; Chih-Hong Cheng; Yesheng Chai (DATE, 2015)

Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies. - Chih-Hong Cheng; Tuncay Guelfirat; Christian Messinger; Johannes O. Schmitt; Matthias Schnelte; Peter Weber (ESEC/SIGSOFT FSE, 2015)

Timed Orchestration for Component-based Systems. - Chih-Hong Cheng; Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem (CoRR, 2015)

Semantic Degrees for Industrie 4.0. - Chih-Hong Cheng; Tuncay Guelfirat; Christian Messinger; Johannes O. Schmitt; Matthias Schnelte; Peter Weber (CoRR, 2015)

Structural Synthesis for GXW Specifications. - Chih-Hong Cheng; Yassine Hamza; Harald Ruess (CAV (1), 2016)

Compositional Parameter Synthesis. - Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga; Chih-Hong Cheng; Harald Ruess (FM, 2016)

Automated Analysis of Multi-View Software Architectures. - Chih-Hong Cheng; Yassine Hamza; Harald Ruess (APSEC, 2017)

Maximum Resilience of Artificial Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Harald Ruess (ATVA, 2017)

Device adapter concept towards enabling plug&produce production environments. - Kirill Dorofeev; Chih-Hong Cheng; Magno Guedes; Pedro Ferreira; Stefan Profanter; Alois Zoitl (ETFA, 2017)

Just Formal Enough? Automated Analysis of EARS Requirements. - Levi Lúcio; Salman Rahman; Chih-Hong Cheng; Alistair Mavin (NFM, 2017)

autoCode4: Structural Controller Synthesis. - Chih-Hong Cheng; Edward A. Lee; Harald Ruess (TACAS (1), 2017)

Verification of Binarized Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Harald Ruess (CoRR, 2017)

Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. - Chih-Hong Cheng; Chung-Hao Huang; Hirotoshi Yasuoka (ATVA, 2018)

Neural networks for safety-critical applications - Challenges, experiments and perspectives. - Chih-Hong Cheng; Frederik Diehl; Gereon Hinz; Yassine Hamza; Georg Nührenberg; Markus Rickert 001; Harald Ruess; Michael Truong-Le (DATE, 2018)

Towards Dependability Metrics for Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Chung-Hao Huang; Harald Ruess; Hirotoshi Yasuoka (MEMOCODE, 2018)

Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). - Chih-Hong Cheng; Georg Nührenberg; Chung-Hao Huang; Harald Ruess (VSTTE, 2018)

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems. - Chih-Hong Cheng; Chung-Hao Huang; Georg Nührenberg (CoRR, 2018)

Runtime Monitoring Neuron Activation Patterns. - Chih-Hong Cheng; Georg Nührenberg; Hirotoshi Yasuoka (DATE, 2019)

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. - Chih-Hong Cheng; Chung-Hao Huang; Georg Nührenberg (ICCAD, 2019)

Architecting Dependable Learning-enabled Autonomous Systems: A Survey. - Chih-Hong Cheng; Dhiraj Gulati; Rongjie Yan (CoRR, 2019)

Towards Safety Verification of Direct Perception Neural Networks. - Chih-Hong Cheng; Chung-Hao Huang; Thomas Brunner; Vahid Hashemi (DATE, 2020)

Towards Robust Direct Perception Networks for Automated Driving. - Chih-Hong Cheng (IV, 2020)

Safety-Aware Hardening of 3D Object Detection Neural Network Systems. - Chih-Hong Cheng (SAFECOMP, 2020)

Safety Metrics for Semantic Segmentation in Autonomous Driving. - Chih-Hong Cheng; Alois C. Knoll; Hsuan-Cheng Liao (AITest, 2021)

Testing Autonomous Systems with Believed Equivalence Refinement. - Chih-Hong Cheng; Rongjie Yan (AITest, 2021)

Provably-Robust Runtime Monitoring of Neuron Activation Patterns. - Chih-Hong Cheng (DATE, 2021)

Continuous Safety Verification of Neural Networks. - Chih-Hong Cheng; Rongjie Yan (DATE, 2021)

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. - Yuhang Chen; Chih-Hong Cheng; Jun Yan 009; Rongjie Yan (IROS, 2021)

Federated Learning for Driver Status Monitoring. - Atiqa Zafar; Christian Prehofer; Chih-Hong Cheng (ITSC, 2021)

Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. - Sebastian vom Dorff; Chih-Hong Cheng; Hasan Esen; Martin Fränzle (SEFM, 2021)

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. - Chih-Hong Cheng; Changshun Wu; Emmanouil Seferis; Saddek Bensalem (ATVA, 2022)

Formal Specification for Learning-Enabled Autonomous Systems. - Saddek Bensalem; Chih-Hong Cheng; Xiaowei Huang 001; Panagiotis Katsaros; Adam Molin; Dejan Nickovic; Doron Peled (NSV/FoMLAS@CAV, 2022)

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. - Changwen Li; Chih-Hong Cheng; Tiantian Sun; Yuhang Chen; Rongjie Yan (ICRA, 2022)

Logically Sound Arguments for the Effectiveness of ML Safety Measures. - Chih-Hong Cheng; Tobias Schuster; Simon Burton 001 (SAFECOMP Workshops, 2022)

Formally Compensating Performance Limitations for Imprecise 2D Object Detection. - Tobias Schuster; Emmanouil Seferis; Simon Burton 001; Chih-Hong Cheng (SAFECOMP, 2022)

Robustness Verification for Attention Networks using Mixed Integer Programming. - Hsuan-Cheng Liao; Chih-Hong Cheng; Maximilian Kneißl; Alois C. Knoll (CoRR, 2022)

Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection. - Tobias Schuster; Emmanouil Seferis; Simon Burton 001; Chih-Hong Cheng (CoRR, 2022)

Safety Metrics and Losses for Object Detection in Autonomous Driving. - Hsuan-Cheng Liao; Chih-Hong Cheng; Hasan Esen; Alois C. Knoll (CoRR, 2022)

Facilitating Change Implementation for Continuous ML-Safety Assurance. - Chih-Hong Cheng; Nguyen Anh Vu Doan; Balahari Balu; Franziska Schwaiger; Emmanouil Seferis; Simon Burton 001; Yassine Qamsane; Ankit Shukla 004; Yinchong Yang; Zhiliang Wu; Andreas Hapfelmeier; Ingo Thon (CoRR, 2022)

Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection. - Nguyen Anh Vu Doan; Arda Yüksel; Chih-Hong Cheng (DATE, 2023)

Statistical Property Testing for Generative Models. - Emmanouil Seferis; Simon Burton 001; Chih-Hong Cheng (Tiny Papers @ ICLR, 2023)

Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models? - Emmanouil Seferis; Simon Burton 001; Chih-Hong Cheng (Tiny Papers @ ICLR, 2023)

Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles. - Utku Ayvaz; Chih-Hong Cheng; Hao Shen 002 (IJCNN, 2023)

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 (IROS, 2023)

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 001 (PRDC, 2023)

Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). - Chih-Hong Cheng; Michael Luttenberger; Rongjie Yan (RV, 2023)

Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. - Brian Hsuan-Cheng Liao; Chih-Hong Cheng; Hasan Esen; Alois Knoll (SAFECOMP, 2023)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. - Saddek Bensalem; Chih-Hong Cheng; Wei Huang 035; Xiaowei Huang 001; Changshun Wu; Xingyu Zhao 001 (AISoLA, 2023)

Safety Performance of Neural Networks in the Presence of Covariate Shift. - Chih-Hong Cheng; Harald Ruess; Konstantinos Theodorou (VSTTE, 2023)

Towards Rigorous Design of OoD Detectors. - Chih-Hong Cheng; Changshun Wu; Harald Ruess; Saddek Bensalem (CoRR, 2023)

Runtime Monitoring DNN-Based Perception. - Chih-Hong Cheng; Michael Luttenberger; Rongjie Yan (CoRR, 2023)

Estimating the Robustness Radius for Randomized Smoothing with 100× Sample Efficiency. - Emmanouil Seferis; Stefanos Kollias; Chih-Hong Cheng (ECAI, 2024)

EC-IoU: Orienting Safety for Object Detectors via Ego-Centric Intersection-over-Union. - Brian Hsuan-Cheng Liao; Chih-Hong Cheng; Hasan Esen; Alois Knoll (IROS, 2024)

BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. - Changshun Wu; Weicheng He; Chih-Hong Cheng; Xiaowei Huang 001; Saddek Bensalem (IROS, 2024)

Instance-Level Safety-Aware Fidelity of Synthetic Data and its Calibration. - Chih-Hong Cheng; Paul Stöckel; Xingyu Zhao 001 (ITSC, 2024)

USC: Uncompromising Spatial Constraints for Safety-Oriented 3D Object Detectors in Autonomous Driving. - Brian Hsuan-Cheng Liao; Chih-Hong Cheng; Hasan Esen; Alois Knoll (ITSC, 2024)

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. - Chih-Hong Cheng; Changshun Wu; Harald Ruess; Xingyu Zhao 001; Saddek Bensalem (CoRR, 2024)

Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey. - Yi Zhang 141; Zhen Chen; Chih-Hong Cheng; Wenjie Ruan; Xiaowei Huang 001; Dezong Zhao; David Flynn; Siddartha Khastgir; Xingyu Zhao 001 (CoRR, 2024)

Online Collision Risk Estimation via Monocular Depth-Aware Object Detectors and Fuzzy Inference. - Brian Hsuan-Cheng Liao; Yingjie Xu; Chih-Hong Cheng; Hasan Esen; Alois Knoll (CoRR, 2024)

Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection. - Weicheng He; Changshun Wu; Chih-Hong Cheng; Xiaowei Huang 001; Saddek Bensalem (CoRR, 2025)

On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles. - Xingyu Zhao 001; Robab Aghazadeh Chakherlou; Chih-Hong Cheng; Peter T. Popov; Lorenzo Strigini (CoRR, 2025)

Rethinking Code Review Workflows with LLM Assistance: An Empirical Study. - Fannar Steinn Aðalsteinsson; Björn Borgar Magnússon; Mislav Milicevic; Adam Nirving Davidsson; Chih-Hong Cheng (CoRR, 2025)

LoRA-BAM: Input Filtering for Fine-tuned LLMs via Boxed Abstraction Monitors over LoRA Layers. - Changshun Wu; Tianyi Duan; Saddek Bensalem; Chih-Hong Cheng (CoRR, 2025)