Chih-Hong Cheng
Chih-Hong Cheng
Fraunhofer IKS & Uni. Hildesheim
Verifierad e-postadress på iks.fraunhofer.de - Startsida
Citeras av
Citeras av
Maximum Resilience of Artificial Neural Networks
CH Cheng, G Nührenberg, H Ruess
Automated Technology for Verification and Analysis: 15th International …, 2017
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
Runtime Monitoring Neuron Activation Patterns
CH Cheng, G Nührenberg, H Yasuoka
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 300-303, 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
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
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
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
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
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
CH Cheng, CH Huang, H Yasuoka
Automated Technology for Verification and Analysis: 16th International …, 2018
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
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
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
Structural Synthesis for GXW Specifications
CH Cheng, Y Hamza, H Ruess
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
EFSMT: A logical framework for cyber-physical systems
CH Cheng, N Shankar, H Ruess, S Bensalem
arXiv preprint arXiv:1306.3456, 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
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
Applied Verification: The Ptolemy Approach
CH Cheng, T Fristoe, EA Lee
Deutsche Normungsroadmap Künstliche Intelligenz
R Adler, A Bunte, S Burton, J Großmann, A Jaschke, P Kleen, JM Lorenz, ...
DIN, 2022
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
Towards Quantitative Metrics for Architecture Models
S Sehestedt, CH Cheng, E Bouwers
Proceedings of the WICSA 2014 Companion Volume, 1-4, 2014
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20