| 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 | 65 | 2018 |
| 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 | 48 | 2020 |
| ARCH-COMP 2019 Category Report: Falsification. G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ... ARCH@ CPSIoTWeek, 129-140, 2019 | 43 | 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 | 40 | 2019 |
| 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 | 31 | 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 | 29 | 2021 |
| 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 | 25 | 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 | 23 | 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 | 19 | 2020 |
| Constraining counterexamples in hybrid system falsification: Penalty-based approaches Z Zhang, P Arcaini, I Hasuo NASA Formal Methods Symposium, 401-419, 2020 | 16 | 2020 |
| 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, 2023 | 13 | 2023 |
| 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 | 12 | 2021 |
| ARCH-COMP 2022 category report: Falsification with ubounded resources G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ... EPiC Series in Computing 90, 204-221, 2022 | 11 | 2022 |
| 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 | 10 | 2022 |
| Time-staging enhancement of hybrid system falsification G Ernst, I Hasuo, Z Zhang, S Sedwards arXiv preprint arXiv:1803.03866, 2018 | 10* | 2018 |
| 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, 2022 | 8 | 2022 |
| Gaussian process-based confidence estimation for hybrid system falsification Z Zhang, P Arcaini International Symposium on Formal Methods, 330-348, 2021 | 6 | 2021 |
| On the effectiveness of signal rescaling in hybrid system falsification Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao NASA Formal Methods Symposium, 392-399, 2021 | 6 | 2021 |
| TAT: Targeted backdoor attacks against visual object tracking Z Cheng, B Wu, Z Zhang, J Zhao Pattern Recognition 142, 109629, 2023 | 5 | 2023 |
| Online reset for signal temporal logic monitoring Z Zhang, P Arcaini, X Xie IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 4 | 2022 |
Paolo ArcainiNational Institute of InformaticsVerified email at nii.ac.jp
