研究者
J-GLOBAL ID：200901087977048750   更新日: 2024年02月01日

趙 建軍

趙 建軍 | Zhao Jianjun
所属機関・部署：
九州大学大学院 システム情報科学研究院

九州大学大学院 システム情報科学研究院 について


職名： 教授
ホームページURL (1件)： http://stap.ait.kyushu-u.ac.jp/~zhao/
研究分野 (3件)： ソフトウェア ,  ソフトウェア ,  ソフトウェア
研究キーワード (8件)： コートの自動生成 ,  バグの自動修正 ,  プログラムデバッグ ,  ソフトウェアテスト ,  深層学習テスト ,  深層学習システム解析 ,  プログラム検証 ,  プログラム解析
競争的資金等の研究課題 (9件)：
  • 2021 - 2024 高信頼確率的プログラムの開発支援環境の構築
  • 2020 - 2023 ステートフル深層学習システムに対する総合的解析と修復技術の確立
  • 2019 - 2022 深層学習システムの自動テスト技術の確立
  • 2018 - 2022 自動デバッグを可能にする群衆知エコシステムの確立
  • 2016 - 2018 リアクティブプログラムの依存性解析とその応用に関する研究
全件表示
論文 (135件)：
  • Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 2023. 49. 4. 1842-1859
  • Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang 0001, Lei Ma 0003, Jianjun Zhao 0001. AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions. CoRR. 2023. abs/2304.05617
  • Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, Shuhan Lan. Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. 2021
  • Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao. Learning to Adversarially Blur Visual Object Tracking. CoRR. 2021. abs/2107.12085
  • Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao. DeepMix: Online Auto Data Augmentation for Robust Visual Object Tracking. CoRR. 2021. abs/2104.11585
もっと見る
MISC (20件)：
  • Jianjun Zhao. SpecJ: Towards Adding Contracts to Java. 情報処理学会研究報告ソフトウェア工学(SE). 2005. 2005. 75. 33-39
  • Jianjun Zhao. Cohesion Measures for Aspect - Oriented Programs. 情報処理学会研究報告ソフトウェア工学(SE). 2004. 2004. 30. 201-208
  • Jianjun Zhao. Unit Testing for Aspect - Oriented Programs. 情報処理学会研究報告ソフトウェア工学(SE). 2003. 2003. 60. 31-38
  • Jianjun Zhao. Coupling Measurement in Aspect - Oriented Systems. 情報処理学会研究報告ソフトウェア工学(SE). 2003. 2003. 60. 39-44
  • Jianjun Zhao. Data Flow Testing of Aspects (ソフトウェア工学 研究報告 テーマ:学生セッションおよび一般). 情報処理学会研究報告ソフトウェア工学(SE). 2002. 2002. 23. 195-202
もっと見る
学歴 (3件)：
  • 1994 - 1997 九州大学 システム情報科学研究科大学院 博士(情報科学) 博士後期課程
  • 1993 - 1994 九州大学 情報工学科 研究生
  • 1982 - 1987 中国清華大学 計算機科学与技術系 工学学士
学位 (1件)：
  • 博士(情報科学) (九州大学)
経歴 (8件)：
  • 2016/04 - 現在 九州大学 システム情報科学研究院 教授
  • 2012/04 - 2017/03 国立情報研究所 客員教授
  • 2015/06 - 2016/03 上海交通大学 計算機科学与工程系 教授
  • 2005/11 - 2015/05 上海交通大学 ソフトウェア学院 教授
  • 2000/04 - 2005/10 福岡工業大学 情報工学部情報工学科 助教授
全件表示
委員歴 (28件)：
  • 2022 - 2022 SANER 2022 Program Committee Member
  • 2022 - 2022 Q-SANER 2022 Program Committee Member
  • 2022 - 2022 Q-SE 2022 Program Committee Co-Chair
  • 2021 - 2021 ICECCS 2021 Program Committee Member
  • 2021 - 2021 ESEC/FSE 2021 Program Committee Member
全件表示
受賞 (4件)：
  • 2020/12 - APSEC 2020 Best Paper Award An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness
  • 2018/09 - ASE 2018 ACM SIGSOFT Distinguished Paper Award DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
  • 2016/03 - SANER 2016 Best Paper Candidate Award Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs
  • 2010 - IBM X10 Inovation Award Checking Serializability Consistency for Concurrent X10 Programs
所属学会 (5件)：
電子情報通信学会 ,  ACM ,  IEEE Computer Society ,  日本ソフトウェア科学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM