2025/06/30 更新

お知らせ

 

写真a

ジヤン　ジエンヤー
ZHANG ZHENYA
ZHANG ZHENYA
所属
システム情報科学研究院 情報知能工学部門 助教
工学部 電気情報工学科（併任）
システム情報科学府 情報理工学専攻（併任）
職名
助教
連絡先
メールアドレス
プロフィール
https://choshina.github.io/
ホームページ
外部リンク

研究分野

  • 情報通信 / ソフトウェア

学位

  • 中国科学院大学

  • 総合研究大学院大学

経歴

  • 南洋理工大学   

学歴

  • 総合研究大学院大学    

    2017年10月 - 2020年9月

研究テーマ・研究キーワード

  • 研究テーマ： 形式手法に基づき、形式検証やテストなどの手法を用いて複雑システム（例：物理情報システム、ニューラルネットワーク）の品質保証に関する研究を行なっています。

    研究キーワード： 形式手法、形式検証、ソフトウェア工学、物理情報システム、ニューラルネットワーク

    研究期間： 2022年7月 - 現在

受賞

  • 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

    　詳細を見る

    受賞区分：国際学会・会議・シンポジウム等の賞 

論文

  • Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees 査読 国際共著

    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月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences 査読 国際共著

    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月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

  • Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality 査読 国際共著

    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月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

  • Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification 査読 国際共著

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

    2025 Design, Automation & Test in Europe Conference (DATE)   1 - 7   2025年3月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.23919/DATE64628.2025.10992738

  • Automated Generation of Benchmarks for Falsification of STL Specifications 査読

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

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems   2025年3月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1109/TCAD.2025.3550410

  • 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

    Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering   1497 - 1508   2024年10月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    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 査読 国際共著

    Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

    International Symposium on Formal Methods   14934   286 - 304   2024年9月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • Optimization-Based Model Checking for Complex STL Specifications 査読 国際誌

    Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    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 査読 国際誌

    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月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1109/ISSRE59848.2023.00054

  • Online Causation Monitoring of Signal Temporal Logic 査読 国際誌

    Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

    35th International Conference on Computer Aided Verification   13964   62 - 84   2023年7月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • Online Reset for Signal Temporal Logic Monitoring 査読 国際誌

    Zhenya Zhang, Paolo Arcaini, Xuan Xie

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems   41   4421 - 4432   2022年8月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：日本語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1109/TCAD.2022.3197693

  • FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria 査読 国際誌

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

    IEEE Transactions on Software Engineering   2022年7月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1109/TSE.2022.3194640

  • Gaussian Process-Based Confidence Estimation for Hybrid System Falsification 査読 国際誌

    Zhenya Zhang, Paolo Arcaini

    International Symposium on Formal Methods   13047   330 - 348   2021年11月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    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 査読 国際誌

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

    International Conference on Computer Aided Verification   12759   595 - 618   2021年7月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • Hybrid system falsification under (in) equality constraints via search space transformation 査読 国際誌

    Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems   39 ( 11 )   3674 - 3685   2020年10月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1109/TCAD.2020.3013073

  • Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches 査読 国際誌

    Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

    NASA Formal Methods Symposium   12229   401 - 419   2020年5月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification 査読 国際誌

    Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini

    International Conference on Computer Aided Verification   11561   401 - 420   2019年7月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search 査読 国際誌

    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月

    　詳細を見る

    担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1109/TCAD.2018.2858463

    その他リンク： https://ieeexplore.ieee.org/abstract/document/8418450

  • Fault localization of AI-enabled cyber–physical systems by exploiting temporal neuron activation 査読 国際共著

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

  • PALM at the ICST 2025 Tool Competition–UAV Testing Track 査読 国際共著

    Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini

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

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1109/ICST62969.2025.10988994

  • Boosting source code learning with text-oriented data augmentation: an empirical study 査読 国際共著

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

    Empirical Software Engineering   30 ( 68 )   2025年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

  • Impact of V2V Communication on Robustness of Autonomous Driving Systems 査読 国際共著

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

    IEEE 35th International Symposium on Software Reliability Engineering Workshops   151 - 154   2024年10月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1109/ISSREW63542.2024.00073

  • On the effectiveness of hybrid pooling in mixup-based graph learning for language processing 査読 国際共著

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    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 査読 国際誌

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

    The Genetic and Evolutionary Computation Conference (GECCO 2024)   2024年7月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track 招待 査読 国際誌

    Shuncheng Tang、Zhenya Zhang、Ahmet Cetinkaya、Paolo Arcaini

    The 17th International Workshop on Search-Based and Fuzz Testing   2024年4月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • On the effectiveness of graph data augmentation for source code learning 査読 国際誌

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

    Knowledge-Based Systems   285   2024年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

  • ARCH-COMP 2023 Category Report: Falsification 招待 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • TAT: Targeted Backdoor Attacks against Visual Object Tracking 査読 国際誌

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

    Pattern Recognition   2023年4月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

  • MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation 査読 国際誌

    #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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1109/SANER56733.2023.00043

  • A Survey on Automated Driving System Testing: Landscapes and Trends 査読 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

  • ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 招待 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • When cyber-physical systems meet AI: a benchmark, an evaluation, and a way forward 査読 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • A Robustness-Based Confidence Measure for Hybrid System Falsification 査読 国際誌

    Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems   2022年8月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1109/TCAD.2022.3201157

  • ARCH-COMP 2021 Category Report: Falsification with Validation of Results 招待 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.29007/xwl1

  • Issue Categorization and Analysis of an Open-Source Driving Assistant System 査読 国際誌

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

    2021 IEEE International Symposium on Software Reliability Engineering Workshops   148 - 153   2021年10月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1109/ISSREW53611.2021.00057

  • Time-staging enhancement of hybrid system falsification 査読 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • Falsification of hybrid systems using adaptive probabilistic search 招待 査読 国際誌

    Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo

    ACM Transactions on Modeling and Computer Simulation   31 ( 18 )   1 - 22   2021年7月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

  • On the effectiveness of signal rescaling in hybrid system falsification 査読 国際誌

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

    NASA Formal Methods Symposium   12673   392 - 399   2021年5月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • Arch-comp 2020 category report: Falsification 招待 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.29007/trr1

  • Fast falsification of hybrid systems using probabilistically adaptive input 査読 国際誌

    Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo

    International Conference on Quantitative Evaluation of Systems   165 - 181   2019年9月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • ARCH-COMP 2019 Category Report: Falsification 招待 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • ARCH-COMP18 Category Report: Results on the Falsification Benchmarks 招待 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.29007/t85q

  • Interleaving-Tree Based Fine-Grained Linearizability Fault Localization 査読 国際誌

    Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang

    International Symposium on Dependable Software Engineering: Theories, Tools, and Applications   10998   108 - 126   2018年8月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

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

  • Time-staging enhancement of hybrid system falsification 査読 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1109/MT-CPS.2018.00008

  • Localization of linearizability faults on the coarse-grained level 査読 国際誌

    Zhenya Zhang, Peng Wu, Yu Zhang

    International Journal of Software Engineering and Knowledge Engineering   27 ( 09n10 )   1483 - 1505   2017年12月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

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

