ZHANG ZHENYA 張振亜

Researcher Number	10971228
Other IDs
Affiliation (Current)	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)
  2023 – 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 2024 2023

All Journal Article Presentation

[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] 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] 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] 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] 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] 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
[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

1. 趙建軍 (20299580)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 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] TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track2024

Author(s)

Journal Title

Data Source

[Journal Article] On the effectiveness of graph data augmentation for source code learning2024

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] Optimization-Based Model Checking for Complex STL Specifications2024

Author(s)

Journal Title

Data Source

[Journal Article] Online Causation Monitoring of Signal Temporal Logic2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] TAT: Targeted backdoor attacks against visual object tracking2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] ARCH-COMP23 Category Report: Falsification2023

Author(s)

Journal Title

DOI

Data Source

[Presentation] Falsification of AI-Enabled Hybrid Systems2023

Author(s)

Organizer

Data Source

[Presentation] Online Causation Monitoring of Signal Temporal Logic2023

Author(s)

Organizer

Data Source

[Presentation] DeepRover: A Query-efficient Blackbox Attack for Deep Neural Networks2023

Author(s)

Organizer

Data Source

[Presentation] Generative Model-Based Testing on Decision-Making Policies2023

Author(s)

Organizer

Data Source

[Presentation] EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing2023

Author(s)

Organizer

Data Source

ZHANG ZHENYA 張振亜