ZHANG ZHENYA 張振亜

Researcher Number	10971228
Other IDs
Affiliation (Current)	2025: 九州大学, システム情報科学研究院, 助教 2025: 国立情報学研究所, アーキテクチャ科学研究系, 特任研究員
Affiliation (based on the past Project Information) *help	2023 – 2025: 九州大学, システム情報科学研究院, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related Except Principal Investigator Basic Section 60050:Software-related
Keywords	Principal Investigator Cyber-physical systems / Formal specification / Counterexample / Quality assurance / Runtime verification / Cyber Physical Systems / Testing / Formal methods / Signal Temporal Logic / Monitoring … More Except Principal Investigator … More プログラム修正 / 自動修正 / テスト / サイバーフィジカルシステム / AI品質保証 Less

安全な物理情報システムのための反例解釈の理論と実装Principal Investigator
- Principal Investigator
  
  張振亜
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University
Testing, Analysis, and Repair of AI-enabled Cyber-Physical Systems
- Principal Investigator
  
  趙建軍
- Project Period (FY)
  2024 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University
Fine-Grained Monitoring of Signal Temporal Logic and Its Applications in Quality Assurance of Cyber Physical SystemsPrincipal Investigator
- Principal Investigator
  
  張振亜
- Project Period (FY)
  2023 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University

All 2025 2024 2023

All Journal Article Presentation

[Journal Article] Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification2025
- Author(s)
  Fukuda Kota、Zhang Guanqin、Zhang Zhenya, Sui Yulei、Zhao Jianjun
- Journal Title
  
  Design, Automation and Test in Europe Conference
  
  Volume: N/A
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] Boosting source code learning with text-oriented data augmentation: an empirical study2025
- Author(s)
  Dong Zeming、Hu Qiang、Guo Yuejun、Zhang Zhenya、Cordy Maxime、Papadakis Mike、Le Traon Yves、Zhao Jianjun
- Journal Title
  
  Empirical Software Engineering
  
  Volume: 30 Issue: 3 Pages: 1-1
- DOI
  10.1007/s10664-025-10624-2
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Journal Article] Automated Generation of Benchmarks for Falsification of STL Specifications2025
- Author(s)
  Yan Yipei、Lyu Deyun、Zhang Zhenya、Arcaini Paolo、Zhao Jianjun
- Journal Title
  
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  
  Volume: 0 Issue: 10 Pages: 1-1
- DOI
  10.1109/tcad.2025.3550410
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Journal Article] Automated Generation of Benchmarks for Falsification of STL Specifications2025
- Author(s)
  Yan Yipei、Lyu Deyun、Zhang Zhenya、Arcaini Paolo、Zhao Jianjun
- Journal Title
  
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  
  Volume: N/A
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] Optimization-Based Model Checking for Complex STL Specifications2024
- Author(s)
  Sato Sota、An Jie、Zhang Zhenya、Hasuo Ichiro
- Journal Title
  
  36th International Conference on Computer-Aided Verification. (CAV 2024)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track2024
- Author(s)
  Tang Shuncheng、Zhang Zhenya、Cetinkaya Ahmet、Arcaini Paolo
- Journal Title
  
  The 17th International Workshop on Search-Based and Fuzz Testing
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] Impact of V2V Communication on Robustness of Autonomous Driving Systems2024
- Author(s)
  Li Lejin、Zhang Xiao-Yi、Tang Shuncheng、Zhang Zhenya、Zhao Jianjun
- Journal Title
  
  2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops
  
  Volume: N/A Pages: 151-154
- DOI
  10.1109/issrew63542.2024.00073
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] CauMon: An Informative Online Monitor for Signal Temporal Logic2024
- Author(s)
  Zhang Zhenya、An Jie、Arcaini Paolo、Hasuo Ichiro
- Journal Title
  
  International Symposium on Formal Methods
  
  Volume: 14934 Pages: 286-304
- DOI
  10.1007/978-3-031-71177-0_18
- ISBN
  9783031711763, 9783031711770
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models2024
- Author(s)
  Tang Shuncheng、Zhang Zhenya、Zhou Jixiang、Lei Lei、Zhou Yuan、Xue Yinxing
- Journal Title
  
  Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering
  
  Volume: N/A Pages: 1497-1508