▼全件表示

書籍等出版物

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

    Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo（担当：共著 範囲:Chapter 1）

    CRC Press  2025年5月    （ ISBN:9781003093350 ）

    　詳細を見る

    総ページ数：366   記述言語：英語   著書種別：学術書

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

講演・口頭発表等

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

    張振亜

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

    　詳細を見る

    開催年月日： 2025年7月

    記述言語：日本語   会議種別：口頭発表（招待・特別）  

    開催地：ライムリゾート箱根   国名：日本国  

  • Falsification of AI-Enabled Hybrid Systems. 招待 国際会議

    Zhenya Zhang

    Shonan meeting No. 204 – DevOps for CPS  2023年11月 

    　詳細を見る

    開催年月日： 2023年11月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Hayama   国名：日本国  

  • Online Causation Monitoring of Signal Temporal Logic 国際会議

    Zhenya Zhang

    35th International Conference on Computer-Aided Verification.  2023年7月 

    　詳細を見る

    開催年月日： 2023年7月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Paris   国名：フランス共和国  

  • Online Reset for Signal Temporal Logic Monitoring 国際会議

    Zhenya Zhang, Paolo Arcaini, Xuan Xie

    International Conference on Embedded Software  2022年8月 

    　詳細を見る

    開催年月日： 2023年6月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Online   国名：日本国  

  • Gaussian Process-Based Confidence Estimation for Hybrid System Falsification

    Zhenya Zhang, Paolo Arcaini

    日本ソフトウェア科学会第39回大会  2022年9月 

    　詳細を見る

    開催年月日： 2023年6月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：南山大学   国名：日本国  

