Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chih-Hong Cheng
@article{DBLP:journals/corr/abs-2402-07031,
author = {Chih{-}Hong Cheng and
Paul St{\"{o}}ckel and
Xingyu Zhao},
title = {Instance-Level Safety-Aware Fidelity of Synthetic Data and Its Calibration},
journal = {CoRR},
volume = {abs/2402.07031},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.07031},
doi = {10.48550/ARXIV.2402.07031},
eprinttype = {arXiv},
eprint = {2402.07031},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-07031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-15474,
author = {Brian Hsuan{-}Cheng Liao and
Chih{-}Hong Cheng and
Hasan Esen and
Alois Knoll},
title = {EC-IoU: Orienting Safety for Object Detectors via Ego-Centric Intersection-over-Union},
journal = {CoRR},
volume = {abs/2403.15474},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.15474},
doi = {10.48550/ARXIV.2403.15474},
eprinttype = {arXiv},
eprint = {2403.15474},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-15474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18373,
author = {Changshun Wu and
Weicheng He and
Chih{-}Hong Cheng and
Xiaowei Huang and
Saddek Bensalem},
title = {{BAM:} Box Abstraction Monitors for Real-time OoD Detection in Object
Detection},
journal = {CoRR},
volume = {abs/2403.18373},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18373},
doi = {10.48550/ARXIV.2403.18373},
eprinttype = {arXiv},
eprint = {2403.18373},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18373.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DoanYC23,
author = {Nguyen Anh Vu Doan and
Arda Y{\"{u}}ksel and
Chih{-}Hong Cheng},
title = {Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations
for Object Detection},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2023, Antwerp, Belgium, April 17-19, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/DATE56975.2023.10137164},
doi = {10.23919/DATE56975.2023.10137164},
timestamp = {Wed, 07 Jun 2023 22:08:03 +0200},
biburl = {https://dblp.org/rec/conf/date/DoanYC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/SeferisBC23,
author = {Emmanouil Seferis and
Simon Burton and
Chih{-}Hong Cheng},
editor = {Krystal Maughan and
Rosanne Liu and
Thomas F. Burns},
title = {Statistical Property Testing for Generative Models},
booktitle = {The First Tiny Papers Track at {ICLR} 2023, Tiny Papers @ {ICLR} 2023,
Kigali, Rwanda, May 5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/pdf?id=xmY\_plRB15j},
timestamp = {Wed, 19 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/SeferisBC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/SeferisBC23a,
author = {Emmanouil Seferis and
Simon Burton and
Chih{-}Hong Cheng},
editor = {Krystal Maughan and
Rosanne Liu and
Thomas F. Burns},
title = {Can Conformal Prediction Obtain Meaningful Safety Guarantees for {ML}
Models?},
booktitle = {The First Tiny Papers Track at {ICLR} 2023, Tiny Papers @ {ICLR} 2023,
Kigali, Rwanda, May 5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/pdf?id=5aO1lsEJGu},
timestamp = {Wed, 19 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/SeferisBC23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/AyvazCS23,
author = {Utku Ayvaz and
Chih{-}Hong Cheng and
Hao Shen},
title = {Potential-based Credit Assignment for Cooperative RL-based Testing
of Autonomous Vehicles},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2023, Gold
Coast, Australia, June 18-23, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IJCNN54540.2023.10191730},
doi = {10.1109/IJCNN54540.2023.10191730},
timestamp = {Wed, 09 Aug 2023 16:25:09 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/AyvazCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/NallapareddySDB23,
author = {Monish R. Nallapareddy and
Kshitij Sirohi and
Paulo Lilles Jorge Drews and
Wolfram Burgard and
Chih{-}Hong Cheng and
Abhinav Valada},
title = {EvCenterNet: Uncertainty Estimation for Object Detection Using Evidential
Learning},
booktitle = {{IROS}},
pages = {5699--5706},
year = {2023},
url = {https://doi.org/10.1109/IROS55552.2023.10341826},
doi = {10.1109/IROS55552.2023.10341826},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/NallapareddySDB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ChengVGHB23,
author = {Chih{-}Hong Cheng and
Venkatesh Prasad Venkataramanan and
Pragya Kirti Gupta and
Yun{-}Fei Hsu and
Simon Burton},
title = {Safeguarding Learning-based Control for Smart Energy Systems with
Sampling Specifications},
booktitle = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2023, Singapore, October 24-27, 2023},
pages = {239--241},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PRDC59308.2023.00037},
doi = {10.1109/PRDC59308.2023.00037},
timestamp = {Tue, 23 Jan 2024 09:45:30 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ChengVGHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ChengLY23,
author = {Chih{-}Hong Cheng and
Michael Luttenberger and
Rongjie Yan},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Runtime Monitoring DNN-Based Perception - (via the Lens of Formal
Methods)},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {428--446},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_24},
doi = {10.1007/978-3-031-44267-4\_24},
timestamp = {Sun, 08 Oct 2023 09:22:52 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChengLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LiaoCEK23,
author = {Brian Hsuan{-}Cheng Liao and
Chih{-}Hong Cheng and
Hasan Esen and
Alois Knoll},
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Friedemann Bitsch},
title = {Are Transformers More Robust? Towards Exact Robustness Verification
for Transformers},
booktitle = {Computer Safety, Reliability, and Security - 42nd International Conference,
{SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14181},
pages = {89--103},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40923-3\_8},
doi = {10.1007/978-3-031-40923-3\_8},
timestamp = {Fri, 15 Sep 2023 15:00:49 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LiaoCEK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BensalemCHHWZ23,
author = {Saddek Bensalem and
Chih{-}Hong Cheng and
Wei Huang and
Xiaowei Huang and
Changshun Wu and
Xingyu Zhao},
editor = {Bernhard Steffen},
title = {What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled
Safety-Critical Systems},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {55--76},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_4},
doi = {10.1007/978-3-031-46002-9\_4},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/BensalemCHHWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-03037,
author = {Monish R. Nallapareddy and
Kshitij Sirohi and
Paulo L. J. Drews{-}Jr and
Wolfram Burgard and
Chih{-}Hong Cheng and
Abhinav Valada},
title = {EvCenterNet: Uncertainty Estimation for Object Detection using Evidential
Learning},
journal = {CoRR},
volume = {abs/2303.03037},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.03037},
doi = {10.48550/ARXIV.2303.03037},
eprinttype = {arXiv},
eprint = {2303.03037},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-03037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18380,
author = {Utku Ayvaz and
Chih{-}Hong Cheng and
Hao Shen},
title = {Potential-based Credit Assignment for Cooperative RL-based Testing
of Autonomous Vehicles},
journal = {CoRR},
volume = {abs/2305.18380},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18380},
doi = {10.48550/ARXIV.2305.18380},
eprinttype = {arXiv},
eprint = {2305.18380},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-08447,
author = {Chih{-}Hong Cheng and
Changshun Wu and
Harald Ruess and
Saddek Bensalem},
title = {Towards Rigorous Design of OoD Detectors},
journal = {CoRR},
volume = {abs/2306.08447},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.08447},
doi = {10.48550/ARXIV.2306.08447},
eprinttype = {arXiv},
eprint = {2306.08447},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11784,
author = {Saddek Bensalem and
Chih{-}Hong Cheng and
Wei Huang and
Xiaowei Huang and
Changshun Wu and
Xingyu Zhao},
title = {What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled
Safety Critical Systems},
journal = {CoRR},
volume = {abs/2307.11784},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.11784},
doi = {10.48550/ARXIV.2307.11784},
eprinttype = {arXiv},
eprint = {2307.11784},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-12716,
author = {Chih{-}Hong Cheng and
Harald Ruess and
Konstantinos Theodorou},
title = {Safety Performance of Neural Networks in the Presence of Covariate
Shift},
journal = {CoRR},
volume = {abs/2307.12716},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.12716},
doi = {10.48550/ARXIV.2307.12716},
eprinttype = {arXiv},
eprint = {2307.12716},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-06069,
author = {Chih{-}Hong Cheng and
Venkatesh Prasad Venkataramanan and
Pragya Kirti Gupta and
Yun{-}Fei Hsu and
Simon Burton},
title = {Safeguarding Learning-based Control for Smart Energy Systems with
Sampling Specifications},
journal = {CoRR},
volume = {abs/2308.06069},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.06069},
doi = {10.48550/ARXIV.2308.06069},
eprinttype = {arXiv},
eprint = {2308.06069},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-06069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-03999,
author = {Chih{-}Hong Cheng and
Michael Luttenberger and
Rongjie Yan},
title = {Runtime Monitoring DNN-Based Perception},
journal = {CoRR},
volume = {abs/2310.03999},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.03999},
doi = {10.48550/ARXIV.2310.03999},
eprinttype = {arXiv},
eprint = {2310.03999},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-03999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengWSB22,
author = {Chih{-}Hong Cheng and
Changshun Wu and
Emmanouil Seferis and
Saddek Bensalem},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {Prioritizing Corners in OoD Detectors via Symbolic String Manipulation},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {397--413},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_26},
doi = {10.1007/978-3-031-19992-9\_26},
timestamp = {Tue, 25 Oct 2022 22:22:46 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChengWSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BensalemCHKMNP22,
author = {Saddek Bensalem and
Chih{-}Hong Cheng and
Xiaowei Huang and
Panagiotis Katsaros and
Adam Molin and
Dejan Nickovic and
Doron Peled},
editor = {Omri Isac and
Radoslav Ivanov and
Guy Katz and
Nina Narodytska and
Laura Nenzi},
title = {Formal Specification for Learning-Enabled Autonomous Systems},
booktitle = {Software Verification and Formal Methods for ML-Enabled Autonomous
Systems - 5th International Workshop, FoMLAS 2022, and 15th International
Workshop, {NSV} 2022, Haifa, Israel, July 31 - August 1, and August
11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13466},
pages = {131--143},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21222-2\_8},
doi = {10.1007/978-3-031-21222-2\_8},
timestamp = {Sat, 17 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BensalemCHKMNP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/LiCSCY22,
author = {Changwen Li and
Chih{-}Hong Cheng and
Tiantian Sun and
Yuhang Chen and
Rongjie Yan},
title = {ComOpT: Combination and Optimization for Testing Autonomous Driving
Systems},
booktitle = {2022 International Conference on Robotics and Automation, {ICRA} 2022,
Philadelphia, PA, USA, May 23-27, 2022},
pages = {7738--7744},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICRA46639.2022.9811794},
doi = {10.1109/ICRA46639.2022.9811794},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/LiCSCY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchusterSBC22,
author = {Tobias Schuster and
Emmanouil Seferis and
Simon Burton and
Chih{-}Hong Cheng},
editor = {Mario Trapp and
Francesca Saglietti and
Marc Spisl{\"{a}}nder and
Friedemann Bitsch},
title = {Formally Compensating Performance Limitations for Imprecise 2D Object
Detection},
booktitle = {Computer Safety, Reliability, and Security - 41st International Conference,
{SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13414},
pages = {269--283},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14835-4\_18},
doi = {10.1007/978-3-031-14835-4\_18},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/SchusterSBC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChengSB22,
author = {Chih{-}Hong Cheng and
Tobias Schuster and
Simon Burton},
editor = {Mario Trapp and
Erwin Schoitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Logically Sound Arguments for the Effectiveness of {ML} Safety Measures},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2022 Workshops
- DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany,
September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13415},
pages = {343--350},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14862-0\_25},
doi = {10.1007/978-3-031-14862-0\_25},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/ChengSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-03932,
author = {Hsuan{-}Cheng Liao and
Chih{-}Hong Cheng and
Maximilian Knei{\ss}l and
Alois C. Knoll},
title = {Robustness Verification for Attention Networks using Mixed Integer
Programming},
journal = {CoRR},
volume = {abs/2202.03932},
year = {2022},
url = {https://arxiv.org/abs/2202.03932},
eprinttype = {arXiv},
eprint = {2202.03932},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-05123,
author = {Tobias Schuster and
Emmanouil Seferis and
Simon Burton and
Chih{-}Hong Cheng},
title = {Unaligned but Safe - Formally Compensating Performance Limitations
for Imprecise 2D Object Detection},
journal = {CoRR},
volume = {abs/2202.05123},
year = {2022},
url = {https://arxiv.org/abs/2202.05123},
eprinttype = {arXiv},
eprint = {2202.05123},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-05123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-07736,
author = {Chih{-}Hong Cheng and
Changshun Wu and
Emmanouil Seferis and
Saddek Bensalem},
title = {Prioritizing Corners in OoD Detectors via Symbolic String Manipulation},
journal = {CoRR},
volume = {abs/2205.07736},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.07736},
doi = {10.48550/ARXIV.2205.07736},
eprinttype = {arXiv},
eprint = {2205.07736},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-07736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-10368,
author = {Hsuan{-}Cheng Liao and
Chih{-}Hong Cheng and
Hasan Esen and
Alois C. Knoll},
title = {Safety Metrics and Losses for Object Detection in Autonomous Driving},
journal = {CoRR},
volume = {abs/2209.10368},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.10368},
doi = {10.48550/ARXIV.2209.10368},
eprinttype = {arXiv},
eprint = {2209.10368},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-11632,
author = {Chih{-}Hong Cheng and
Nguyen Anh Vu Doan and
Balahari Balu and
Franziska Schwaiger and
Emmanouil Seferis and
Simon Burton and
Yassine Qamsane and
Ankit Shukla and
Yinchong Yang and
Zhiliang Wu and
Andreas Hapfelmeier and
Ingo Thon},
title = {Facilitating Change Implementation for Continuous ML-Safety Assurance},
journal = {CoRR},
volume = {abs/2209.11632},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.11632},
doi = {10.48550/ARXIV.2209.11632},
eprinttype = {arXiv},
eprint = {2209.11632},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-11632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-07483,
author = {Nguyen Anh Vu Doan and
Arda Y{\"{u}}ksel and
Chih{-}Hong Cheng},
title = {Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations
for Object Detection},
journal = {CoRR},
volume = {abs/2211.07483},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.07483},
doi = {10.48550/ARXIV.2211.07483},
eprinttype = {arXiv},
eprint = {2211.07483},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-07483.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/ChengY21,
author = {Chih{-}Hong Cheng and
Rongjie Yan},
title = {Testing Autonomous Systems with Believed Equivalence Refinement},
booktitle = {2021 {IEEE} International Conference on Artificial Intelligence Testing,
AITest 2021, Oxford, United Kingdom, August 23-26, 2021},
pages = {49--56},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/AITEST52744.2021.00020},
doi = {10.1109/AITEST52744.2021.00020},
timestamp = {Wed, 20 Oct 2021 16:44:29 +0200},
biburl = {https://dblp.org/rec/conf/aitest/ChengY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/ChengKL21,
author = {Chih{-}Hong Cheng and
Alois C. Knoll and
Hsuan{-}Cheng Liao},
title = {Safety Metrics for Semantic Segmentation in Autonomous Driving},
booktitle = {2021 {IEEE} International Conference on Artificial Intelligence Testing,
AITest 2021, Oxford, United Kingdom, August 23-26, 2021},
pages = {57--64},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/AITEST52744.2021.00021},
doi = {10.1109/AITEST52744.2021.00021},
timestamp = {Wed, 20 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aitest/ChengKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Cheng21,
author = {Chih{-}Hong Cheng},
title = {Provably-Robust Runtime Monitoring of Neuron Activation Patterns},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {1310--1313},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9473957},
doi = {10.23919/DATE51398.2021.9473957},
timestamp = {Wed, 21 Jul 2021 10:04:34 +0200},
biburl = {https://dblp.org/rec/conf/date/Cheng21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChengY21,
author = {Chih{-}Hong Cheng and
Rongjie Yan},
title = {Continuous Safety Verification of Neural Networks},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {1478--1483},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9473994},
doi = {10.23919/DATE51398.2021.9473994},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ChengY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ChenC0Y21,
author = {Yuhang Chen and
Chih{-}Hong Cheng and
Jun Yan and
Rongjie Yan},
title = {Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm
Abstractions},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
pages = {6688--6693},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IROS51168.2021.9636713},
doi = {10.1109/IROS51168.2021.9636713},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/ChenC0Y21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/ZafarPC21,
author = {Atiqa Zafar and
Christian Prehofer and
Chih{-}Hong Cheng},
title = {Federated Learning for Driver Status Monitoring},
booktitle = {24th {IEEE} International Intelligent Transportation Systems Conference,
{ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
pages = {1463--1469},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ITSC48978.2021.9564936},
doi = {10.1109/ITSC48978.2021.9564936},
timestamp = {Wed, 03 Nov 2021 08:38:45 +0100},
biburl = {https://dblp.org/rec/conf/itsc/ZafarPC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DorffCEF21,
author = {Sebastian vom Dorff and
Chih{-}Hong Cheng and
Hasan Esen and
Martin Fr{\"{a}}nzle},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware
Pedestrian Prediction},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {501--520},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_28},
doi = {10.1007/978-3-030-92124-8\_28},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/DorffCEF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-04578,
author = {Chih{-}Hong Cheng and
Rongjie Yan},
title = {Testing Autonomous Systems with Believed Equivalence Refinement},
journal = {CoRR},
volume = {abs/2103.04578},
year = {2021},
url = {https://arxiv.org/abs/2103.04578},
eprinttype = {arXiv},
eprint = {2103.04578},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-04578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-15456,
author = {Yuhang Chen and
Chih{-}Hong Cheng and
Jun Yan and
Rongjie Yan},
title = {Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm
Abstractions},
journal = {CoRR},
volume = {abs/2103.15456},
year = {2021},
url = {https://arxiv.org/abs/2103.15456},
eprinttype = {arXiv},
eprint = {2103.15456},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-15456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10142,
author = {Chih{-}Hong Cheng and
Alois C. Knoll and
Hsuan{-}Cheng Liao},
title = {Safety Metrics for Semantic Segmentation in Autonomous Driving},
journal = {CoRR},
volume = {abs/2105.10142},
year = {2021},
url = {https://arxiv.org/abs/2105.10142},
eprinttype = {arXiv},
eprint = {2105.10142},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-00761,
author = {Changwen Li and
Chih{-}Hong Cheng and
Tiantian Sun and
Yuhang Chen and
Rongjie Yan},
title = {ComOpT: Combination and Optimization for Testing Autonomous Driving
Systems},
journal = {CoRR},
volume = {abs/2110.00761},
year = {2021},
url = {https://arxiv.org/abs/2110.00761},
eprinttype = {arXiv},
eprint = {2110.00761},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-00761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-02649,
author = {Chih{-}Hong Cheng and
Tobias Schuster and
Simon Burton},
title = {Logically Sound Arguments for the Effectiveness of {ML} Safety Measures},
journal = {CoRR},
volume = {abs/2111.02649},
year = {2021},
url = {https://arxiv.org/abs/2111.02649},
eprinttype = {arXiv},
eprint = {2111.02649},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-02649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChengHBH20,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Thomas Brunner and
Vahid Hashemi},
title = {Towards Safety Verification of Direct Perception Neural Networks},
booktitle = {2020 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
pages = {1640--1643},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.23919/DATE48585.2020.9116205},
doi = {10.23919/DATE48585.2020.9116205},
timestamp = {Thu, 25 Jun 2020 12:55:44 +0200},
biburl = {https://dblp.org/rec/conf/date/ChengHBH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/Cheng20,
author = {Chih{-}Hong Cheng},
title = {Towards Robust Direct Perception Networks for Automated Driving},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2020, Las Vegas, NV, USA,
October 19 - November 13, 2020},
pages = {298--304},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IV47402.2020.9304548},
doi = {10.1109/IV47402.2020.9304548},
timestamp = {Fri, 15 Jan 2021 15:43:41 +0100},
biburl = {https://dblp.org/rec/conf/ivs/Cheng20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Cheng20,
author = {Chih{-}Hong Cheng},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {Safety-Aware Hardening of 3D Object Detection Neural Network Systems},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {213--227},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_14},
doi = {10.1007/978-3-030-54549-9\_14},
timestamp = {Thu, 20 Aug 2020 14:33:29 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Cheng20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-11242,
author = {Chih{-}Hong Cheng},
title = {Safety-Aware Hardening of 3D Object Detection Neural Network Systems},
journal = {CoRR},
volume = {abs/2003.11242},
year = {2020},
url = {https://arxiv.org/abs/2003.11242},
eprinttype = {arXiv},
eprint = {2003.11242},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-11242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-05689,
author = {Chih{-}Hong Cheng and
Rongjie Yan},
title = {Continuous Safety Verification of Neural Networks},
journal = {CoRR},
volume = {abs/2010.05689},
year = {2020},
url = {https://arxiv.org/abs/2010.05689},
eprinttype = {arXiv},
eprint = {2010.05689},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-05689.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-11959,
author = {Chih{-}Hong Cheng},
title = {Provably-Robust Runtime Monitoring of Neuron Activation Patterns},
journal = {CoRR},
volume = {abs/2011.11959},
year = {2020},
url = {https://arxiv.org/abs/2011.11959},
eprinttype = {arXiv},
eprint = {2011.11959},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-11959.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChengNY19,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Hirotoshi Yasuoka},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {Runtime Monitoring Neuron Activation Patterns},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {300--303},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8714971},
doi = {10.23919/DATE.2019.8714971},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/ChengNY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChengHN19,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Georg N{\"{u}}hrenberg},
editor = {David Z. Pan},
title = {nn-dependability-kit: Engineering Neural Networks for Safety-Critical
Autonomous Driving Systems},
booktitle = {Proceedings of the International Conference on Computer-Aided Design,
{ICCAD} 2019, Westminster, CO, USA, November 4-7, 2019},
pages = {1--6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICCAD45719.2019.8942153},
doi = {10.1109/ICCAD45719.2019.8942153},
timestamp = {Wed, 19 Feb 2020 16:38:01 +0100},
biburl = {https://dblp.org/rec/conf/iccad/ChengHN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2019,
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3},
doi = {10.1007/978-3-030-31784-3},
isbn = {978-3-030-31783-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-10590,
author = {Chih{-}Hong Cheng and
Dhiraj Gulati and
Rongjie Yan},
title = {Architecting Dependable Learning-enabled Autonomous Systems: {A} Survey},
journal = {CoRR},
volume = {abs/1902.10590},
year = {2019},
url = {http://arxiv.org/abs/1902.10590},
eprinttype = {arXiv},
eprint = {1902.10590},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-10590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-04706,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Thomas Brunner and
Vahid Hashemi},
title = {Towards Safety Verification of Direct Perception Neural Networks},
journal = {CoRR},
volume = {abs/1904.04706},
year = {2019},
url = {http://arxiv.org/abs/1904.04706},
eprinttype = {arXiv},
eprint = {1904.04706},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-04706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-13600,
author = {Chih{-}Hong Cheng},
title = {Towards Robust Direct Perception Networks for Automated Driving},
journal = {CoRR},
volume = {abs/1909.13600},
year = {2019},
url = {http://arxiv.org/abs/1909.13600},
eprinttype = {arXiv},
eprint = {1909.13600},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-13600.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengHY18,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Hirotoshi Yasuoka},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Quantitative Projection Coverage for Testing ML-enabled Autonomous
Systems},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {126--142},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_8},
doi = {10.1007/978-3-030-01090-4\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChengHY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChengDHHN0RT18,
author = {Chih{-}Hong Cheng and
Frederik Diehl and
Gereon Hinz and
Yassine Hamza and
Georg N{\"{u}}hrenberg and
Markus Rickert and
Harald Ruess and
Michael Truong{-}Le},
editor = {Jan Madsen and
Ayse K. Coskun},
title = {Neural networks for safety-critical applications - Challenges, experiments
and perspectives},
booktitle = {2018 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
pages = {1005--1006},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/DATE.2018.8342158},
doi = {10.23919/DATE.2018.8342158},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ChengDHHN0RT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ChengNHRY18,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Chung{-}Hao Huang and
Harald Ruess and
Hirotoshi Yasuoka},
title = {Towards Dependability Metrics for Neural Networks},
booktitle = {16th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2018, Beijing, China, October 15-18,
2018},
pages = {43--46},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MEMCOD.2018.8556962},
doi = {10.1109/MEMCOD.2018.8556962},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/ChengNHRY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ChengNHR18,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Chung{-}Hao Huang and
Harald Ruess},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Verification of Binarized Neural Networks via Inter-neuron Factoring
- (Short Paper)},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {279--290},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_16},
doi = {10.1007/978-3-030-03592-1\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ChengNHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04333,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Hirotoshi Yasuoka},
title = {Quantitative Projection Coverage for Testing ML-enabled Autonomous
Systems},
journal = {CoRR},
volume = {abs/1805.04333},
year = {2018},
url = {http://arxiv.org/abs/1805.04333},
eprinttype = {arXiv},
eprint = {1805.04333},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-04333.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-02338,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Chung{-}Hao Huang and
Harald Ruess and
Hirotoshi Yasuoka},
title = {Towards Dependability Metrics for Neural Networks},
journal = {CoRR},
volume = {abs/1806.02338},
year = {2018},
url = {http://arxiv.org/abs/1806.02338},
eprinttype = {arXiv},
eprint = {1806.02338},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-02338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-06573,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Hirotoshi Yasuoka},
title = {Runtime Monitoring Neuron Activation Patterns},
journal = {CoRR},
volume = {abs/1809.06573},
year = {2018},
url = {http://arxiv.org/abs/1809.06573},
eprinttype = {arXiv},
eprint = {1809.06573},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-06573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06746,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Georg N{\"{u}}hrenberg},
title = {nn-dependability-kit: Engineering Neural Networks for Safety-Critical
Systems},
journal = {CoRR},
volume = {abs/1811.06746},
year = {2018},
url = {http://arxiv.org/abs/1811.06746},
eprinttype = {arXiv},
eprint = {1811.06746},
timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChengHR17,
author = {Chih{-}Hong Cheng and
Yassine Hamza and
Harald Ruess},
editor = {Jian Lv and
He Jason Zhang and
Mike Hinchey and
Xiao Liu},
title = {Automated Analysis of Multi-View Software Architectures},
booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
China, December 4-8, 2017},
pages = {725--730},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/APSEC.2017.93},
doi = {10.1109/APSEC.2017.93},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChengHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengNR17,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Harald Ruess},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Maximum Resilience of Artificial Neural Networks},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {251--268},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_18},
doi = {10.1007/978-3-319-68167-2\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChengNR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/DorofeevCGFPZ17,
author = {Kirill Dorofeev and
Chih{-}Hong Cheng and
Magno Guedes and
Pedro Ferreira and
Stefan Profanter and
Alois Zoitl},
title = {Device adapter concept towards enabling plug{\&}produce production
environments},
booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ETFA.2017.8247570},
doi = {10.1109/ETFA.2017.8247570},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/DorofeevCGFPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LucioRCM17,
author = {Levi L{\'{u}}cio and
Salman Rahman and
Chih{-}Hong Cheng and
Alistair Mavin},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Just Formal Enough? Automated Analysis of {EARS} Requirements},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {427--434},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_31},
doi = {10.1007/978-3-319-57288-8\_31},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LucioRCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChengLR17,
author = {Chih{-}Hong Cheng and
Edward A. Lee and
Harald Ruess},
editor = {Axel Legay and
Tiziana Margaria},
title = {autoCode4: Structural Controller Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {398--404},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_23},
doi = {10.1007/978-3-662-54577-5\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChengLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengHR17,
author = {Chih{-}Hong Cheng and
Yassine Hamza and
Harald Ruess},
title = {Automated Analysis of Multi-View Software Architectures},
journal = {CoRR},
volume = {abs/1704.07097},
year = {2017},
url = {http://arxiv.org/abs/1704.07097},
eprinttype = {arXiv},
eprint = {1704.07097},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengNR17,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Harald Ruess},
title = {Maximum Resilience of Artificial Neural Networks},
journal = {CoRR},
volume = {abs/1705.01040},
year = {2017},
url = {http://arxiv.org/abs/1705.01040},
eprinttype = {arXiv},
eprint = {1705.01040},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengNR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-00911,
author = {Chih{-}Hong Cheng and
Frederik Diehl and
Yassine Hamza and
Gereon Hinz and
Georg N{\"{u}}hrenberg and
Markus Rickert and
Harald Ruess and
Michael Truong{-}Le},
title = {Neural Networks for Safety-Critical Applications - Challenges, Experiments
and Perspectives},
journal = {CoRR},
volume = {abs/1709.00911},
year = {2017},
url = {http://arxiv.org/abs/1709.00911},
eprinttype = {arXiv},
eprint = {1709.00911},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03107,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Harald Ruess},
title = {Verification of Binarized Neural Networks},
journal = {CoRR},
volume = {abs/1710.03107},
year = {2017},
url = {http://arxiv.org/abs/1710.03107},
eprinttype = {arXiv},
eprint = {1710.03107},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengHR16,
author = {Chih{-}Hong Cheng and
Yassine Hamza and
Harald Ruess},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Structural Synthesis for {GXW} Specifications},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {95--117},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_6},
doi = {10.1007/978-3-319-41528-4\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChengHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AstefanoaeiBBCR16,
author = {Lacramioara Astefanoaei and
Saddek Bensalem and
Marius Bozga and
Chih{-}Hong Cheng and
Harald Ruess},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Compositional Parameter Synthesis},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {60--68},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_4},
doi = {10.1007/978-3-319-48989-6\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AstefanoaeiBBCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengHR16,
author = {Chih{-}Hong Cheng and
Yassine Hamza and
Harald Ruess},
title = {Structural Synthesis for {GXW} Specifications},
journal = {CoRR},
volume = {abs/1605.01153},
year = {2016},
url = {http://arxiv.org/abs/1605.01153},
eprinttype = {arXiv},
eprint = {1605.01153},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/YanCC15,
author = {Rongjie Yan and
Chih{-}Hong Cheng and
Yesheng Chai},
editor = {Wolfgang Nebel and
David Atienza},
title = {Formal consistency checking over specifications in natural languages},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {1677--1682},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2757200},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/YanCC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChengGMSSW15,
author = {Chih{-}Hong Cheng and
Tuncay Guelfirat and
Christian Messinger and
Johannes O. Schmitt and
Matthias Schnelte and
Peter Weber},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Semantic degrees for Industrie 4.0 engineering: deciding on the degree
of semantic formalization to select appropriate technologies},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {1010--1013},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2804434},
doi = {10.1145/2786805.2804434},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChengGMSSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengARB15,
author = {Chih{-}Hong Cheng and
Lacramioara Astefanoaei and
Souha Ben Rayana and
Saddek Bensalem},
title = {Timed Orchestration for Component-based Systems},
journal = {CoRR},
volume = {abs/1504.05513},
year = {2015},
url = {http://arxiv.org/abs/1504.05513},
eprinttype = {arXiv},
eprint = {1504.05513},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengARB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengGMSSW15,
author = {Chih{-}Hong Cheng and
Tuncay Guelfirat and
Christian Messinger and
Johannes O. Schmitt and
Matthias Schnelte and
Peter Weber},
title = {Semantic Degrees for Industrie 4.0},
journal = {CoRR},
volume = {abs/1505.05625},
year = {2015},
url = {http://arxiv.org/abs/1505.05625},
eprinttype = {arXiv},
eprint = {1505.05625},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengGMSSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengHRS14,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Harald Ruess and
Stefan Stattelmann},
editor = {Armin Biere and
Roderick Bloem},
title = {{G4LTL-ST:} Automatic Generation of {PLC} Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {541--549},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_36},
doi = {10.1007/978-3-319-08867-9\_36},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChengHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/SehestedtCB14,
author = {Stephan Sehestedt and
Chih{-}Hong Cheng and
Eric Bouwers},
editor = {Anna Liu and
John Klein and
Antony Tang},
title = {Towards quantitative metrics for architecture models},
booktitle = {Proceedings of the {WICSA} 2014 Companion Volume, Sydney, NSW, Australia,
April 7-11, 2014},
pages = {5:1--5:4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2578128.2578226},
doi = {10.1145/2578128.2578226},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/SehestedtCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengHRS14,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Harald Ruess and
Stefan Stattelmann},
title = {{G4LTL-ST:} Automatic Generation of {PLC} Programs},
journal = {CoRR},
volume = {abs/1405.2409},
year = {2014},
url = {http://arxiv.org/abs/1405.2409},
eprinttype = {arXiv},
eprint = {1405.2409},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YanCZC14,
author = {Rongjie Yan and
Chih{-}Hong Cheng and
Guangquan Zhang and
Yesheng Chai},
title = {Formal Consistency Checking over Specifications in Natural Languages},
journal = {CoRR},
volume = {abs/1405.5003},
year = {2014},
url = {http://arxiv.org/abs/1405.5003},
eprinttype = {arXiv},
eprint = {1405.5003},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YanCZC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengRS13,
author = {Chih{-}Hong Cheng and
Harald Ruess and
Natarajan Shankar},
editor = {Natasha Sharygina and
Helmut Veith},
title = {JBernstein: {A} Validity Checker for Generalized Polynomial Constraints},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {656--661},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_43},
doi = {10.1007/978-3-642-39799-8\_43},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChengRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ChengGB13,
author = {Chih{-}Hong Cheng and
Michael Geisinger and
Christian Buckl},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Synthesizing Controllers for Automation Tasks with Performance Guarantees},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {154--159},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_10},
doi = {10.1007/978-3-642-39176-7\_10},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/ChengGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengSRB13,
author = {Chih{-}Hong Cheng and
Natarajan Shankar and
Harald Ruess and
Saddek Bensalem},
title = {{EFSMT:} {A} Logical Framework for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1306.3456},
year = {2013},
url = {http://arxiv.org/abs/1306.3456},
eprinttype = {arXiv},
eprint = {1306.3456},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengSRB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengL13,
author = {Chih{-}Hong Cheng and
Edward A. Lee},
title = {Numerical {LTL} Synthesis for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1307.3722},
year = {2013},
url = {http://arxiv.org/abs/1307.3722},
eprinttype = {arXiv},
eprint = {1307.3722},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Cheng12,
author = {Chih{-}Hong Cheng},
title = {An implementation for algorithmic game solving and its applications
in system synthesis},
school = {Technical University Munich},
year = {2012},
url = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120427-1082596-1-0},
urn = {urn:nbn:de:bvb:91-diss-20120427-1082596-1-0},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Cheng12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/ChengYRB12,
author = {Chih{-}Hong Cheng and
Rongjie Yan and
Harald Ruess and
Saddek Bensalem},
editor = {Gul A. Agha and
Rafael H. Bordini and
Assaf Marron and
Alessandro Ricci},
title = {Distributed priority synthesis using knowledge},
booktitle = {Proceedings of the 2nd edition on Programming systems, languages and
applications based on actors, agents, and decentralized control abstractions,
AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
pages = {129--132},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414639.2414656},
doi = {10.1145/2414639.2414656},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/agere/ChengYRB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengGRBK12,
author = {Chih{-}Hong Cheng and
Michael Geisinger and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {MGSyn: Automatic Synthesis for Industrial Automation},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {658--664},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_46},
doi = {10.1007/978-3-642-31424-7\_46},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChengGRBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChengGRBK12,
author = {Chih{-}Hong Cheng and
Michael Geisinger and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
title = {Game solving for industrial automation and control},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
pages = {4367--4372},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICRA.2012.6224814},
doi = {10.1109/ICRA.2012.6224814},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/ChengGRBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-6189,
author = {Chih{-}Hong Cheng and
Rongjie Yan and
Saddek Bensalem and
Harald Ruess},
editor = {Franck Cassez and
Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Distributed Priority Synthesis},
booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
2012, Sydney, Australia, 28-30 November 2012},
series = {{EPTCS}},
volume = {102},
pages = {57--72},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.102.7},
doi = {10.4204/EPTCS.102.7},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengBCYJRBK11,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Yu{-}Fang Chen and
Rongjie Yan and
Barbara Jobstmann and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Algorithms for Synthesizing Priorities in Component-Based Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {150--167},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_12},
doi = {10.1007/978-3-642-24372-1\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChengBCYJRBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChengBJYKR11,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Barbara Jobstmann and
Rongjie Yan and
Alois C. Knoll and
Harald Ruess},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Model Construction and Priority Synthesis for Simple Interaction Systems},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {466--471},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_34},
doi = {10.1007/978-3-642-20398-5\_34},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ChengBJYKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChengKLB11,
author = {Chih{-}Hong Cheng and
Alois C. Knoll and
Michael Luttenberger and
Christian Buckl},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {{GAVS+:} An Open Platform for the Research of Algorithmic Game Solving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {258--261},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_22},
doi = {10.1007/978-3-642-19835-9\_22},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChengKLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChengRKB11,
author = {Chih{-}Hong Cheng and
Harald Rue{\ss} and
Alois C. Knoll and
Christian Buckl},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory
to Practice},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {118--133},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_10},
doi = {10.1007/978-3-642-18275-4\_10},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ChengRKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/ChengJBK11,
author = {Chih{-}Hong Cheng and
Barbara Jobstmann and
Christian Buckl and
Alois C. Knoll},
editor = {B{\'{e}}atrice Bouchou{-}Markhoff and
Pascal Caron and
Jean{-}Marc Champarnaud and
Denis Maurel},
title = {On the Hardness of Priority Synthesis},
booktitle = {Implementation and Application of Automata - 16th International Conference,
{CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6807},
pages = {110--117},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22256-6\_11},
doi = {10.1007/978-3-642-22256-6\_11},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/ChengJBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1383,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Yu{-}Fang Chen and
Rongjie Yan and
Barbara Jobstmann and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
title = {Algorithms for Synthesizing Priorities in Component-based Systems},
journal = {CoRR},
volume = {abs/1107.1383},
year = {2011},
url = {http://arxiv.org/abs/1107.1383},
eprinttype = {arXiv},
eprint = {1107.1383},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-1783,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Rongjie Yan and
Harald Ruess},
title = {Distributed Priority Synthesis and its Applications},
journal = {CoRR},
volume = {abs/1112.1783},
year = {2011},
url = {http://arxiv.org/abs/1112.1783},
eprinttype = {arXiv},
eprint = {1112.1783},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-1783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengBLK10,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Michael Luttenberger and
Alois C. Knoll},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {{GAVS:} Game Arena Visualization and Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {347--352},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_26},
doi = {10.1007/978-3-642-15643-4\_26},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChengBLK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Cheng10,
author = {Chih{-}Hong Cheng},
editor = {Kai Bollue and
Dominique G{\"{u}}ckel and
Ulrich Loup and
Jacob Sp{\"{o}}nemann and
Melanie Winkler},
title = {{GAVS:} Game Arena Visualization and Synthesis},
booktitle = {Proceedings of the Joint Workshop of the German Research Training
Groups in Computer Science, Algorithmic synthesis of reactive and
discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010},
pages = {147},
publisher = {Verlagshaus Mainz, Aachen, Germany},
year = {2010},
timestamp = {Tue, 03 Mar 2020 17:20:41 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/Cheng10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-0268,
author = {Chih{-}Hong Cheng and
Harald Ruess and
Alois C. Knoll and
Christian Buckl},
title = {A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded
Systems},
journal = {CoRR},
volume = {abs/1011.0268},
year = {2010},
url = {http://arxiv.org/abs/1011.0268},
eprinttype = {arXiv},
eprint = {1011.0268},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cira/ChengKBEC09,
author = {Chih{-}Hong Cheng and
Alois C. Knoll and
Christian Buckl and
Javier Esparza and
Yang Chen},
title = {Examining robotic systems with shape-adjustable manipulators under
dynamic environments: From simulation to verification},
booktitle = {Proceedings of the {IEEE} International Symposium on Computational
Intelligence in Robotics and Automation, {CIRA} 2009, 15-18 December
2009, Daejeon, Korea},
pages = {72--77},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CIRA.2009.5423243},
doi = {10.1109/CIRA.2009.5423243},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cira/ChengKBEC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChengRBLK09,
author = {Chih{-}Hong Cheng and
Markus Rickert and
Christian Buckl and
Edward A. Lee and
Alois C. Knoll},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {Toward the Design of Robotic Software with Verifiable Safety},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 1},
pages = {622--623},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.89},
doi = {10.1109/COMPSAC.2009.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ChengRBLK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/ChengBEK09,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Javier Esparza and
Alois C. Knoll},
editor = {Stephen John Turner and
David J. Roberts and
Wentong Cai and
Abdulmotaleb El{-}Saddik},
title = {Modeling and Verification for Timing Satisfaction of Fault-Tolerant
Systems with Finiteness},
booktitle = {13th {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, Singapore, 25-28 October 2009},
pages = {208--215},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DS-RT.2009.20},
doi = {10.1109/DS-RT.2009.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/ChengBEK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3946,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Javier Esparza and
Alois C. Knoll},
title = {FTOS-Verify: Analysis and Verification of Non-Functional Properties
for Fault-Tolerant Systems},
journal = {CoRR},
volume = {abs/0905.3946},
year = {2009},
url = {http://arxiv.org/abs/0905.3946},
eprinttype = {arXiv},
eprint = {0905.3946},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3951,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Javier Esparza and
Alois C. Knoll},
title = {Modeling and Verification for Timing Satisfaction of Fault-Tolerant
Systems with Finiteness},
journal = {CoRR},
volume = {abs/0905.3951},
year = {2009},
url = {http://arxiv.org/abs/0905.3951},
eprinttype = {arXiv},
eprint = {0905.3951},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WangC08,
author = {Farn Wang and
Chih{-}Hong Cheng},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Program Repair Suggestions from Graphical State-Transition Specifications},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {185--200},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_12},
doi = {10.1007/978-3-540-68855-6\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/WangC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-11 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
