Chung-Hao Huang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
9
Active years
2011–2020
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | DATE | Towards Safety Verification of Direct Perception Neural Networks. | Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi |
| 2019 | ICCAD | nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. | Chih-Hong Cheng, Chung-Hao Huang, Georg Nhrenberg |
| 2018 | ATVA | Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. | Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka |
| 2018 | MEMOCODE | Towards Dependability Metrics for Neural Networks. | Chih-Hong Cheng, Georg Nhrenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka |
| 2014 | CAV | G4LTL-ST: Automatic Generation of PLC Programs. | Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann |
| 2013 | APLAS | Temporal Specification Mining for Anomaly Analysis. | Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li |
| 2013 | TACAS | Model-Checking Iterated Games. | Chung-Hao Huang, Sven Schewe, Farn Wang |
| 2011 | CONCUR | A Temporal Logic for the Interaction of Strategies. | Farn Wang, Chung-Hao Huang, Fang Yu |
| 2011 | FASE | Evolving a Test Oracle in Black-Box Testing. | Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang |