Zhenya Zhang

Alıntı yapanlar

	Hepsi	2020 yılından bugüne
Alıntılar	739	702
h-endeksi	16	16
i10-endeksi	21	20

240

120

180

201820192020202120222023202420256 29 51 109 100 158 232 51

Genel erişim

Tümünü görüntüle

15 makale

6 makale

genel erişime açık olanlar

genel erişime açık olmayanlar

Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak

Katkıda bulunan yazarlar

Paolo ArcainiNational Institute of Informaticsnii.ac.jp üzerinde doğrulanmış e-posta adresine sahip
Ichiro HasuoProfessor of Computer Science, National Institute of Informaticsacm.org üzerinde doğrulanmış e-posta adresine sahip
Gidon ErnstSoftware and Computational Systems Lab, LMU Munichlmu.de üzerinde doğrulanmış e-posta adresine sahip
Jianjun ZhaoKyushu Universityait.kyushu-u.ac.jp üzerinde doğrulanmış e-posta adresine sahip
Sean SedwardsUniversity of Waterloouwaterloo.ca üzerinde doğrulanmış e-posta adresine sahip
Deyun LyuKyushu Universityacm.org üzerinde doğrulanmış e-posta adresine sahip
Claudio MenghiUniversity of Bergamo and McMaster Universityunibg.it üzerinde doğrulanmış e-posta adresine sahip
Shuncheng TangPhD Student, University of Science and Technology of Chinamail.ustc.edu.cn üzerinde doğrulanmış e-posta adresine sahip
Jie AnInstitute of Software, Chinese Academy of Sciences, Beijing, Chinaiscas.ac.cn üzerinde doğrulanmış e-posta adresine sahip
Peng WUState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciencesios.ac.cn üzerinde doğrulanmış e-posta adresine sahip
Xuan XieUniversity of Albertaualberta.ca üzerinde doğrulanmış e-posta adresine sahip
Fuyuki IshikawaAssociate Professor, National Institute of Informaticsnii.ac.jp üzerinde doğrulanmış e-posta adresine sahip
Ahmet CetinkayaShibaura Institute of Technologynii.ac.jp üzerinde doğrulanmış e-posta adresine sahip
Toru TakisakaUniversity of Electronic Science and Technology of Chinauestc.edu.cn üzerinde doğrulanmış e-posta adresine sahip
Xiao-Yi ZhangAssociate Professor, Beijing University of Science and Technologyustb.edu.cn üzerinde doğrulanmış e-posta adresine sahip
Thomas LaurentSFI Lero@School of Computer Science and Statistics, Trinity College Dublintcd.ie üzerinde doğrulanmış e-posta adresine sahip

Takip et

Zhenya Zhang

Kyushu University

ait.kyushu-u.ac.jp üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa

Temporal logic Hybrid systems Formal methods Software testing


Başlık Alıntılara göre sırala Yıla göre sırala Başlığa göre sırala	Alıntı yapanlar Alıntı yapanlar	Yıl
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	84	2023
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
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	52	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	48	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	46	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	39	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	36	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	27	2018
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	25	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	25	2021
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	24	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	23	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	23	2022
Tat: Targeted backdoor attacks against visual object tracking Z Cheng, B Wu, Z Zhang, J Zhao Pattern Recognition 142, 109629, 2023	20	2023
Constraining counterexamples in hybrid system falsification: Penalty-based approaches Z Zhang, P Arcaini, I Hasuo NASA Formal Methods Symposium, 401-419, 2020	17	2020
Arch-comp 2023 category report: Falsification C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ... 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023	16	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	13	2023
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	11	2023
Time-staging enhancement of hybrid system falsification G Ernst, I Hasuo, Z Zhang, S Sedwards Proceedings of the 7th International Workshop on Symbolic-Numeric Methods …, 2018	11*	2018

Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.

Makaleler 1–20

Yıllık alıntı sayısı

Mükerrer alıntılar

Birleştirilmiş alıntılar

Katkıda bulunan yazar ekleKatkıda bulunan yazarlar

Takip et

Alıntı yapanlar

Katkıda bulunan yazarlar