| Maximum Resilience of Artificial Neural Networks CH Cheng, G Nührenberg, H Ruess Automated Technology for Verification and Analysis: 15th International …, 2017 | 294 | 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 | 76* | 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 | 61* | 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 | 58 | 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 | 50 | 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 | 47 | 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 | 41 | 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 | 40 | 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 | 40 | 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 | 39 | 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 | 34 | 2011 |
| Structural Synthesis for GXW Specifications CH Cheng, Y Hamza, H Ruess Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 29 | 2016 |
| 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 | 23* | 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 | 22 | 2014 |
| Applied Verification: The Ptolemy Approach CH Cheng, T Fristoe, EA Lee | 21 | 2008 |
| Deutsche Normungsroadmap Künstliche Intelligenz R Adler, A Bunte, S Burton, J Großmann, A Jaschke, P Kleen, JM Lorenz, ... DIN, 2022 | 20 | 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 | 18 | 2020 |
| Towards Quantitative Metrics for Architecture Models S Sehestedt, CH Cheng, E Bouwers Proceedings of the WICSA 2014 Companion Volume, 1-4, 2014 | 16 | 2014 |
