Chih-Hong Cheng

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 75

Top Venues

CoRR

DATE

ATVA

SAFECOMP

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Chih-Hong Cheng, Paul Stöckel, Xingyu Zhao
Instance-Level Safety-Aware Fidelity of Synthetic Data and Its Calibration. CoRR (2024)
Utku Ayvaz, Chih-Hong Cheng, Hao Shen
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles. CoRR (2023)
Nguyen Anh Vu Doan, Arda Yüksel, Chih-Hong Cheng
Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection. DATE (2023)
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Statistical Property Testing for Generative Models. Tiny Papers @ ICLR (2023)
Monish R. Nallapareddy, Kshitij Sirohi, Paulo Lilles Jorge Drews, Wolfram Burgard, Chih-Hong Cheng, Abhinav Valada
EvCenterNet: Uncertainty Estimation for Object Detection Using Evidential Learning. IROS (2023)
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou
Safety Performance of Neural Networks in the Presence of Covariate Shift. CoRR (2023)
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. SAFECOMP (2023)
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems. CoRR (2023)
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. AISoLA (2023)
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). RV (2023)
Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications. CoRR (2023)
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models? Tiny Papers @ ICLR (2023)
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
Runtime Monitoring DNN-Based Perception. CoRR (2023)
Monish R. Nallapareddy, Kshitij Sirohi, Paulo L. J. Drews-Jr, Wolfram Burgard, Chih-Hong Cheng, Abhinav Valada
EvCenterNet: Uncertainty Estimation for Object Detection using Evidential Learning. CoRR (2023)
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem
Towards Rigorous Design of OoD Detectors. CoRR (2023)
Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications. PRDC (2023)
Utku Ayvaz, Chih-Hong Cheng, Hao Shen
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles. IJCNN (2023)
Chih-Hong Cheng, Tobias Schuster, Simon Burton
Logically Sound Arguments for the Effectiveness of ML Safety Measures. SAFECOMP Workshops (2022)
Nguyen Anh Vu Doan, Arda Yüksel, Chih-Hong Cheng
Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection. CoRR (2022)
Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. ICRA (2022)
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV (2022)
Hsuan-Cheng Liao, Chih-Hong Cheng, Maximilian Kneißl, Alois C. Knoll
Robustness Verification for Attention Networks using Mixed Integer Programming. CoRR (2022)
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. ATVA (2022)
Chih-Hong Cheng, Nguyen Anh Vu Doan, Balahari Balu, Franziska Schwaiger, Emmanouil Seferis, Simon Burton, Yassine Qamsane, Ankit Shukla, Yinchong Yang, Zhiliang Wu, Andreas Hapfelmeier, Ingo Thon
Facilitating Change Implementation for Continuous ML-Safety Assurance. CoRR (2022)
Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois C. Knoll
Safety Metrics and Losses for Object Detection in Autonomous Driving. CoRR (2022)
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection. CoRR (2022)
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. CoRR (2022)
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Formally Compensating Performance Limitations for Imprecise 2D Object Detection. SAFECOMP (2022)
Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle
Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. SEFM (2021)
Chih-Hong Cheng, Rongjie Yan
Testing Autonomous Systems with Believed Equivalence Refinement. CoRR (2021)
Chih-Hong Cheng
Provably-Robust Runtime Monitoring of Neuron Activation Patterns. DATE (2021)
Atiqa Zafar, Christian Prehofer, Chih-Hong Cheng
Federated Learning for Driver Status Monitoring. ITSC (2021)
Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. CoRR (2021)
Chih-Hong Cheng, Rongjie Yan
Continuous Safety Verification of Neural Networks. DATE (2021)
Chih-Hong Cheng, Tobias Schuster, Simon Burton
Logically Sound Arguments for the Effectiveness of ML Safety Measures. CoRR (2021)
Chih-Hong Cheng, Rongjie Yan
Testing Autonomous Systems with Believed Equivalence Refinement. AITest (2021)
Chih-Hong Cheng, Alois C. Knoll, Hsuan-Cheng Liao
Safety Metrics for Semantic Segmentation in Autonomous Driving. CoRR (2021)
Chih-Hong Cheng, Alois C. Knoll, Hsuan-Cheng Liao
Safety Metrics for Semantic Segmentation in Autonomous Driving. AITest (2021)
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. IROS (2021)
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. CoRR (2021)
Chih-Hong Cheng
Safety-Aware Hardening of 3D Object Detection Neural Network Systems. CoRR (2020)
Chih-Hong Cheng
Safety-Aware Hardening of 3D Object Detection Neural Network Systems. SAFECOMP (2020)
Chih-Hong Cheng
Towards Robust Direct Perception Networks for Automated Driving. IV (2020)
Chih-Hong Cheng, Rongjie Yan
Continuous Safety Verification of Neural Networks. CoRR (2020)
Chih-Hong Cheng
Provably-Robust Runtime Monitoring of Neuron Activation Patterns. CoRR (2020)
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
Towards Safety Verification of Direct Perception Neural Networks. DATE (2020)
Chih-Hong Cheng
Towards Robust Direct Perception Networks for Automated Driving. CoRR (2019)
Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan
Architecting Dependable Learning-enabled Autonomous Systems: A Survey. CoRR (2019)
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. ICCAD (2019)
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
Towards Safety Verification of Direct Perception Neural Networks. CoRR (2019)
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka
Runtime Monitoring Neuron Activation Patterns. DATE (2019)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
Towards Dependability Metrics for Neural Networks. CoRR (2018)
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. ATVA (2018)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). VSTTE (2018)
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka
Runtime Monitoring Neuron Activation Patterns. CoRR (2018)
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. CoRR (2018)
Chih-Hong Cheng, Frederik Diehl, Gereon Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le
Neural networks for safety-critical applications - Challenges, experiments and perspectives. DATE (2018)
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems. CoRR (2018)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
Towards Dependability Metrics for Neural Networks. MEMOCODE (2018)
Chih-Hong Cheng, Edward A. Lee, Harald Ruess
autoCode4: Structural Controller Synthesis. TACAS (1) (2017)
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Automated Analysis of Multi-View Software Architectures. APSEC (2017)
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
Verification of Binarized Neural Networks. CoRR (2017)
Chih-Hong Cheng, Frederik Diehl, Yassine Hamza, Gereon Hinz, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives. CoRR (2017)
Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin
Just Formal Enough? Automated Analysis of EARS Requirements. NFM (2017)
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Automated Analysis of Multi-View Software Architectures. CoRR (2017)
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
Maximum Resilience of Artificial Neural Networks. ATVA (2017)
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
Maximum Resilience of Artificial Neural Networks. CoRR (2017)
Kirill Dorofeev, Chih-Hong Cheng, Magno Guedes, Pedro Ferreira, Stefan Profanter, Alois Zoitl
Device adapter concept towards enabling plug&produce production environments. ETFA (2017)
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
Compositional Parameter Synthesis. FM (2016)
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Structural Synthesis for GXW Specifications. CoRR (2016)
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Structural Synthesis for GXW Specifications. CAV (1) (2016)
Chih-Hong Cheng, Tuncay Guelfirat, Christian Messinger, Johannes O. Schmitt, Matthias Schnelte, Peter Weber
Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies. ESEC/SIGSOFT FSE (2015)
Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem
Timed Orchestration for Component-based Systems. CoRR (2015)
Rongjie Yan, Chih-Hong Cheng, Yesheng Chai
Formal consistency checking over specifications in natural languages. DATE (2015)
Chih-Hong Cheng, Tuncay Guelfirat, Christian Messinger, Johannes O. Schmitt, Matthias Schnelte, Peter Weber
Semantic Degrees for Industrie 4.0. CoRR (2015)
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
G4LTL-ST: Automatic Generation of PLC Programs. CAV (2014)
Stephan Sehestedt, Chih-Hong Cheng, Eric Bouwers
Towards quantitative metrics for architecture models. WICSA Companion (2014)
Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai
Formal Consistency Checking over Specifications in Natural Languages. CoRR (2014)
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
G4LTL-ST: Automatic Generation of PLC Programs. CoRR (2014)
Chih-Hong Cheng, Harald Ruess, Natarajan Shankar
JBernstein: A Validity Checker for Generalized Polynomial Constraints. CAV (2013)
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem
EFSMT: A Logical Framework for Cyber-Physical Systems. CoRR (2013)
Chih-Hong Cheng, Edward A. Lee
Numerical LTL Synthesis for Cyber-Physical Systems. CoRR (2013)
Chih-Hong Cheng, Michael Geisinger, Christian Buckl
Synthesizing Controllers for Automation Tasks with Performance Guarantees. SPIN (2013)
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll
MGSyn: Automatic Synthesis for Industrial Automation. CAV (2012)
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll
Game solving for industrial automation and control. ICRA (2012)
Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem
Distributed priority synthesis using knowledge. AGERE!@SPLASH (2012)
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess
Distributed Priority Synthesis SSV (2012)
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA (2011)
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess
Distributed Priority Synthesis and its Applications CoRR (2011)
Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl
GAVS+: An Open Platform for the Research of Algorithmic Game Solving. TACAS (2011)
Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess
Model Construction and Priority Synthesis for Simple Interaction Systems. NASA Formal Methods (2011)
Chih-Hong Cheng, Harald Rueß, Alois C. Knoll, Christian Buckl
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. VMCAI (2011)
Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois C. Knoll
On the Hardness of Priority Synthesis. CIAA (2011)
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
Algorithms for Synthesizing Priorities in Component-based Systems CoRR (2011)
Chih-Hong Cheng
GAVS: Game Arena Visualization and Synthesis. AlgoSyn (2010)
Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll
GAVS: Game Arena Visualization and Synthesis. ATVA (2010)
Chih-Hong Cheng, Harald Ruess, Alois C. Knoll, Christian Buckl
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems CoRR (2010)
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems CoRR (2009)
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness CoRR (2009)
Chih-Hong Cheng, Alois C. Knoll, Christian Buckl, Javier Esparza, Yang Chen
Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. CIRA (2009)

Chih-Hong Cheng.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chih-Hong Cheng