Updated on 2024/07/28

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
メールアドレス
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, via formal method-based approaches, such as verification and testing.

    Keyword:Formal methods, Formal verification, Software testing, Cyber-physical systems

    Research period: 2022.7 - 2023.7

Papers

  • 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)   2024.7

     More details

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

  • 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

    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

    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

    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

    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

    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

    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

    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

    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

    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

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

    DOI: 10.1109/TCAD.2018.2858463

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

  • 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

    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

    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

    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

  • 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

  • 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

  • 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

Presentations

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

    Zhenya Zhang

    2023.11 

     More details

    Event date: 2023.11

    Language:English   Presentation type:Oral presentation (general)  

    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)  

    Country:France  

  • Gaussian Process-Based Confidence Estimation for Hybrid System Falsification

    Zhenya Zhang, Paolo Arcaini

    2022.9 

     More details

    Event date: 2023.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    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)  

    Country:Japan  

Works

  • Foresee

    Zhenya Zhang, Paolo Arcaini

    2021.7

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

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

    2023.4 - 2026.4

    日本学術振興会 

      More details

    Authorship:Coinvestigator(s) 

    近年、複雑な制御、工業製造などは自動化から知能化にアップグレードの急速的な変革を伴い、 データ駆動型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

    日本学術振興会 

      More details

    Authorship:Principal investigator 

    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を活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究

    Grant number:23H03372  2023 - 2026

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

      More details

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

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

    Grant number:23K16865  2023 - 2025

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

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

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

    2019 - 2020

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

      More details

    Authorship:Principal investigator  Grant type:Joint research

Educational Activities

  • Computer programming exercise (Python)

Class subject

  • プログラミング演習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