| Two-layered falsification of hybrid systems guided by monte carlo tree search Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 73 | 2018 |
| A survey on automated driving system testing: Landscapes and trends S Tang, Z Zhang, Y Zhang, J Zhou, Y Guo, S Liu, S Guo, YF Li, L Ma, ... ACM Transactions on Software Engineering and Methodology 32 (5), 1-62, 2023 | 58 | 2023 |
| Arch-comp 2020 category report: Falsification G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ... EPiC Series in Computing, 2020 | 49 | 2020 |
| ARCH-COMP 2019 Category Report: Falsification. G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ... ARCH@ CPSIoTWeek, 129-140, 2019 | 48 | 2019 |
| Fast falsification of hybrid systems using probabilistically adaptive input G Ernst, S Sedwards, Z Zhang, I Hasuo Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019 | 45 | 2019 |
| Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao International Conference on Computer Aided Verification, 595-618, 2021 | 39 | 2021 |
| Multi-armed bandits for boolean connectives in hybrid system falsification Z Zhang, I Hasuo, P Arcaini Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 36 | 2019 |
| ARCH-COMP 2021 Category Report: Falsification with Validation of Results. G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ... ARCH@ ADHS, 133-152, 2021 | 34 | 2021 |
| ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos, G Ernst, Z Zhang, ... ARCH@ ADHS, 104-109, 2018 | 25 | 2018 |
| Hybrid system falsification under (in) equality constraints via search space transformation Z Zhang, P Arcaini, I Hasuo IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 23 | 2020 |
| Arch-comp 2022 category report: Falsification with ubounded resources G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ... Proceedings of 9th International Workshop on Applied Verification of …, 2022 | 20 | 2022 |
| Falsification of hybrid systems using adaptive probabilistic search G Ernst, S Sedwards, Z Zhang, I Hasuo ACM Transactions on Modeling and Computer Simulation (TOMACS) 31 (3), 1-22, 2021 | 19 | 2021 |
| When cyber-physical systems meet AI: A benchmark, an evaluation, and a way forward J Song, D Lyu, Z Zhang, Z Wang, T Zhang, L Ma Proceedings of the 44th International Conference on Software Engineering …, 2022 | 18 | 2022 |
| Constraining counterexamples in hybrid system falsification: Penalty-based approaches Z Zhang, P Arcaini, I Hasuo NASA Formal Methods Symposium, 401-419, 2020 | 17 | 2020 |
| FalsifAI: Falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao IEEE Transactions on Software Engineering 49 (4), 1842-1859, 2022 | 16 | 2022 |
| Tat: Targeted backdoor attacks against visual object tracking Z Cheng, B Wu, Z Zhang, J Zhao Pattern Recognition 142, 109629, 2023 | 15 | 2023 |
| ARCH-COMP 2023 Category Report: Falsification C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ... Proceedings of 10th International Workshop on Applied 96, 151-169, 2023 | 11 | 2023 |
| Time-staging enhancement of hybrid system falsification G Ernst, I Hasuo, Z Zhang, S Sedwards arXiv preprint arXiv:1803.03866, 2018 | 11* | 2018 |
| Boosting source code learning with data augmentation: An empirical study Z Dong, Q Hu, Y Guo, Z Zhang, M Cordy, M Papadakis, YL Traon, J Zhao arXiv preprint arXiv:2303.06808, 2023 | 10 | 2023 |
| MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation Z Dong, Q Hu, Y Guo, M Cordy, M Papadakis, Z Zhang, Y Le Traon, ... 2023 IEEE International Conference on Software Analysis, Evolution and …, 2023 | 8 | 2023 |
Paolo ArcainiNational Institute of InformaticsBestätigte E-Mail-Adresse bei nii.ac.jp
