• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

ZHANG ZHENYA  張 振亜

ORCIDConnect your ORCID iD *help
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
Quality assurance / Runtime verification / Cyber Physical Systems / Testing / Formal methods / Cyber-physical systems / Signal Temporal Logic / Monitoring
Except Principal Investigator
プログラム修正 / テスト / サイバーフィジカルシステム / AI品質保証
  • Research Projects

    (3 results)
  • Research Products

    (14 results)
  • Co-Researchers

    (6 People)
  •  安全な物理情報システムのための反例解釈の理論と実装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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi