2024/07/28 更新

お知らせ

 

写真a

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

学位

  • 中国科学院大学

  • 総合研究大学院大学

経歴

  • 南洋理工大学

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

  • 研究テーマ：形式手法に基づき、形式検証やテスティングなどを使って複雑システム（例、物理情報システム）の品質保証に関する研究です。

    研究キーワード：形式手法、形式検証、ソフトウェアテスティング、物理情報システム

    研究期間： 2022年7月 - 2023年7月

論文

  • 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)   2024年7月

    　詳細を見る

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

  • 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

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

    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 招待 国際誌

    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 招待 国際誌

    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

  • 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

  • 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

  • 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

▼全件表示

講演・口頭発表等

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

    Zhenya Zhang

    2023年11月 

    　詳細を見る

    開催年月日： 2023年11月

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

    国名：日本国  

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

    Zhenya Zhang

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

    　詳細を見る

    開催年月日： 2023年7月

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

    国名：フランス共和国  

  • Gaussian Process-Based Confidence Estimation for Hybrid System Falsification

    Zhenya Zhang, Paolo Arcaini

    2022年9月 

    　詳細を見る

    開催年月日： 2023年6月

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

    国名：日本国  

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

    Zhenya Zhang, Paolo Arcaini, Xuan Xie

    International Conference on Embedded Software  2022年8月 

    　詳細を見る

    開催年月日： 2023年6月

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

    国名：日本国  

Works（作品等）

  • Foresee

    Zhenya Zhang, Paolo Arcaini

    2021年7月

産業財産権

特許権   出願件数: 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

▼全件表示

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

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

    2023年4月 - 2026年4月

    日本学術振興会 

    　 詳細を見る

    担当区分：研究分担者 

    近年、複雑な制御、工業製造などは自動化から知能化にアップグレードの急速的な変革を伴い、 データ駆動型AIをコントローラとして用いるサイバーフィジカルシステム(AI-CPS)が、産業界 で急速に発展と応用している。AI-CPS は、安全性を重視する多くの産業領域で採用されるため、 その品質保証は非常に重要である。今まで、従来の CPS 品質保証は広範囲に研究されているが、 AI-CPS の場合は、不確実性を持つ AI コンポーネント(特に、DNN など)は、制御されるプラン トの安全性を損なう可能性があるため、AI-CPS の品質保証に新たな課題をもたらしている。本研 究では、AI-CPSに対する新しい体系的な品質保証技術を確立することを目的としている。具体 的には、(1) AI-CPS のバグ検出するためのカバレッジによるテスト技術の開発、(2) バグの挙動 を分析するためのモデルベース分析手法の開発、(3) バグを自動的な修正技術の確立、(4) AI-CPS の複数の重要な応用分野を対象とする実証評価。本研究の進展により、AI-CPSにおける系統的 な品質保証技術及びその支援環境が整い、より信頼性の高いAI-CPSの構築が期待できる。

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

    2023年4月 - 2025年3月

    日本学術振興会 

    　 詳細を見る

    担当区分：研究代表者 

    Cyber-Physical Systems (CPS), which combine cyber and physical components, are increasingly deployed in safety-critical domains, such as transportation, healthcare, etc., and therefore, a surge of concerns arise about their quality assurance. However, verification of CPS is hard due to their continuous dynamics that yields infinite state space. As a countermeasure, lightweight formal methods, especially Signal Temporal Logic (STL) monitoring-based techniques, are widely adopted in practice. In this proposal, we first review the existing techniques and discuss their problems; then, based on the problems, we propose a scheme that refines the STL monitoring semantics and applies it in different applications in CPS quality assurance, including safety validation and fault analysis; lastly, we elaborate on 4 concrete topics and their schedules. Overall, this proposal aims to overcome the bottlenecks of the existing techniques and thus provide better support to the development of more reliable CPS products.

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

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

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

    　 詳細を見る

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

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

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

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

    　 詳細を見る

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

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

    2019年 - 2020年

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

    　 詳細を見る

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

教育活動概要

  • プログラミング演習（Python）

担当授業科目

  • プログラミング演習P

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

  • プログラミング演習P

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

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

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

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

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

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