
Chih-Hong Cheng
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c37]Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi:
Towards Safety Verification of Direct Perception Neural Networks. DATE 2020: 1640-1643 - [c36]Chih-Hong Cheng:
Towards Robust Direct Perception Networks for Automated Driving. IV 2020: 298-304 - [c35]Chih-Hong Cheng:
Safety-Aware Hardening of 3D Object Detection Neural Network Systems. SAFECOMP 2020: 213-227 - [i26]Chih-Hong Cheng:
Safety-Aware Hardening of 3D Object Detection Neural Network Systems. CoRR abs/2003.11242 (2020) - [i25]Chih-Hong Cheng, Rongjie Yan:
Continuous Safety Verification of Neural Networks. CoRR abs/2010.05689 (2020) - [i24]Chih-Hong Cheng:
Provably-Robust Runtime Monitoring of Neuron Activation Patterns. CoRR abs/2011.11959 (2020)
2010 – 2019
- 2019
- [c34]Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka:
Runtime Monitoring Neuron Activation Patterns. DATE 2019: 300-303 - [c33]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]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]Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan:
Architecting Dependable Learning-enabled Autonomous Systems: A Survey. CoRR abs/1902.10590 (2019) - [i22]Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi:
Towards Safety Verification of Direct Perception Neural Networks. CoRR abs/1904.04706 (2019) - [i21]Chih-Hong Cheng:
Towards Robust Direct Perception Networks for Automated Driving. CoRR abs/1909.13600 (2019) - 2018
- [c32]Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka:
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. ATVA 2018: 126-142 - [c31]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]Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka:
Towards Dependability Metrics for Neural Networks. MEMOCODE 2018: 43-46 - [c29]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]Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka:
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. CoRR abs/1805.04333 (2018) - [i19]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]Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka:
Runtime Monitoring Neuron Activation Patterns. CoRR abs/1809.06573 (2018) - [i17]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]Chih-Hong Cheng, Yassine Hamza, Harald Ruess:
Automated Analysis of Multi-View Software Architectures. APSEC 2017: 725-730 - [c27]Chih-Hong Cheng, Georg Nührenberg, Harald Ruess:
Maximum Resilience of Artificial Neural Networks. ATVA 2017: 251-268 - [c26]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]Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin:
Just Formal Enough? Automated Analysis of EARS Requirements. NFM 2017: 427-434 - [c24]Chih-Hong Cheng, Edward A. Lee, Harald Ruess:
autoCode4: Structural Controller Synthesis. TACAS (1) 2017: 398-404 - [i16]Chih-Hong Cheng, Yassine Hamza, Harald Ruess:
Automated Analysis of Multi-View Software Architectures. CoRR abs/1704.07097 (2017) - [i15]Chih-Hong Cheng, Georg Nührenberg, Harald Ruess:
Maximum Resilience of Artificial Neural Networks. CoRR abs/1705.01040 (2017) - [i14]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]Chih-Hong Cheng, Georg Nührenberg, Harald Ruess:
Verification of Binarized Neural Networks. CoRR abs/1710.03107 (2017) - 2016
- [c23]Chih-Hong Cheng, Yassine Hamza, Harald Ruess:
Structural Synthesis for GXW Specifications. CAV (1) 2016: 95-117 - [c22]Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess:
Compositional Parameter Synthesis. FM 2016: 60-68 - [i12]Chih-Hong Cheng, Yassine Hamza, Harald Ruess:
Structural Synthesis for GXW Specifications. CoRR abs/1605.01153 (2016) - 2015
- [c21]Rongjie Yan, Chih-Hong Cheng, Yesheng Chai:
Formal consistency checking over specifications in natural languages. DATE 2015: 1677-1682 - [c20]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]Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem:
Timed Orchestration for Component-based Systems. CoRR abs/1504.05513 (2015) - [i10]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]Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann:
G4LTL-ST: Automatic Generation of PLC Programs. CAV 2014: 541-549 - [c18]Stephan Sehestedt, Chih-Hong Cheng, Eric Bouwers:
Towards quantitative metrics for architecture models. WICSA Companion 2014: 5:1-5:4 - [i9]Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann:
G4LTL-ST: Automatic Generation of PLC Programs. CoRR abs/1405.2409 (2014) - [i8]Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai:
Formal Consistency Checking over Specifications in Natural Languages. CoRR abs/1405.5003 (2014) - 2013
- [c17]Chih-Hong Cheng, Harald Ruess, Natarajan Shankar:
JBernstein: A Validity Checker for Generalized Polynomial Constraints. CAV 2013: 656-661 - [c16]Chih-Hong Cheng, Michael Geisinger, Christian Buckl
:
Synthesizing Controllers for Automation Tasks with Performance Guarantees. SPIN 2013: 154-159 - [i7]Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem:
EFSMT: A Logical Framework for Cyber-Physical Systems. CoRR abs/1306.3456 (2013) - [i6]Chih-Hong Cheng, Edward A. Lee:
Numerical LTL Synthesis for Cyber-Physical Systems. CoRR abs/1307.3722 (2013) - 2012
- [b1]Chih-Hong Cheng:
An implementation for algorithmic game solving and its applications in system synthesis. Technical University Munich, 2012, pp. 1-194 - [c15]Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem:
Distributed priority synthesis using knowledge. AGERE!@SPLASH 2012: 129-132 - [c14]Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl
, Alois C. Knoll:
MGSyn: Automatic Synthesis for Industrial Automation. CAV 2012: 658-664 - [c13]Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl
, Alois C. Knoll:
Game solving for industrial automation and control. ICRA 2012: 4367-4372 - [c12]Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess:
Distributed Priority Synthesis. SSV 2012: 57-72 - 2011
- [c11]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]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]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]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]Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl
, Alois C. Knoll:
On the Hardness of Priority Synthesis. CIAA 2011: 110-117 - [i5]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]Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess:
Distributed Priority Synthesis and its Applications. CoRR abs/1112.1783 (2011) - 2010
- [c6]Chih-Hong Cheng, Christian Buckl
, Michael Luttenberger, Alois C. Knoll:
GAVS: Game Arena Visualization and Synthesis. ATVA 2010: 347-352 - [c5]Chih-Hong Cheng:
GAVS: Game Arena Visualization and Synthesis. AlgoSyn 2010: 147 - [i3]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
- 2009
- [c4]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]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]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]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]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]Farn Wang, Chih-Hong Cheng:
Program Repair Suggestions from Graphical State-Transition Specifications. FORTE 2008: 185-200
Coauthor Index
aka: Harald Rueß

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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-01-16 21:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint