Updated on 2025/06/11

Information

 

写真a

 
ZHANG ZHENYA
 
Organization
Faculty of Information Science and Electrical Engineering Department of Advanced Information Technology Assistant Professor
School of Engineering Department of Electrical Engineering and Computer Science（Concurrent）
Graduate School of Information Science and Electrical Engineering Department of Information Science and Technology（Concurrent）
Title
Assistant Professor
Contact information
メールアドレス
Profile
https://choshina.github.io/
Homepage
External link

Degree

  • University of Chinese Academy of Sciences

  • SOKENDAI (The Graduate University for Advanced Studies)

Research History

  • 南洋理工大学   

Research Interests・Research Keywords

  • Research theme： My research mainly involves the quality assurance of complex systems, such as cyber-physical systems and neural networks, via formal method-based approaches, such as verification and testing.

    Keyword： Formal methods, Formal verification, Software engineering, Cyber-physical systems, neural networks

    Research period： 2022.7 - Present

Awards

  • ACM SIGSOFT Distinguished Paper Award

    2024.10   IEEE/ACM International Conference on Automated Software Engineering   LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models

    Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Lei Lei, Yuan Zhou, Yinxing Xue

    　More details

    Award type：Award from international society, conference, symposium, etc. 

Papers

  • Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees Reviewed International coauthorship

    Guanqin Zhang, Kota Fukuda, Zhenya Zhang, Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui

    39th European Conference on Object-Oriented Programming (ECOOP 2025)   2025.6

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (international conference proceedings)  

  • SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences Reviewed International coauthorship

    Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao

    ACM Transactions on Software Engineering and Methodology   34 ( 4 )   1 - 35   2025.4

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1145/3705307

  • Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality Reviewed International coauthorship

    Guanqin Zhang, Zhenya Zhang, HMN Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui

    Proceedings of the ACM on Programming Languages   9   85 - 112   2025.4

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1145/3720417

  • Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Reviewed International coauthorship

    Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao

    2025 Design, Automation & Test in Europe Conference (DATE)   1 - 7   2025.3

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.23919/DATE64628.2025.10992738

  • Automated Generation of Benchmarks for Falsification of STL Specifications Reviewed

    Yipei Yan, Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Jianjun Zhao

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems   2025.3

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (scientific journal)  

    DOI： 10.1109/TCAD.2025.3550410

  • LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models Reviewed International coauthorship

    Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Lei Lei, Yuan Zhou, Yinxing Xue

    Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering   1497 - 1508   2024.10

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (international conference proceedings)  

    Autonomous driving systems (ADS) are safety-critical and require comprehensive testing before their deployment on public roads. While existing testing approaches primarily aim at the criticality of scenarios, they often overlook the diversity of the generated scenarios that is also important to reflect system defects in different aspects. To bridge the gap, we propose LeGEND, that features a top-down fashion of scenario generation: it starts with abstract functional scenarios, and then steps downwards to logical and concrete scenarios, such that scenario diversity can be controlled at the functional level. However, unlike logical scenarios that can be formally described, functional scenarios are often documented in natural languages (e.g., accident reports) and thus cannot be precisely parsed and processed by computers. To tackle that issue, LeGEND leverages the recent advances of large language models (LLMs) to transform textual functional scenarios to formal logical scenarios. To mitigate the distraction of useless information in functional scenario description, we devise a two-phase transformation that features the use of an intermediate language; consequently, we adopt two LLMs in LeGEND, one for extracting information from functional scenarios, the other for converting the extracted information to formal logical scenarios. We experimentally evaluate LeGEND on Apollo, an industry-grade ADS from Baidu. Evaluation results show that LeGEND can effectively identify critical scenarios, and compared to baseline approaches, LeGEND exhibits evident superiority in diversity of generated scenarios. Moreover, we also demonstrate the advantages of our two-phase transformation framework, and the accuracy of the adopted LLMs.

    DOI： https://doi.org/10.1145/3691620.3695520

  • CauMon: An Informative Online Monitor for Signal Temporal Logic Reviewed International coauthorship

    Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

    International Symposium on Formal Methods   14934   286 - 304   2024.9

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-031-71177-0_18

  • Optimization-Based Model Checking for Complex STL Specifications Reviewed International journal

    Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

    36th International Conference on Computer-Aided Verification. (CAV 2024)   14683   282 - 306   2024.7

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-031-65633-0_13

  • EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing Reviewed International journal

    Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Yuan Zhou, Yan-Fu Li, Yinxing Xue

    IEEE 34th International Symposium on Software Reliability Engineering (ISSRE 2023)   309 - 320   2023.10

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.1109/ISSRE59848.2023.00054

  • Online Causation Monitoring of Signal Temporal Logic Reviewed International journal

    Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

    35th International Conference on Computer Aided Verification   13964   62 - 84   2023.7

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-031-37706-8_4

  • Online Reset for Signal Temporal Logic Monitoring Reviewed International journal

    Zhenya Zhang, Paolo Arcaini, Xuan Xie

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems   41   4421 - 4432   2022.8

    　More details

    Authorship：Lead author,　Corresponding author   Language：Japanese   Publishing type：Research paper (scientific journal)  

    DOI： 10.1109/TCAD.2022.3197693

  • FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria Reviewed International journal

    Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

    IEEE Transactions on Software Engineering   2022.7

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (scientific journal)  

    DOI： 10.1109/TSE.2022.3194640

  • Gaussian Process-Based Confidence Estimation for Hybrid System Falsification Reviewed International journal

    Zhenya Zhang, Paolo Arcaini

    International Symposium on Formal Methods   13047   330 - 348   2021.11

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-030-90870-6_18

  • Effective hybrid system falsification using monte carlo tree search guided by QB-robustness Reviewed International journal

    Zhenya Zhang, #Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

    International Conference on Computer Aided Verification   12759   595 - 618   2021.7

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-030-81685-8_29

  • Hybrid system falsification under (in) equality constraints via search space transformation Reviewed International journal

    Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems   39 ( 11 )   3674 - 3685   2020.10

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (scientific journal)  

    DOI： 10.1109/TCAD.2020.3013073

  • Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches Reviewed International journal

    Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

    NASA Formal Methods Symposium   12229   401 - 419   2020.5

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-030-55754-6_24

  • Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification Reviewed International journal

    Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini

    International Conference on Computer Aided Verification   11561   401 - 420   2019.7

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-030-25540-4_23

  • Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search Reviewed International journal

    Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems   37 ( 11 )   2894 - 2905   2018.7

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (scientific journal)  

    DOI： 10.1109/TCAD.2018.2858463

    Other Link： https://ieeexplore.ieee.org/abstract/document/8418450

  • Fault localization of AI-enabled cyber–physical systems by exploiting temporal neuron activation Reviewed International coauthorship

    Deyun Lyu, Yi Li, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao

    Journal of Systems and Software   229   1 - 16   2025.5

    　More details

    Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1016/j.jss.2025.112475

  • PALM at the ICST 2025 Tool Competition–UAV Testing Track Reviewed International coauthorship

    Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini

    2025 IEEE Conference on Software Testing, Verification and Validation (ICST)   823 - 824   2025.3

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.1109/ICST62969.2025.10988994

  • Boosting source code learning with text-oriented data augmentation: an empirical study Reviewed International coauthorship

    Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

    Empirical Software Engineering   30 ( 68 )   2025.2

    　More details

    Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1007/s10664-025-10624-2

  • Impact of V2V Communication on Robustness of Autonomous Driving Systems Reviewed International coauthorship

    Lejin Li, Xiao-Yi Zhang, Shuncheng Tang, Zhenya Zhang, Jianjun Zhao

    IEEE 35th International Symposium on Software Reliability Engineering Workshops   151 - 154   2024.10

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.1109/ISSREW63542.2024.00073

  • On the effectiveness of hybrid pooling in mixup-based graph learning for language processing Reviewed International coauthorship

    Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

    Journal of Systems and Software   216   1 - 15   2024.10

    　More details

    Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1016/j.jss.2024.112139

  • Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications Reviewed International journal

    #Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao

    The Genetic and Evolutionary Computation Conference (GECCO 2024)   2024.7

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

  • TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track Invited Reviewed International journal

    Shuncheng Tang、Zhenya Zhang、Ahmet Cetinkaya、Paolo Arcaini

    The 17th International Workshop on Search-Based and Fuzz Testing   2024.4

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

  • On the effectiveness of graph data augmentation for source code learning Reviewed International journal

    #Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao

    Knowledge-Based Systems   285   2024.2

    　More details

    Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1016/j.knosys.2023.111328

  • ARCH-COMP 2023 Category Report: Falsification Invited International journal

    Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang

    10th International Workshop on Applied Verification of Continuous and Hybrid Systems.   96   151 - 169   2023.10

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.29007/6nqs

  • TAT: Targeted Backdoor Attacks against Visual Object Tracking Reviewed International journal

    #Ziyi Cheng, @Baoyuan Wu, Zhenya Zhang, Jianjun Zhao

    Pattern Recognition   2023.4

    　More details

    Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1016/j.patcog.2023.109629

  • MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation Reviewed International journal

    #Zeming Dong, @Qiang Hu, @Yuejun Guo, @Maxime Cordy, @Mike Papadakis, Zhenya Zhang, @Yves Le Traon, Jianjun Zhao

    30th IEEE International Conference on Software Analysis, Evolution and Reengineering   379 - 390   2023.3

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.1109/SANER56733.2023.00043

  • A Survey on Automated Driving System Testing: Landscapes and Trends Reviewed International journal

    Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu

    ACM Transactions on Software Engineering and Methodology   2023.2

    　More details

    Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1145/3579642

  • ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources Invited International journal

    Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang

    International Workshop on Applied Verification of Continuous and Hybrid Systems   90   204 - 221   2022.12

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.29007/fhnk

  • When cyber-physical systems meet AI: a benchmark, an evaluation, and a way forward Reviewed International journal

    Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma

    Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice   343 - 352   2022.11

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

  • A Robustness-Based Confidence Measure for Hybrid System Falsification Reviewed International journal

    Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems   2022.8

    　More details

    Language：English   Publishing type：Research paper (scientific journal)  

    DOI： 10.1109/TCAD.2022.3201157

  • ARCH-COMP 2021 Category Report: Falsification with Validation of Results Invited International journal

    Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

    8th International Workshop on Applied Verification of Continuous and Hybrid Systems   80   133 - 152   2021.12

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.29007/xwl1

  • Issue Categorization and Analysis of an Open-Source Driving Assistant System Reviewed International journal

    Shuncheng Tang, Zhenya Zhang, Jia Tang, Lei Ma, Yinxing Xue

    2021 IEEE International Symposium on Software Reliability Engineering Workshops   148 - 153   2021.10

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.1109/ISSREW53611.2021.00057

  • Time-staging enhancement of hybrid system falsification Reviewed International journal

    Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards

    The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT   25 - 43   2021.8

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.4204/EPTCS.361.5

  • Falsification of hybrid systems using adaptive probabilistic search Invited Reviewed International journal

    Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo

    ACM Transactions on Modeling and Computer Simulation   31 ( 18 )   1 - 22   2021.7

    　More details

    Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1145/3459605

  • On the effectiveness of signal rescaling in hybrid system falsification Reviewed International journal

    Zhenya Zhang, #Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

    NASA Formal Methods Symposium   12673   392 - 399   2021.5

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-030-76384-8_24

  • Arch-comp 2020 category report: Falsification Invited International journal

    Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrinelli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

    7th International Workshop on Applied Verification of Continuous and Hybrid Systems   74   140 - 152   2020.9

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.29007/trr1

  • Fast falsification of hybrid systems using probabilistically adaptive input Reviewed International journal

    Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo

    International Conference on Quantitative Evaluation of Systems   165 - 181   2019.9

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-030-30281-8_10

  • ARCH-COMP 2019 Category Report: Falsification Invited International journal

    Gidon Ernst, Paolo Arcaini, Alexandre Donze, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

    6th International Workshop on Applied Verification of Continuous and Hybrid Systems   61   129 - 140   2019.5

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

  • ARCH-COMP18 Category Report: Results on the Falsification Benchmarks Invited International journal

    Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards

    5th International Workshop on Applied Verification of Continuous and Hybrid Systems   54   104 - 109   2018.9

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.29007/t85q

  • Interleaving-Tree Based Fine-Grained Linearizability Fault Localization Reviewed International journal

    Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang

    International Symposium on Dependable Software Engineering: Theories, Tools, and Applications   10998   108 - 126   2018.8

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： https://doi.org/10.1007/978-3-319-99933-3_7

  • Time-staging enhancement of hybrid system falsification Reviewed International journal

    Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards

    2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)   3 - 4   2018.8

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.1109/MT-CPS.2018.00008

  • Localization of linearizability faults on the coarse-grained level Reviewed International journal

    Zhenya Zhang, Peng Wu, Yu Zhang

    International Journal of Software Engineering and Knowledge Engineering   27 ( 09n10 )   1483 - 1505   2017.12

    　More details

    Language：English   Publishing type：Research paper (scientific journal)  

    DOI： https://doi.org/10.1142/S0218194017400071

