Follow
Chih-Hong Cheng
Title
Cited by
Cited by
Year
Maximum Resilience of Artificial Neural Networks
CH Cheng, G Nührenberg, H Ruess
Automated Technology for Verification and Analysis: 15th International …, 2017
3142017
Verification of Binarized Neural Networks via Inter-neuron Factoring
CH Cheng, G Nührenberg, CH Huang, H Ruess
Verified Software. Theories, Tools, and Experiments: 10th International …, 2018
84*2018
Runtime Monitoring Neuron Activation Patterns
CH Cheng, G Nührenberg, H Yasuoka
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 300-303, 2019
71*2019
Formal Consistency Checking over Specifications in Natural Languages
R Yan, CH Cheng, Y Chai
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015
58*2015
Model Engineering Using Multimodeling
C Brooks, CH Cheng, TH Feng, EA Lee, R Von Hanxleden
Proceedings of the 1st International Workshop on Model Co-Evolution and …, 2008
582008
Semantic Degrees for Industrie 4.0 Engineering: Deciding on the Degree of Semantic Formalization to Select Appropriate Technologies
CH Cheng, T Guelfirat, C Messinger, JO Schmitt, M Schnelte, P Weber
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
522015
Towards Dependability Metrics for Neural Networks
CH Cheng, CH Huang, H Ruess, H Yasuoka
2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018
482018
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
CH Cheng, CH Huang, H Yasuoka
Automated Technology for Verification and Analysis: 16th International …, 2018
442018
Just Formal Enough? Automated Analysis of EARS Requirements
L Lúcio, S Rahman, CH Cheng, A Mavin
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
432017
Neural Networks for Safety-critical Applications—Challenges, Experiments and Perspectives
CH Cheng, F Diehl, G Hinz, Y Hamza, G Nührenberg, M Rickert, H Ruess, ...
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
412018
Device Adapter Concept towards Enabling Plug&Produce Production Environments
K Dorofeev, CH Cheng, M Guedes, P Ferreira, S Profanter, A Zoitl
2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017
412017
GAVS+: An Open Platform for the Research of Algorithmic Game Solving
CH Cheng, A Knoll, M Luttenberger, C Buckl
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
352011
Structural Synthesis for GXW Specifications
CH Cheng, Y Hamza, H Ruess
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
292016
EFSMT: A logical framework for cyber-physical systems
CH Cheng, N Shankar, H Ruess, S Bensalem
arXiv preprint arXiv:1306.3456, 2013
28*2013
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems
CH Cheng, CH Huang, G Nührenberg
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2019
25*2019
Deutsche Normungsroadmap Künstliche Intelligenz
R Adler, A Bunte, S Burton, J Großmann, A Jaschke, P Kleen, JM Lorenz, ...
DIN, 2022
242022
G4LTL-ST: Automatic Generation of PLC Programs
CH Cheng, CH Huang, H Ruess, S Stattelmann
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
232014
Applied Verification: The Ptolemy Approach
CH Cheng, T Fristoe, EA Lee
222008
Sensing and Machine Learning for Automotive Perception: A Review
A Pandharipande, CH Cheng, J Dauwels, SZ Gurbuz, J Ibanex-Guzman, ...
IEEE Sensors Journal 23 (11), 11097-11115, 2023
202023
Towards Safety Verification of Direct Perception Neural Networks
CH Cheng, CH Huang, T Brunner, V Hashemi
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2020
182020
The system can't perform the operation now. Try again later.
Articles 1–20