iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.uni-trier.de/pid/64/3701.html

dblp: Chih-Hong Cheng

default search action

combined dblp search
author search
venue search
publication search

ask others

Chih-Hong Cheng

> Home > Persons

Person information

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/SeferisKC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/SeferisKC24
Emmanouil Seferis, Stefanos Kollias, Chih-Hong Cheng:
Estimating the Robustness Radius for Randomized Smoothing with 100× Sample Efficiency. ECAI 2024: 2613-2620
[i50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-07031
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-07031
Chih-Hong Cheng, Paul Stöckel, Xingyu Zhao:
Instance-Level Safety-Aware Fidelity of Synthetic Data and Its Calibration. CoRR abs/2402.07031 (2024)
[i49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-15474
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-15474
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll:
EC-IoU: Orienting Safety for Object Detectors via Ego-Centric Intersection-over-Union. CoRR abs/2403.15474 (2024)
[i48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-18373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-18373
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem:
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. CoRR abs/2403.18373 (2024)
[i47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-16663
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-16663
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem:
Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. CoRR abs/2404.16663 (2024)
[i46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-17371
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-17371
Emmanouil Seferis, Stefanos Kollias, Chih-Hong Cheng:
Estimating the Robustness Radius for Randomized Smoothing with 100⨉ Sample Efficiency. CoRR abs/2404.17371 (2024)
[i45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-18214
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-18214
Yi Zhang, Zhen Chen, Chih-Hong Cheng, Wenjie Ruan, Xiaowei Huang, Dezong Zhao, David Flynn, Siddartha Khastgir, Xingyu Zhao:
Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey. CoRR abs/2409.18214 (2024)
2023
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DoanYC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DoanYC23
Nguyen Anh Vu Doan, Arda Yüksel, Chih-Hong Cheng:
Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection. DATE 2023: 1-6
[c58]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclr/SeferisBC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/SeferisBC23
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng:
Statistical Property Testing for Generative Models. Tiny Papers @ ICLR 2023
[c57]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclr/SeferisBC23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/SeferisBC23a
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng:
Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models? Tiny Papers @ ICLR 2023
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcnn/AyvazCS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcnn/AyvazCS23
Utku Ayvaz, Chih-Hong Cheng, Hao Shen:
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles. IJCNN 2023: 1-8
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/NallapareddySDB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/NallapareddySDB23
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: 5699-5706
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/ChengVGHB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/ChengVGHB23
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: 239-241
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ChengLY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChengLY23
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan:
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). RV 2023: 428-446
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LiaoCEK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LiaoCEK23
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll:
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. SAFECOMP 2023: 89-103
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/BensalemCHHWZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/BensalemCHHWZ23
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: 55-76
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ChengRT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ChengRT23
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou:
Safety Performance of Neural Networks in the Presence of Covariate Shift. VSTTE 2023: 20-30
[i44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-03037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-03037
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 abs/2303.03037 (2023)
[i43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-18380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-18380
Utku Ayvaz, Chih-Hong Cheng, Hao Shen:
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles. CoRR abs/2305.18380 (2023)
[i42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-08447
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-08447
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem:
Towards Rigorous Design of OoD Detectors. CoRR abs/2306.08447 (2023)
[i41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-11784
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-11784
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 abs/2307.11784 (2023)
[i40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-12716
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-12716
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou:
Safety Performance of Neural Networks in the Presence of Covariate Shift. CoRR abs/2307.12716 (2023)
[i39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-06069
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-06069
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 abs/2308.06069 (2023)
[i38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-03999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-03999
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan:
Runtime Monitoring DNN-Based Perception. CoRR abs/2310.03999 (2023)
2022
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChengWSB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChengWSB22
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem:
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. ATVA 2022: 397-413
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BensalemCHKMNP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BensalemCHKMNP22
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: 131-143
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LiCSCY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LiCSCY22
Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan:
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. ICRA 2022: 7738-7744
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/SchusterSBC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/SchusterSBC22
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng:
Formally Compensating Performance Limitations for Imprecise 2D Object Detection. SAFECOMP 2022: 269-283
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/ChengSB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/ChengSB22
Chih-Hong Cheng, Tobias Schuster, Simon Burton:
Logically Sound Arguments for the Effectiveness of ML Safety Measures. SAFECOMP Workshops 2022: 343-350
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-03932
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-03932
Hsuan-Cheng Liao, Chih-Hong Cheng, Maximilian Kneißl, Alois C. Knoll:
Robustness Verification for Attention Networks using Mixed Integer Programming. CoRR abs/2202.03932 (2022)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-05123
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-05123
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng:
Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection. CoRR abs/2202.05123 (2022)
[i35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-07736
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-07736
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem:
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. CoRR abs/2205.07736 (2022)
[i34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10368
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10368
Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois C. Knoll:
Safety Metrics and Losses for Object Detection in Autonomous Driving. CoRR abs/2209.10368 (2022)
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-11632
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-11632
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 abs/2209.11632 (2022)
[i32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-07483
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-07483
Nguyen Anh Vu Doan, Arda Yüksel, Chih-Hong Cheng:
Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection. CoRR abs/2211.07483 (2022)
2021
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/ChengY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/ChengY21
Chih-Hong Cheng, Rongjie Yan:
Testing Autonomous Systems with Believed Equivalence Refinement. AITest 2021: 49-56
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/ChengKL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/ChengKL21
Chih-Hong Cheng, Alois C. Knoll, Hsuan-Cheng Liao:
Safety Metrics for Semantic Segmentation in Autonomous Driving. AITest 2021: 57-64
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/date/Cheng21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/Cheng21
Chih-Hong Cheng:
Provably-Robust Runtime Monitoring of Neuron Activation Patterns. DATE 2021: 1310-1313
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ChengY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ChengY21
Chih-Hong Cheng, Rongjie Yan:
Continuous Safety Verification of Neural Networks. DATE 2021: 1478-1483
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/ChenC0Y21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/ChenC0Y21
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan:
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. IROS 2021: 6688-6693
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/ZafarPC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/ZafarPC21
Atiqa Zafar, Christian Prehofer, Chih-Hong Cheng:
Federated Learning for Driver Status Monitoring. ITSC 2021: 1463-1469
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/DorffCEF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/DorffCEF21
Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle:
Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. SEFM 2021: 501-520
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-04578
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-04578
Chih-Hong Cheng, Rongjie Yan:
Testing Autonomous Systems with Believed Equivalence Refinement. CoRR abs/2103.04578 (2021)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-15456
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-15456
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan:
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. CoRR abs/2103.15456 (2021)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-10142
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-10142
Chih-Hong Cheng, Alois C. Knoll, Hsuan-Cheng Liao:
Safety Metrics for Semantic Segmentation in Autonomous Driving. CoRR abs/2105.10142 (2021)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-00761
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-00761
Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan:
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. CoRR abs/2110.00761 (2021)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-02649
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-02649
Chih-Hong Cheng, Tobias Schuster, Simon Burton:
Logically Sound Arguments for the Effectiveness of ML Safety Measures. CoRR abs/2111.02649 (2021)
2020
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ChengHBH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ChengHBH20
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi:
Towards Safety Verification of Direct Perception Neural Networks. DATE 2020: 1640-1643
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/Cheng20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/Cheng20
Chih-Hong Cheng:
Towards Robust Direct Perception Networks for Automated Driving. IV 2020: 298-304
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/Cheng20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/Cheng20
Chih-Hong Cheng:
Safety-Aware Hardening of 3D Object Detection Neural Network Systems. SAFECOMP 2020: 213-227
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2003-11242
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-11242
Chih-Hong Cheng:
Safety-Aware Hardening of 3D Object Detection Neural Network Systems. CoRR abs/2003.11242 (2020)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-05689
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-05689
Chih-Hong Cheng, Rongjie Yan:
Continuous Safety Verification of Neural Networks. CoRR abs/2010.05689 (2020)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-11959
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-11959
Chih-Hong Cheng:
Provably-Robust Runtime Monitoring of Neuron Activation Patterns. CoRR abs/2011.11959 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ChengNY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ChengNY19
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka:
Runtime Monitoring Neuron Activation Patterns. DATE 2019: 300-303
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ChengHN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ChengHN19
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg:
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. ICCAD 2019: 1-6
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2019
Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza:
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Lecture Notes in Computer Science 11781, Springer 2019, ISBN 978-3-030-31783-6 [contents]
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1902-10590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-10590
Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan:
Architecting Dependable Learning-enabled Autonomous Systems: A Survey. CoRR abs/1902.10590 (2019)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1904-04706
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-04706
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi:
Towards Safety Verification of Direct Perception Neural Networks. CoRR abs/1904.04706 (2019)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1909-13600
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-13600
Chih-Hong Cheng:
Towards Robust Direct Perception Networks for Automated Driving. CoRR abs/1909.13600 (2019)
2018
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChengHY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChengHY18
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka:
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. ATVA 2018: 126-142
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ChengDHHN0RT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ChengDHHN0RT18
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: 1005-1006
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ChengNHRY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ChengNHRY18
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka:
Towards Dependability Metrics for Neural Networks. MEMOCODE 2018: 43-46
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ChengNHR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ChengNHR18
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess:
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). VSTTE 2018: 279-290
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-04333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-04333
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka:
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. CoRR abs/1805.04333 (2018)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-02338
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-02338
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka:
Towards Dependability Metrics for Neural Networks. CoRR abs/1806.02338 (2018)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-06573
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-06573
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka:
Runtime Monitoring Neuron Activation Patterns. CoRR abs/1809.06573 (2018)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-06746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06746
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg:
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems. CoRR abs/1811.06746 (2018)
2017
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ChengHR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ChengHR17
Chih-Hong Cheng, Yassine Hamza, Harald Ruess:
Automated Analysis of Multi-View Software Architectures. APSEC 2017: 725-730
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChengNR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChengNR17
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess:
Maximum Resilience of Artificial Neural Networks. ATVA 2017: 251-268
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DorofeevCGFPZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DorofeevCGFPZ17
Kirill Dorofeev, Chih-Hong Cheng, Magno Guedes, Pedro Ferreira, Stefan Profanter, Alois Zoitl:
Device adapter concept towards enabling plug&produce production environments. ETFA 2017: 1-8
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/LucioRCM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/LucioRCM17
Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin:
Just Formal Enough? Automated Analysis of EARS Requirements. NFM 2017: 427-434
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChengLR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChengLR17
Chih-Hong Cheng, Edward A. Lee, Harald Ruess:
autoCode4: Structural Controller Synthesis. TACAS (1) 2017: 398-404
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChengHR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChengHR17
Chih-Hong Cheng, Yassine Hamza, Harald Ruess:
Automated Analysis of Multi-View Software Architectures. CoRR abs/1704.07097 (2017)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChengNR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChengNR17
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess:
Maximum Resilience of Artificial Neural Networks. CoRR abs/1705.01040 (2017)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1709-00911
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-00911
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 abs/1709.00911 (2017)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-03107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03107
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess:
Verification of Binarized Neural Networks. CoRR abs/1710.03107 (2017)
2016
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChengHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChengHR16
Chih-Hong Cheng, Yassine Hamza, Harald Ruess:
Structural Synthesis for GXW Specifications. CAV (1) 2016: 95-117
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AstefanoaeiBBCR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AstefanoaeiBBCR16
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess:
Compositional Parameter Synthesis. FM 2016: 60-68
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChengHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChengHR16
Chih-Hong Cheng, Yassine Hamza, Harald Ruess:
Structural Synthesis for GXW Specifications. CoRR abs/1605.01153 (2016)
2015
[c21]
- view
- export record
  dblp key:
  - conf/date/YanCC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/YanCC15
Rongjie Yan, Chih-Hong Cheng, Yesheng Chai:
Formal consistency checking over specifications in natural languages. DATE 2015: 1677-1682
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ChengGMSSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ChengGMSSW15
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: 1010-1013
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChengARB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChengARB15
Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem:
Timed Orchestration for Component-based Systems. CoRR abs/1504.05513 (2015)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChengGMSSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChengGMSSW15
Chih-Hong Cheng, Tuncay Guelfirat, Christian Messinger, Johannes O. Schmitt, Matthias Schnelte, Peter Weber:
Semantic Degrees for Industrie 4.0. CoRR abs/1505.05625 (2015)
2014
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChengHRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChengHRS14
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann:
G4LTL-ST: Automatic Generation of PLC Programs. CAV 2014: 541-549
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/SehestedtCB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/SehestedtCB14
Stephan Sehestedt, Chih-Hong Cheng, Eric Bouwers:
Towards quantitative metrics for architecture models. WICSA Companion 2014: 5:1-5:4
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChengHRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChengHRS14
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann:
G4LTL-ST: Automatic Generation of PLC Programs. CoRR abs/1405.2409 (2014)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/YanCZC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/YanCZC14
Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai:
Formal Consistency Checking over Specifications in Natural Languages. CoRR abs/1405.5003 (2014)
2013
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChengRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChengRS13
Chih-Hong Cheng, Harald Ruess, Natarajan Shankar:
JBernstein: A Validity Checker for Generalized Polynomial Constraints. CAV 2013: 656-661
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ChengGB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ChengGB13
Chih-Hong Cheng, Michael Geisinger, Christian Buckl:
Synthesizing Controllers for Automation Tasks with Performance Guarantees. SPIN 2013: 154-159
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChengSRB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChengSRB13
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem:
EFSMT: A Logical Framework for Cyber-Physical Systems. CoRR abs/1306.3456 (2013)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChengL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChengL13
Chih-Hong Cheng, Edward A. Lee:
Numerical LTL Synthesis for Cyber-Physical Systems. CoRR abs/1307.3722 (2013)
2012
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/dnb/Cheng12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Cheng12
Chih-Hong Cheng:
An implementation for algorithmic game solving and its applications in system synthesis. Technical University Munich, 2012, pp. 1-194
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/agere/ChengYRB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agere/ChengYRB12
Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem:
Distributed priority synthesis using knowledge. AGERE!@SPLASH 2012: 129-132
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChengGRBK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChengGRBK12
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll:
MGSyn: Automatic Synthesis for Industrial Automation. CAV 2012: 658-664
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/ChengGRBK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/ChengGRBK12
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll:
Game solving for industrial automation and control. ICRA 2012: 4367-4372
[c12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6189
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6189
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess:
Distributed Priority Synthesis. SSV 2012: 57-72
2011
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChengBCYJRBK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChengBCYJRBK11
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: 150-167
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ChengBJYKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ChengBJYKR11
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: 466-471
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChengKLB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChengKLB11
Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl:
GAVS+: An Open Platform for the Research of Algorithmic Game Solving. TACAS 2011: 258-261
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ChengRKB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ChengRKB11
Chih-Hong Cheng, Harald Rueß, Alois C. Knoll, Christian Buckl:
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. VMCAI 2011: 118-133
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/ChengJBK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/ChengJBK11
Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois C. Knoll:
On the Hardness of Priority Synthesis. CIAA 2011: 110-117
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1107-1383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1383
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 abs/1107.1383 (2011)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1112-1783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1112-1783
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess:
Distributed Priority Synthesis and its Applications. CoRR abs/1112.1783 (2011)
2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChengBLK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChengBLK10
Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll:
GAVS: Game Arena Visualization and Synthesis. ATVA 2010: 347-352
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/Cheng10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Cheng10
Chih-Hong Cheng:
GAVS: Game Arena Visualization and Synthesis. AlgoSyn 2010: 147
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1011-0268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-0268
Chih-Hong Cheng, Harald Ruess, Alois C. Knoll, Christian Buckl:
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems. CoRR abs/1011.0268 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cira/ChengKBEC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cira/ChengKBEC09
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: 72-77
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ChengRBLK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ChengRBLK09
Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois C. Knoll:
Toward the Design of Robotic Software with Verifiable Safety. COMPSAC (1) 2009: 622-623
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/dsrt/ChengBEK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsrt/ChengBEK09
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll:
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. DS-RT 2009: 208-215
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0905-3946
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0905-3946
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll:
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems. CoRR abs/0905.3946 (2009)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0905-3951
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0905-3951
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois C. Knoll:
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. CoRR abs/0905.3951 (2009)
2008
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/WangC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/WangC08
Farn Wang, Chih-Hong Cheng:
Program Repair Suggestions from Graphical State-Transition Specifications. FORTE 2008: 185-200

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.