Chih-Hong Cheng
Chih-Hong Cheng
DENSO AUTOMOTIVE Deutschland GmbH
Vahvistettu sähköpostiosoite verkkotunnuksessa eu.denso.com - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Maximum resilience of artificial neural networks
CH Cheng, G Nührenberg, H Ruess
International Symposium on Automated Technology for Verification and …, 2017
1432017
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
572008
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
41*2018
Formal consistency checking over specifications in natural languages
R Yan, CH Cheng, Y Chai
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015
322015
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
302015
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
302011
EFSMT: A logical framework for cyber-physical systems
CH Cheng, N Shankar, H Ruess, S Bensalem
arXiv preprint arXiv:1306.3456, 2013
242013
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
222017
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
212018
Structural synthesis for GXW specifications
CH Cheng, Y Hamza, H Ruess
International Conference on Computer Aided Verification, 95-117, 2016
212016
G4LTL-ST: Automatic generation of PLC programs
CH Cheng, CH Huang, H Ruess, S Stattelmann
International Conference on Computer Aided Verification, 541-549, 2014
192014
Runtime monitoring neuron activation patterns
CH Cheng, G Nührenberg, H Yasuoka
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 300-303, 2019
182019
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
172018
Applied verification: The ptolemy approach
CH Cheng, T Fristoe, EA Lee
172008
Just formal enough? automated analysis of ears requirements
L Lúcio, S Rahman, CH Cheng, A Mavin
NASA Formal Methods Symposium, 427-434, 2017
142017
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
142011
Quantitative projection coverage for testing ml-enabled autonomous systems
CH Cheng, CH Huang, H Yasuoka
International Symposium on Automated Technology for Verification and …, 2018
122018
Towards quantitative metrics for architecture models
S Sehestedt, CH Cheng, E Bouwers
Proceedings of the WICSA 2014 Companion Volume, 1-4, 2014
122014
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
122012
Program repair suggestions from graphical state-transition specifications
F Wang, CH Cheng
International Conference on Formal Techniques for Networked and Distributed …, 2008
112008
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20