Chih-Hong Cheng

135 papers A* 7A 16B 15C 8Journal 63Unranked 25
YearRankTypeTitle / Venue / Authors
2026 J jnl
ProGRank: Probe-Gradient Reranking to Defend Dense-Retriever RAG from Corpus Poisoning.
CoRR
Xiangyu Yin, Yi Qi, Chih-Hong Cheng
2026 J jnl
Revisiting Out-of-Distribution Detection in Real-Time Object Detection: From Benchmark Pitfalls to a New Mitigation Paradigm.
IEEE Trans. Pattern Anal. Mach. Intell.
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2026 J jnl
Runtime Monitoring Abnormalities in Object Detection With Spatial and Temporal Abstractions.
Softw. Pract. Exp.
Rongjie Yan, Chengye Li, Rui Zheng, Chih-Hong Cheng
2026 J jnl
Trustworthy text-to-image diffusion models: A timely and focused survey.
Inf. Fusion
Yi Zhang, Zhen Chen, Chih-Hong Cheng, Wenjie Ruan, Xiaowei Huang, Dezong Zhao, David Flynn, Siddartha Khastgir, Xingyu Zhao
2026 J jnl
Validating Generalist Robots with Situation Calculus and STL Falsification.
CoRR
Changwen Li, Rongjie Yan, Chih-Hong Cheng, Jian Zhang
2026 J jnl
Workflow-Level Design Principles for Trustworthy GenAI in Automotive System Engineering.
CoRR
Chih-Hong Cheng, Brian Hsuan-Cheng Liao, Adam Molin, Hasan Esen
2025 J jnl
Cumulative Consensus Score: Label-Free and Model-Agnostic Evaluation of Object Detectors in Deployment.
CoRR
Avinaash Manoharan, Xiangyu Yin, Domenik Helm, Chih-Hong Cheng
2025 A* conf
FuzzRisk: Online Collision Risk Estimation for Autonomous Vehicles Based on Depth-Aware Object Detection via Fuzzy Inference.
ICRA
Brian Hsuan-Cheng Liao, Yingjie Xu, Chih-Hong Cheng, Hasan Esen, Alois Knoll
2025 J jnl
LoRA-BAM: Input Filtering for Fine-tuned LLMs via Boxed Abstraction Monitors over LoRA Layers.
CoRR
Changshun Wu, Tianyi Duan, Saddek Bensalem, Chih-Hong Cheng
2025 A conf
Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection.
IROS
Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2025 J jnl
Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection.
CoRR
Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2025 — conf
On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles.
ITSC
Xingyu Zhao, Robab Aghazadeh Chakherlou, Chih-Hong Cheng, Peter T. Popov, Lorenzo Strigini
2025 J jnl
On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles.
CoRR
Xingyu Zhao, Robab Aghazadeh Chakherlou, Chih-Hong Cheng, Peter T. Popov, Lorenzo Strigini
2025 A* conf
Randomized Smoothing Meets Vision-Language Models.
EMNLP
Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng
2025 J jnl
Randomized Smoothing Meets Vision-Language Models.
CoRR
Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng
2025 A conf
Rethinking Code Review Workflows with LLM Assistance: An Empirical Study.
ESEM
Fannar Steinn Aðalsteinsson, Björn Borgar Magnússon, Mislav Milicevic, Adam Nirving Davidsson, Chih-Hong Cheng
2025 J jnl
Rethinking Code Review Workflows with LLM Assistance: An Empirical Study.
CoRR
Fannar Steinn Aðalsteinsson, Björn Borgar Magnússon, Mislav Milicevic, Adam Nirving Davidsson, Chih-Hong Cheng
2025 B conf
Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs.
RV
Chih-Hong Cheng, Changshun Wu, Xingyu Zhao, Saddek Bensalem, Harald Ruess
2024 A conf
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection.
IROS
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2024 J jnl
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection.
CoRR
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2024 A conf
EC-IoU: Orienting Safety for Object Detectors via Ego-Centric Intersection-over-Union.
IROS
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
2024 J jnl
EC-IoU: Orienting Safety for Object Detectors via Ego-Centric Intersection-over-Union.
CoRR
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
2024 A conf
Estimating the Robustness Radius for Randomized Smoothing with 100× Sample Efficiency.
ECAI
Emmanouil Seferis, Stefanos Kollias, Chih-Hong Cheng
2024 J jnl
Estimating the Robustness Radius for Randomized Smoothing with 100⨉ Sample Efficiency.
CoRR
Emmanouil Seferis, Stefanos Kollias, Chih-Hong Cheng
2024 J jnl
Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs.
CoRR
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem
2024 J jnl
Instance-Level Safety-Aware Fidelity of Synthetic Data and Its Calibration.
CoRR
Chih-Hong Cheng, Paul Stöckel, Xingyu Zhao
2024 — conf
Instance-Level Safety-Aware Fidelity of Synthetic Data and its Calibration.
ITSC
Chih-Hong Cheng, Paul Stöckel, Xingyu Zhao
2024 J jnl
Online Collision Risk Estimation via Monocular Depth-Aware Object Detectors and Fuzzy Inference.
CoRR
Brian Hsuan-Cheng Liao, Yingjie Xu, Chih-Hong Cheng, Hasan Esen, Alois Knoll
2024 J jnl
Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey.
CoRR
Yi Zhang, Zhen Chen, Chih-Hong Cheng, Wenjie Ruan, Xiaowei Huang, Dezong Zhao, David Flynn, Siddartha Khastgir, Xingyu Zhao
2024 — conf
USC: Uncompromising Spatial Constraints for Safety-Oriented 3D Object Detectors in Autonomous Driving.
ITSC
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
2023 B conf
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers.
SAFECOMP
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
2023 A conf
Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection.
DATE
Nguyen Anh Vu Doan, Arda Yüksel, Chih-Hong Cheng
2023 — conf
Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models?
Tiny Papers @ ICLR
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2023 A conf
EvCenterNet: Uncertainty Estimation for Object Detection Using Evidential Learning.
IROS
Monish R. Nallapareddy, Kshitij Sirohi, Paulo Lilles Jorge Drews, Wolfram Burgard, Chih-Hong Cheng, Abhinav Valada
2023 J jnl
EvCenterNet: Uncertainty Estimation for Object Detection using Evidential Learning.
CoRR
Monish R. Nallapareddy, Kshitij Sirohi, Paulo L. J. Drews-Jr, Wolfram Burgard, Chih-Hong Cheng, Abhinav Valada
2023 B conf
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles.
IJCNN
Utku Ayvaz, Chih-Hong Cheng, Hao Shen
2023 J jnl
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles.
CoRR
Utku Ayvaz, Chih-Hong Cheng, Hao Shen
2023 B conf
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods).
RV
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
2023 J jnl
Runtime Monitoring DNN-Based Perception.
CoRR
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
2023 C conf
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications.
PRDC
Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton
2023 J jnl
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications.
CoRR
Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton
2023 — conf
Safety Performance of Neural Networks in the Presence of Covariate Shift.
VSTTE
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou
2023 J jnl
Safety Performance of Neural Networks in the Presence of Covariate Shift.
CoRR
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou
2023 — conf
Statistical Property Testing for Generative Models.
Tiny Papers @ ICLR
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2023 J jnl
Towards Rigorous Design of OoD Detectors.
CoRR
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem
2023 J jnl
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems.
CoRR
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2023 — conf
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.
AISoLA
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2022 J jnl
Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection.
CoRR
Nguyen Anh Vu Doan, Arda Yüksel, Chih-Hong Cheng
2022 A* conf
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems.
ICRA
Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan
2022 J jnl
Facilitating Change Implementation for Continuous ML-Safety Assurance.
CoRR
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
2022 — conf
Formal Specification for Learning-Enabled Autonomous Systems.
NSV/FoMLAS@CAV
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
2022 B conf
Formally Compensating Performance Limitations for Imprecise 2D Object Detection.
SAFECOMP
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2022 — conf
Logically Sound Arguments for the Effectiveness of ML Safety Measures.
SAFECOMP Workshops
Chih-Hong Cheng, Tobias Schuster, Simon Burton
2022 B conf
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.
ATVA
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
2022 J jnl
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.
CoRR
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
2022 J jnl
Robustness Verification for Attention Networks using Mixed Integer Programming.
CoRR
Hsuan-Cheng Liao, Chih-Hong Cheng, Maximilian Kneißl, Alois C. Knoll
2022 J jnl
Safety Metrics and Losses for Object Detection in Autonomous Driving.
CoRR
Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois C. Knoll
2022 J jnl
Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection.
CoRR
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2021 J jnl
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems.
CoRR
Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan
2021 A conf
Continuous Safety Verification of Neural Networks.
DATE
Chih-Hong Cheng, Rongjie Yan
2021 — conf
Federated Learning for Driver Status Monitoring.
ITSC
Atiqa Zafar, Christian Prehofer, Chih-Hong Cheng
2021 J jnl
Logically Sound Arguments for the Effectiveness of ML Safety Measures.
CoRR
Chih-Hong Cheng, Tobias Schuster, Simon Burton
2021 B conf
Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction.
SEFM
Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle
2021 A conf
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions.
IROS
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan
2021 J jnl
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions.
CoRR
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan
2021 A conf
Provably-Robust Runtime Monitoring of Neuron Activation Patterns.
DATE
Chih-Hong Cheng
2021 — conf
Safety Metrics for Semantic Segmentation in Autonomous Driving.
AITest
Chih-Hong Cheng, Alois C. Knoll, Hsuan-Cheng Liao
2021 J jnl
Safety Metrics for Semantic Segmentation in Autonomous Driving.
CoRR
Chih-Hong Cheng, Alois C. Knoll, Hsuan-Cheng Liao
2021 — conf
Testing Autonomous Systems with Believed Equivalence Refinement.
AITest
Chih-Hong Cheng, Rongjie Yan
2021 J jnl
Testing Autonomous Systems with Believed Equivalence Refinement.
CoRR
Chih-Hong Cheng, Rongjie Yan
2020 J jnl
Continuous Safety Verification of Neural Networks.
CoRR
Chih-Hong Cheng, Rongjie Yan
2020 J jnl
Provably-Robust Runtime Monitoring of Neuron Activation Patterns.
CoRR
Chih-Hong Cheng
2020 B conf
Safety-Aware Hardening of 3D Object Detection Neural Network Systems.
SAFECOMP
Chih-Hong Cheng
2020 J jnl
Safety-Aware Hardening of 3D Object Detection Neural Network Systems.
CoRR
Chih-Hong Cheng
2020 C conf
Towards Robust Direct Perception Networks for Automated Driving.
IV
Chih-Hong Cheng
2020 A conf
Towards Safety Verification of Direct Perception Neural Networks.
DATE
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
2019 J jnl
Architecting Dependable Learning-enabled Autonomous Systems: A Survey.
CoRR
Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan
2019 B ed.
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
ATVA
Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
2019 A conf
Runtime Monitoring Neuron Activation Patterns.
DATE
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka
2019 J jnl
Towards Robust Direct Perception Networks for Automated Driving.
CoRR
Chih-Hong Cheng
2019 J jnl
Towards Safety Verification of Direct Perception Neural Networks.
CoRR
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
2019 A conf
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems.
ICCAD
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg
2018 A conf
Neural networks for safety-critical applications - Challenges, experiments and perspectives.
DATE
Chih-Hong Cheng, Frederik Diehl, Gereon Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le
2018 B conf
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems.
ATVA
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
2018 J jnl
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems.
CoRR
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
2018 J jnl
Runtime Monitoring Neuron Activation Patterns.
CoRR
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka
2018 C conf
Towards Dependability Metrics for Neural Networks.
MEMOCODE
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
2018 J jnl
Towards Dependability Metrics for Neural Networks.
CoRR
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
2018 — conf
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper).
VSTTE
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess
2018 J jnl
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems.
CoRR
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg
2017 C conf
Automated Analysis of Multi-View Software Architectures.
APSEC
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
2017 J jnl
Automated Analysis of Multi-View Software Architectures.
CoRR
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
2017 C conf
Device adapter concept towards enabling plug&produce production environments.
ETFA
Kirill Dorofeev, Chih-Hong Cheng, Magno Guedes, Pedro Ferreira, Stefan Profanter, Alois Zoitl
2017 — conf
Just Formal Enough? Automated Analysis of EARS Requirements.
NFM
Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin
2017 B conf
Maximum Resilience of Artificial Neural Networks.
ATVA
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
2017 J jnl
Maximum Resilience of Artificial Neural Networks.
CoRR
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
2017 J jnl
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives.
CoRR
Chih-Hong Cheng, Frederik Diehl, Yassine Hamza, Gereon Hinz, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le
2017 J jnl
Verification of Binarized Neural Networks.
CoRR
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
2017 — conf
autoCode4: Structural Controller Synthesis.
TACAS (1)
Chih-Hong Cheng, Edward A. Lee, Harald Ruess
2016 B conf
Compositional Parameter Synthesis.
FM
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
2016 — conf
Structural Synthesis for GXW Specifications.
CAV (1)
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
2016 J jnl
Structural Synthesis for GXW Specifications.
CoRR
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
2015 A conf
Formal consistency checking over specifications in natural languages.
DATE
Rongjie Yan, Chih-Hong Cheng, Yesheng Chai
2015 J jnl
Semantic Degrees for Industrie 4.0.
CoRR
Chih-Hong Cheng, Tuncay Guelfirat, Christian Messinger, Johannes O. Schmitt, Matthias Schnelte, Peter Weber
2015 — conf
Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies.
ESEC/SIGSOFT FSE
Chih-Hong Cheng, Tuncay Guelfirat, Christian Messinger, Johannes O. Schmitt, Matthias Schnelte, Peter Weber
2015 J jnl
Timed Orchestration for Component-based Systems.
CoRR
Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem
2014 J jnl
Formal Consistency Checking over Specifications in Natural Languages.
CoRR
Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai
2014 A* conf
G4LTL-ST: Automatic Generation of PLC Programs.
CAV
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
2014 J jnl
G4LTL-ST: Automatic Generation of PLC Programs.
CoRR
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
2014 — conf
Towards quantitative metrics for architecture models.
WICSA Companion
Stephan Sehestedt, Chih-Hong Cheng, Eric Bouwers
2013 J jnl
EFSMT: A Logical Framework for Cyber-Physical Systems.
CoRR
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem
2013 A* conf
JBernstein: A Validity Checker for Generalized Polynomial Constraints.
CAV
Chih-Hong Cheng, Harald Ruess, Natarajan Shankar
2013 J jnl
Numerical LTL Synthesis for Cyber-Physical Systems.
CoRR
Chih-Hong Cheng, Edward A. Lee
2013 — conf
Synthesizing Controllers for Automation Tasks with Performance Guarantees.
SPIN
Chih-Hong Cheng, Michael Geisinger, Christian Buckl
2012 — —
An implementation for algorithmic game solving and its applications in system synthesis.
Chih-Hong Cheng
2012 — conf
Distributed Priority Synthesis
SSV
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess
2012 — conf
Distributed priority synthesis using knowledge.
AGERE!@SPLASH
Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem
2012 A* conf
Game solving for industrial automation and control.
ICRA
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll
2012 A* conf
MGSyn: Automatic Synthesis for Industrial Automation.
CAV
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll
2011 B conf
Algorithms for Synthesizing Priorities in Component-Based Systems.
ATVA
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
2011 J jnl
Algorithms for Synthesizing Priorities in Component-based Systems
CoRR
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
2011 J jnl
Distributed Priority Synthesis and its Applications
CoRR
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess
2011 A conf
GAVS+: An Open Platform for the Research of Algorithmic Game Solving.
TACAS
Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl
2011 — conf
Model Construction and Priority Synthesis for Simple Interaction Systems.
NASA Formal Methods
Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess
2011 C conf
On the Hardness of Priority Synthesis.
CIAA
Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois C. Knoll
2011 B conf
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice.
VMCAI
Chih-Hong Cheng, Harald Rueß, Alois C. Knoll, Christian Buckl
2010 J jnl
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
CoRR
Chih-Hong Cheng, Harald Ruess, Alois C. Knoll, Christian Buckl
2010 B conf
GAVS: Game Arena Visualization and Synthesis.
ATVA
Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll
2010 — conf
GAVS: Game Arena Visualization and Synthesis.
AlgoSyn
Chih-Hong Cheng
2009 — conf
Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification.
CIRA
Chih-Hong Cheng, Alois C. Knoll, Christian Buckl, Javier Esparza, Yang Chen
2009 J jnl
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
CoRR
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll
2009 J jnl
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
CoRR
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll
2009 C conf
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness.
DS-RT
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll
2009 — conf
Toward the Design of Robotic Software with Verifiable Safety.
COMPSAC (1)
Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois C. Knoll
2008 C conf
Program Repair Suggestions from Graphical State-Transition Specifications.
FORTE
Farn Wang, Chih-Hong Cheng