ZHANG ZHENYA

Affiliation and department：
Job title： Assistant Professor

Research field (4)： Software , Software , Software , Software

Research keywords (3)： Software engineering , Temporal logic , Formal methods

Research theme for competitive and other funds (3)：

Papers (38)：

Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao. SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences. ACM Transactions on Software Engineering and Methodology. 2024
Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, et al. ARCH-COMP 2024 Category Report: Falsification. Proceedings of the 11th International Workshop on Applied Verification for Continuous and Hybrid Systems. 2024. 103. 122-144
Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Lei Lei, Yuan Zhou, Yinxing Xue. LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models. The 39th IEEE/ACM International Conference on Automated Software Engineering. 2024. 1497-1508
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo. CauMon: An Informative Online Monitor for Signal Temporal Logic. International Symposium on Formal Methods. 2024. 14934. 286-304
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo. Optimization-Based Model Checking for Complex STL Specifications. 36th International Conference on Computer-Aided Verification. (CAV 2024). 2024

ｍore...

Lectures and oral presentations (4)：

Falsification of AI-Enabled Hybrid Systems.
(Shonan meeting No. 204 - DevOps for CPS 2023)
Online Causation Monitoring of Signal Temporal Logic
(35th International Conference on Computer-Aided Verification. 2023)
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification
(日本ソフトウェア科学会第39回大会 2022)
Online Reset for Signal Temporal Logic Monitoring
(International Conference on Embedded Software 2022)

Works (1)：

Education (3)：

2017 - 2020 The Graduate University for Advanced Studies School of Multidisciplinary Sciences Informatics
2014 - 2017 University of Chinese Academy of Sciences Computer science
2010 - 2014 Northwestern Polytechnical University Software Engineering

Professional career (1)：

Work history (8)：

2023/04 - 現在 National Institute of Informatics Guest Assistant Professor
2022/07 - 現在 Kyushu University Faculty of Information Science and Electrical Engineering Assistant Professor
2021/09 - 2022/06 Nanyang Technological University Research Fellow
2020/11 - 2021/06 Kyushu University Faculty of Information Science and Electrical Engineering
2017/11 - 2020/08 National Institute of Informatics

Show all

Awards (2)：

2024/11 - 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024) ACM SIGSOFT Distinguished Paper Award
2018/09 - ACM SIGBED International Conference on Embedded Software "Best Paper Award" nominee

Association Membership(s) (3)：

Association for Computing Machinery (ACM) , 日本ソフトウェア科学会 , Institute of Electrical and Electronics Engineers (IEEE)

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page