| Maximum Resilience of Artificial Neural Networks CH Cheng, G Nührenberg, H Ruess Automated Technology for Verification and Analysis: 15th International …, 2017 | 334 | 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 | 92* | 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 | 79* | 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 | 64* | 2015 |
| 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 | 60 | 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 | 58 | 2008 |
| 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 | 54 | 2018 |
| 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 | 52 | 2023 |
| Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems CH Cheng, CH Huang, H Yasuoka Automated Technology for Verification and Analysis: 16th International …, 2018 | 51 | 2018 |
| 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 | 48 | 2017 |
| 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 | 46 | 2017 |
| 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 | 43 | 2018 |
| 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 | 35 | 2011 |
| Structural Synthesis for GXW Specifications CH Cheng, Y Hamza, H Ruess Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 32 | 2016 |
| EFSMT: A logical framework for cyber-physical systems CH Cheng, N Shankar, H Ruess, S Bensalem arXiv preprint arXiv:1306.3456, 2013 | 30 | 2013 |
| Deutsche Normungsroadmap Künstliche Intelligenz R Adler, A Bunte, S Burton, J Großmann, A Jaschke, P Kleen, JM Lorenz, ... DIN, 2022 | 27 | 2022 |
| 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 | 27* | 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 | 24 | 2014 |
| Towards Quantitative Metrics for Architecture Models S Sehestedt, CH Cheng, E Bouwers Proceedings of the WICSA 2014 Companion Volume, 1-4, 2014 | 22 | 2014 |
| Applied Verification: The Ptolemy Approach CH Cheng, T Fristoe, EA Lee | 22 | 2008 |
