Follow
Chih-Hong Cheng
Chih-Hong Cheng
Fraunhofer IKS
Verified email at iks.fraunhofer.de - Homepage
Title
Cited by
Cited by
Year
Maximum resilience of artificial neural networks
CH Cheng, G Nührenberg, H Ruess
International Symposium on Automated Technology for Verification and …, 2017
2252017
Verification of binarized neural networks via inter-neuron factoring
CH Cheng, G Nührenberg, CH Huang, H Ruess
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018
57*2018
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
562008
Formal consistency checking over specifications in natural languages
R Yan, CH Cheng, Y Chai
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015
462015
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
412015
Runtime monitoring neuron activation patterns
CH Cheng, G Nührenberg, H Yasuoka
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 300-303, 2019
402019
GAVS+: An open platform for the research of algorithmic game solving
CH Cheng, A Knoll, M Luttenberger, C Buckl
International Conference on Tools and Algorithms for the Construction and …, 2011
352011
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
332018
Just formal enough? automated analysis of ears requirements
L Lúcio, S Rahman, CH Cheng, A Mavin
NASA Formal Methods Symposium, 427-434, 2017
322017
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
312017
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
302018
Structural synthesis for GXW specifications
CH Cheng, Y Hamza, H Ruess
International Conference on Computer Aided Verification, 95-117, 2016
262016
EFSMT: A logical framework for cyber-physical systems
CH Cheng, N Shankar, H Ruess, S Bensalem
arXiv preprint arXiv:1306.3456, 2013
262013
Quantitative projection coverage for testing ml-enabled autonomous systems
CH Cheng, CH Huang, H Yasuoka
International Symposium on Automated Technology for Verification and …, 2018
252018
G4LTL-ST: Automatic generation of PLC programs
CH Cheng, CH Huang, H Ruess, S Stattelmann
International Conference on Computer Aided Verification, 541-549, 2014
212014
Applied verification: The ptolemy approach
CH Cheng, T Fristoe, EA Lee
182008
Algorithms for synthesizing priorities in component-based systems
CH Cheng, S Bensalem, YF Chen, R Yan, B Jobstmann, H Ruess, ...
International Symposium on Automated Technology for Verification and …, 2011
162011
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems
CH Cheng, CHH Huang, G Nührenberg
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2019
14*2019
Towards quantitative metrics for architecture models
S Sehestedt, CH Cheng, E Bouwers
Proceedings of the WICSA 2014 Companion Volume, 1-4, 2014
132014
Game solving for industrial automation and control
CH Cheng, M Geisinger, H Ruess, C Buckl, A Knoll
2012 IEEE International Conference on Robotics and Automation, 4367-4372, 2012
132012
The system can't perform the operation now. Try again later.
Articles 1–20