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 (33)：

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
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao. Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. The Genetic and Evolutionary Computation Conference (GECCO 2024). 2024
Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini. TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track. The 17th International Workshop on Search-Based and Fuzz Testing. 2024
Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao. On the effectiveness of graph data augmentation for source code learning. Knowledge-Based Systems. 2024. 285
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, et al. ARCH-COMP 2023 Category Report: Falsification. 10th International Workshop on Applied Verification of Continuous and Hybrid Systems. 2023. 96. 151-169

ｍore...

Lectures and oral presentations (2)：

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

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