▼display all

Books

  • Optimisation-Based Falsification—Showcasing Black-Box Techniques for System Safety

    Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo（Role：Joint authorChapter 1）

    CRC Press  2025.5    （ ISBN:9781003093350 ）

    　More details

    Total pages：366   Language：English   Book type：Scholarly book

    DOI： https://doi.org/10.1201/9781003093350

Presentations

  • LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models Invited

    Zhenya Zhang

    第8回機械学習工学ワークショップ（MLSE夏合宿2025）  2025.7  機械学習工学研究会

    　More details

    Event date： 2025.7

    Language：Japanese   Presentation type：Oral presentation (invited, special)  

    Venue：ライムリゾート箱根   Country：Japan  

  • Falsification of AI-Enabled Hybrid Systems. Invited International conference

    Zhenya Zhang

    Shonan meeting No. 204 – DevOps for CPS  2023.11 

    　More details

    Event date： 2023.11

    Language：English   Presentation type：Oral presentation (general)  

    Venue：Hayama   Country：Japan  

  • Online Causation Monitoring of Signal Temporal Logic International conference

    Zhenya Zhang

    35th International Conference on Computer-Aided Verification.  2023.7 

    　More details

    Event date： 2023.7

    Language：English   Presentation type：Oral presentation (general)  

    Venue：Paris   Country：France  

  • Gaussian Process-Based Confidence Estimation for Hybrid System Falsification

    Zhenya Zhang, Paolo Arcaini

    日本ソフトウェア科学会第39回大会  2022.9 

    　More details

    Event date： 2023.6

    Language：Japanese   Presentation type：Oral presentation (general)  

    Venue：南山大学   Country：Japan  

  • Online Reset for Signal Temporal Logic Monitoring International conference

    Zhenya Zhang, Paolo Arcaini, Xuan Xie

    International Conference on Embedded Software  2022.8 

    　More details

    Event date： 2023.6

    Language：English   Presentation type：Oral presentation (general)  

    Venue：Online   Country：Japan  

Works

  • Foresee

    Zhenya Zhang, Paolo Arcaini

    2021.7

    　More details

    Artifact Evaluation for Paper "Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness"

Industrial property rights

Patent   Number of applications: 0   Number of registrations: 1
Utility model   Number of applications: 0   Number of registrations: 0
Design   Number of applications: 0   Number of registrations: 0
Trademark   Number of applications: 0   Number of registrations: 0

Professional Memberships

  • Institute of Electrical and Electronics Engineers (IEEE)

  • Association for Computing Machinery (ACM)

  • 日本ソフトウェア科学会

Academic Activities

  • Co-Chair of Mentoring Workshop International contribution

    22nd International Symposium on Automated Technology for Verification and Analysis  （ Kyoto Japan ） 2024.10

    　More details

    Type：Competition, symposium, etc. 

  • Program Committee International contribution

    ACM SIGBED International Conference on Embedded Software  （ Raleigh UnitedStatesofAmerica ） 2024.9 - 2024.10

    　More details

    Type：Competition, symposium, etc. 

  • Program Committee International contribution

    17th International Conference on the Quality of Information and Communications Technology  （ Pisa Italy ） 2024.9

    　More details

    Type：Competition, symposium, etc. 

  • Program Committee International contribution

    25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems  （ Copenhagen Denmark ） 2024.6

    　More details

    Type：Competition, symposium, etc. 

  • Program Committee International contribution

    4th International Workshop on Artificial Intelligence in Software Testing  （ Toronto Canada ） 2024.5

    　More details

    Type：Competition, symposium, etc. 

  • Registration Chair International contribution

    The 27th ACM International Systems and Software Product Line Conference (SPLC 2023)  （ National Institute of Informatics Japan ） 2023.8 - 2023.9

    　More details

    Type：Competition, symposium, etc. 

  • Screening of academic papers

    Role(s)： Peer review

    2022

    　More details

    Type：Peer review 

    Number of peer-reviewed articles in foreign language journals：3

    Proceedings of International Conference Number of peer-reviewed papers：2

▼display all

Research Projects

  • 反例向き、効率と保証を両立するニューラルネットワーク検証技術の開発

    Grant number：JPMJBY24D7  2025.6 - 2030.5

    Japan Science and Technology Agency  Broadening Opportunities for Outstanding young researchers and doctoral students in STrategic areas 

    　 More details

    Authorship：Principal investigator  Grant type：Competitive funding other than Grants-in-Aid for Scientific Research

  • 安全な物理情報システムのための反例解釈の理論と実装

    Grant number：25K21179  2025.4 - 2028.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Early-Career Scientists

    　 More details

    Authorship：Principal investigator  Grant type：Scientific research funding

  • AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究

    Grant number：23H03372  2023.4 - 2026.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

    　 More details

    Authorship：Coinvestigator(s)  Grant type：Scientific research funding

  • 信号時相論理の細粒度モニタリング及び物理情報システム品質保証への応用

    Grant number：23K16865  2023.4 - 2025.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Early-Career Scientists

    　 More details

    Authorship：Principal investigator  Grant type：Scientific research funding

  • 形式手法とヒューリスティクスの組み合わせによる物理情報システムの効率的な品質保証

    2019 - 2020

    Japan Society for the Promotion of Science  Research Fellowships for Young Scientists

    　 More details

    Authorship：Principal investigator  Grant type：Joint research

Educational Activities

  • He teaches the summer semester programming exercise (Python) at Kyushu University, Faculty of Arts and Science and has also served as a guest lecturer at Kyushu University's Graduate School and at other universities.

Class subject

  • プログラミング演習P

    2025.6 - 2025.8   Summer quarter

  • 機械学習工学特論

    2025.6   Summer quarter

  • 工学概論

    2025.4   First semester

  • プログラミング演習P

    2024.6 - 2024.8   Summer quarter

  • プログラミング演習P

    2023.6 - 2023.8   Summer quarter

Visiting, concurrent, or part-time lecturers at other universities, institutions, etc.

  • 2024  国立情報学研究所  Classification:Affiliate faculty  Domestic/International Classification:Japan 

    Semester, Day Time or Duration：2024.04-2025.04

  • 2023  国立情報学研究所  Classification:Affiliate faculty  Domestic/International Classification:Japan 

    Semester, Day Time or Duration：2023.04-2024.04