張振亜 ZHANG ZHENYA

研究者番号	10971228
その他のID
所属 (現在)	2025年度: 九州大学, システム情報科学研究院, 助教
所属 (過去の研究課題情報に基づく) *注記	2023年度 – 2025年度: 九州大学, システム情報科学研究院, 助教
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連研究代表者以外小区分60050:ソフトウェア関連
キーワード	研究代表者 Cyber-physical systems / Formal specification / Counterexample / Quality assurance / Runtime verification / Cyber Physical Systems / Testing / Formal methods / Signal Temporal Logic / Monitoring … もっと見る研究代表者以外 … もっと見るプログラム修正 / テスト / サイバーフィジカルシステム / AI品質保証隠す

安全な物理情報システムのための反例解釈の理論と実装研究代表者
- 研究代表者
  
  張振亜
- 研究期間 (年度)
  2025 – 2027
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  九州大学
AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究
- 研究代表者
  
  趙建軍
- 研究期間 (年度)
  2023 – 2025
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  九州大学
信号時相論理の細粒度モニタリング及び物理情報システム品質保証への応用研究代表者
- 研究代表者
  
  張振亜
- 研究期間 (年度)
  2023 – 2024
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  九州大学

すべて 2024 2023

すべて雑誌論文学会発表

[雑誌論文] TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track2024
- 著者名/発表者名
  Tang Shuncheng、Zhang Zhenya、Cetinkaya Ahmet、Arcaini Paolo
- 雑誌名
  
  The 17th International Workshop on Search-Based and Fuzz Testing
  
  巻: -
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K16865
[雑誌論文] On the effectiveness of graph data augmentation for source code learning2024
- 著者名/発表者名
  Dong Zeming、Hu Qiang、Zhang Zhenya、Zhao Jianjun
- 雑誌名
  
  Knowledge-Based Systems
  
  巻: 285 ページ: 111328-111328
- DOI
  10.1016/j.knosys.2023.111328
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062
[雑誌論文] Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications2024
- 著者名/発表者名
  Lyu Deyun、 Zhang Zhenya、Arcaini Paolo、 Ishikawa Fuyuki、Laurent Thomas、Zhao Jianjun
- 雑誌名
  
  The Genetic and Evolutionary Computation Conference (GECCO 2024)
  
  巻: -
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K16865
[雑誌論文] Optimization-Based Model Checking for Complex STL Specifications2024
- 著者名/発表者名
  Sato Sota、An Jie、Zhang Zhenya、Hasuo Ichiro
- 雑誌名
  
  36th International Conference on Computer-Aided Verification. (CAV 2024)
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-23K16865
[雑誌論文] Online Causation Monitoring of Signal Temporal Logic2023
- 著者名/発表者名
  Zhang Zhenya、An Jie、Arcaini Paolo、Hasuo Ichiro
- 雑誌名
  
  35th International Conference on Computer-Aided Verification. (CAV 2023)
  
  巻: 13964 ページ: 62-84
- DOI
  10.1007/978-3-031-37706-8_4
- ISBN
  9783031377051, 9783031377068
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K16865
[雑誌論文] TAT: Targeted backdoor attacks against visual object tracking2023
- 著者名/発表者名
  Cheng Ziyi、Wu Baoyuan、Zhang Zhenya、Zhao Jianjun
- 雑誌名
  
  Pattern Recognition
  
  巻: 142 ページ: 109629-109629
- DOI
  10.1016/j.patcog.2023.109629
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062
[雑誌論文] EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing2023
- 著者名/発表者名
  Tang Shuncheng、Zhang Zhenya、Zhou Jixiang、Zhou Yuan、Li Yan-Fu、Xue Yinxing
- 雑誌名
  
  2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE)
  
  巻: - ページ: 309-320
- DOI
  10.1109/issre59848.2023.00054
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K16865
[雑誌論文] ARCH-COMP23 Category Report: Falsification2023
- 著者名/発表者名
  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
- 雑誌名
  
  EPiC Series in Computing
  
  巻: 96 ページ: 151-169
- DOI
  10.29007/6nqs
- オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K17873, KAKENHI-PROJECT-23K16865
[学会発表] Falsification of AI-Enabled Hybrid Systems2023
- 著者名/発表者名
  Zhenya Zhang
- 学会等名
  Shonan meeting No. 204 DevOps for CPS
- 招待講演
- データソース
  KAKENHI-PROJECT-23K16865
[学会発表] Online Causation Monitoring of Signal Temporal Logic2023
- 著者名/発表者名
  Zhenya Zhang
- 学会等名
  35th International Conference on Computer-Aided Verification. (CAV 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K16865
[学会発表] DeepRover: A Query-efficient Blackbox Attack for Deep Neural Networks2023
- 著者名/発表者名
  Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
- 学会等名
  The 31st ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28062
[学会発表] Generative Model-Based Testing on Decision-Making Policies2023
- 著者名/発表者名
  Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
- 学会等名
  The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28062
[学会発表] EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing2023
- 著者名/発表者名
  Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Yuan Zhou, Yan-Fu Li and Yinxing Xue
- 学会等名
  The 34rd International Symposium on Software Reliability Engineering (ISSRE 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28062
[学会発表] Online Causation Monitoring of Signal Temporal Logic2023
- 著者名/発表者名
  Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
- 学会等名
  The 35th International Conference on Computer-Aided Verification (CAV 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28062

1. 趙建軍 (20299580)

共同の研究課題数: 1件

共同の研究成果数: 2件
2. 鵜林尚靖 (80372762)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 蓮尾一郎 (60456762)

共同の研究課題数: 1件

共同の研究成果数: 1件
4. 石川冬樹 (50455193)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 馬雷 (70842061)

共同の研究課題数: 1件

共同の研究成果数: 2件
6. 和賀正樹

共同の研究課題数: 0件

共同の研究成果数: 1件

張 振亜 ZHANG ZHENYA

研究課題

研究成果

共同研究者

安全な物理情報システムのための反例解釈の理論と実装研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track2024

著者名/発表者名

雑誌名

データソース

[雑誌論文] On the effectiveness of graph data augmentation for source code learning2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications2024

著者名/発表者名

雑誌名

データソース

[雑誌論文] Optimization-Based Model Checking for Complex STL Specifications2024

著者名/発表者名

雑誌名

データソース

[雑誌論文] Online Causation Monitoring of Signal Temporal Logic2023

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] TAT: Targeted backdoor attacks against visual object tracking2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] ARCH-COMP23 Category Report: Falsification2023

著者名/発表者名

雑誌名

DOI

データソース

[学会発表] Falsification of AI-Enabled Hybrid Systems2023

著者名/発表者名

学会等名

データソース

[学会発表] Online Causation Monitoring of Signal Temporal Logic2023

著者名/発表者名

学会等名

データソース

[学会発表] DeepRover: A Query-efficient Blackbox Attack for Deep Neural Networks2023

著者名/発表者名

学会等名

データソース

[学会発表] Generative Model-Based Testing on Decision-Making Policies2023

著者名/発表者名

学会等名

データソース

[学会発表] EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing2023

著者名/発表者名

学会等名

データソース

張振亜 ZHANG ZHENYA