- DOI
  10.1145/3691620.3695520
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] On the effectiveness of hybrid pooling in mixup-based graph learning for language processing2024
- Author(s)
  Dong Zeming、Hu Qiang、Zhang Zhenya、Guo Yuejun、Cordy Maxime、Papadakis Mike、Traon Yves Le、Zhao Jianjun
- Journal Title
  
  Journal of Systems and Software
  
  Volume: 216 Pages: 112139-112139
- DOI
  10.1016/j.jss.2024.112139
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Journal Article] Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications2024
- Author(s)
  Lyu Deyun、 Zhang Zhenya、Arcaini Paolo、 Ishikawa Fuyuki、Laurent Thomas、Zhao Jianjun
- Journal Title
  
  The Genetic and Evolutionary Computation Conference (GECCO 2024)
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences2024
- Author(s)
  Lyu Deyun、Zhang Zhenya、Arcaini Paolo、Zhang Xiao-Yi、Ishikawa Fuyuki、Zhao Jianjun
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology
  
  Volume: - Issue: 4 Pages: 1-35
- DOI
  10.1145/3705307
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24H00714, KAKENHI-PROJECT-23K21657, KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062, KAKENHI-PROJECT-23K11062
[Journal Article] Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications2024
- Author(s)
  Lyu Deyun、Zhang Zhenya、Arcaini Paolo、Ishikawa Fuyuki、Laurent Thomas、Zhao Jianjun
- Journal Title
  
  Proceedings of the Genetic and Evolutionary Computation Conference
  
  Volume: N/A Pages: 1435-1444
- DOI
  10.1145/3638529.3654078
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K11062
[Journal Article] Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications2024
- Author(s)
  Sato Sota、An Jie、Zhang Zhenya、Hasuo Ichiro
- Journal Title
  
  International Conference on Computer Aided Verification
  
  Volume: 14683 Pages: 282-306
- DOI
  10.1007/978-3-031-65633-0_13
- ISBN
  9783031656323, 9783031656330
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] On the effectiveness of graph data augmentation for source code learning2024
- Author(s)
  Dong Zeming、Hu Qiang、Zhang Zhenya、Zhao Jianjun
- Journal Title
  
  Knowledge-Based Systems
  
  Volume: 285 Pages: 111328-111328
- DOI
  10.1016/j.knosys.2023.111328
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062
[Journal Article] Benchmarking Object Detection Robustness against Real-World Corruptions2024
- Author(s)
  Liu Jiawei、Wang Zhijie、Ma Lei、Fang Chunrong、Bai Tongtong、Zhang Xufan、Liu Jia、Chen Zhenyu
- Journal Title
  
  International Journal of Computer Vision
  
  Volume: 132 Issue: 10 Pages: 4398-4416
- DOI
  10.1007/s11263-024-02096-6
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-23K28062, KAKENHI-PROJECT-24K02920
[Journal Article] Online Causation Monitoring of Signal Temporal Logic2023
- Author(s)
  Zhang Zhenya、An Jie、Arcaini Paolo、Hasuo Ichiro
- Journal Title
  
  35th International Conference on Computer-Aided Verification. (CAV 2023)
  
  Volume: 13964 Pages: 62-84
- DOI
  10.1007/978-3-031-37706-8_4
- ISBN
  9783031377051, 9783031377068
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] TAT: Targeted backdoor attacks against visual object tracking2023
- Author(s)
  Cheng Ziyi、Wu Baoyuan、Zhang Zhenya、Zhao Jianjun
- Journal Title
  
  Pattern Recognition
  
  Volume: 142 Pages: 109629-109629
- DOI
  10.1016/j.patcog.2023.109629
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062
[Journal Article] EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing2023
- Author(s)
  Tang Shuncheng、Zhang Zhenya、Zhou Jixiang、Zhou Yuan、Li Yan-Fu、Xue Yinxing
- Journal Title
  
  2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE)
  
  Volume: - Pages: 309-320