Works（作品等）

  • Foresee

    Zhenya Zhang, Paolo Arcaini

    2021年7月

    　詳細を見る

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

産業財産権

特許権   出願件数: 0件   登録件数: 1件
実用新案権   出願件数: 0件   登録件数: 0件
意匠権   出願件数: 0件   登録件数: 0件
商標権   出願件数: 0件   登録件数: 0件

所属学協会

  • Institute of Electrical and Electronics Engineers (IEEE)

  • Association for Computing Machinery (ACM)

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

学術貢献活動

  • Co-Chair of Mentoring Workshop 国際学術貢献

    22nd International Symposium on Automated Technology for Verification and Analysis  （ Kyoto Japan ） 2024年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee 国際学術貢献

    ACM SIGBED International Conference on Embedded Software  （ Raleigh UnitedStatesofAmerica ） 2024年9月 - 2024年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee 国際学術貢献

    17th International Conference on the Quality of Information and Communications Technology  （ Pisa Italy ） 2024年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee 国際学術貢献

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

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee 国際学術貢献

    4th International Workshop on Artificial Intelligence in Software Testing  （ Toronto Canada ） 2024年5月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Registration Chair 国際学術貢献

    The 27th ACM International Systems and Software Product Line Conference (SPLC 2023)  （ National Institute of Informatics Japan ） 2023年8月 - 2023年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 学術論文等の審査

    役割：査読

    2022年

    　詳細を見る

    種別：査読等 

    外国語雑誌　査読論文数：3

    国際会議録　査読論文数：2

▼全件表示

共同研究・競争的資金等の研究課題

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

    研究課題/領域番号：JPMJBY24D7  2025年6月 - 2030年5月

    科学技術振興機構  国家戦略分野の若手研究者及び博士後期課程学生の育成事業 

    　 詳細を見る

    担当区分：研究代表者  資金種別：科研費以外の競争的資金

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

    研究課題/領域番号：25K21179  2025年4月 - 2028年3月

    日本学術振興会  科学研究費助成事業  若手研究

    　 詳細を見る

    担当区分：研究代表者  資金種別：科研費

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

    研究課題/領域番号：23H03372  2023年4月 - 2026年3月

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    　 詳細を見る

    担当区分：研究分担者  資金種別：科研費

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

    研究課題/領域番号：23K16865  2023年4月 - 2025年3月

    日本学術振興会  科学研究費助成事業  若手研究

    　 詳細を見る

    担当区分：研究代表者  資金種別：科研費

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

    2019年 - 2020年

    日本学術振興会  特別研究員

    　 詳細を見る

    担当区分：研究代表者  資金種別：共同研究

教育活動概要

  • 九州大学基幹教育院の夏学期プログラミング演習（Python）を担当し、九州大学大学院および他大学のコースでもGuest Lecturerとして授業を担当した経験がある。

教育活動に関する受賞

  • 該当なし

       

担当授業科目

  • プログラミング演習P

    2025年6月 - 2025年8月   夏学期

  • 機械学習工学特論

    2025年6月   夏学期

  • 工学概論

    2025年4月   前期

  • プログラミング演習P

    2024年6月 - 2024年8月   夏学期

  • プログラミング演習P

    2023年6月 - 2023年8月   夏学期

他大学・他機関等の客員・兼任・非常勤講師等

  • 2024年  国立情報学研究所  区分:客員教員  国内外の区分:国内 

    学期、曜日時限または期間：2024.04-2025.04

  • 2023年  国立情報学研究所  区分:客員教員  国内外の区分:国内 

    学期、曜日時限または期間：2023.04-2024.04