- DOI
  10.1109/issre59848.2023.00054
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865
[Journal Article] ARCH-COMP23 Category Report: Falsification2023
- Author(s)
  Menghi Claudio、Arcaini Paolo、Baptista Walstan、Ernst Gidon、Fainekos Georgios、Formica Federico、Gon Sauvik、Khandait Tanmay、Kundu Atanu、Pedrielli Giulia、Peltom?ki Jarkko、Porres Ivan、Ray Rajarshi、Waga Masaki、Zhang Zhenya
- Journal Title
  
  EPiC Series in Computing
  
  Volume: 96 Pages: 151-169
- DOI
  10.29007/6nqs
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K17873, KAKENHI-PROJECT-23K16865
[Presentation] Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications2024
- Author(s)
  Lyu Deyun、Zhang Zhenya、Arcaini Paolo、Ishikawa Fuyuki、Laurent Thomas、Zhao Jianjun
- Organizer
  Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2024)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models2024
- Author(s)
  Tang Shuncheng、Zhang Zhenya、Zhou Jixiang、Lei Lei、Zhou Yuan、Xue Yinxing
- Organizer
  Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] CauMon: An Informative Online Monitor for Signal Temporal Logic2024
- Author(s)
  Zhang Zhenya
- Organizer
  International Symposium on Formal Methods
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865
[Presentation] Optimization-Based Model Checking and?Trace Synthesis for Complex STL Specifications2024
- Author(s)
  Sato Sota、An Jie、Zhang Zhenya、Hasuo Ichiro
- Organizer
  Gurfinkel, A., Ganesh, V. (eds) Computer Aided Verification. CAV 2024. Lecture Notes in Computer Science
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] CauMon: An Informative Online Monitor for Signal Temporal Logic2024
- Author(s)
  Zhang Zhenya、An Jie、Arcaini Paolo、Hasuo Ichiro
- Organizer
  Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M. (eds) Formal Methods. FM 2024, Lecture Note in Computer Science
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] Generative Model-Based Testing on Decision-Making Policies2023
- Author(s)
  Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
- Organizer
  The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing2023
- Author(s)
  Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Yuan Zhou, Yan-Fu Li and Yinxing Xue
- Organizer
  The 34rd International Symposium on Software Reliability Engineering (ISSRE 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] Online Causation Monitoring of Signal Temporal Logic2023
- Author(s)
  Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
- Organizer
  The 35th International Conference on Computer-Aided Verification (CAV 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] Falsification of AI-Enabled Hybrid Systems2023
- Author(s)
  Zhenya Zhang
- Organizer
  Shonan meeting No. 204 DevOps for CPS
- Invited
- Data Source
  KAKENHI-PROJECT-23K16865
[Presentation] Online Causation Monitoring of Signal Temporal Logic2023
- Author(s)
  Zhenya Zhang
- Organizer
  35th International Conference on Computer-Aided Verification. (CAV 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865
[Presentation] DeepRover: A Query-efficient Blackbox Attack for Deep Neural Networks2023
- Author(s)
  Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
- Organizer
  The 31st ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062

1. 趙建軍 (20299580)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
2. 鵜林尚靖 (80372762)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 蓮尾一郎 (60456762)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
4. 石川冬樹 (50455193)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
5. 馬雷 (70842061)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
6. 和賀正樹

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

ZHANG ZHENYA 張 振亜

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Testing, Analysis, and Repair of AI-enabled Cyber-Physical Systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Fine-Grained Monitoring of Signal Temporal Logic and Its Applications in Quality Assurance of Cyber Physical SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification2025

Author(s)

Journal Title

Data Source

[Journal Article] Boosting source code learning with text-oriented data augmentation: an empirical study2025

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Automated Generation of Benchmarks for Falsification of STL Specifications2025

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Automated Generation of Benchmarks for Falsification of STL Specifications2025

Author(s)

Journal Title

Data Source

[Journal Article] Optimization-Based Model Checking for Complex STL Specifications2024

Author(s)

Journal Title

Data Source

[Journal Article] TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track2024

Author(s)

Journal Title

Data Source

[Journal Article] Impact of V2V Communication on Robustness of Autonomous Driving Systems2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] CauMon: An Informative Online Monitor for Signal Temporal Logic2024

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On the effectiveness of hybrid pooling in mixup-based graph learning for language processing2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications2024

Author(s)

Journal Title

Data Source

[Journal Article] SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications2024

Author(s)

ZHANG ZHENYA 張振亜