研究者
J-GLOBAL ID:201101070314952035   更新日: 2024年03月25日

青木 利晃

Aoki Toshiaki
所属機関・部署:
職名: 教授
研究分野 (1件): ソフトウェア
研究キーワード (8件): 形式手法 ,  形式検証 ,  車載システム ,  ソフトウェアテスト ,  ソフトウェア工学 ,  モデル検査 ,  定理証明 ,  形式仕様
競争的資金等の研究課題 (13件):
  • 2023 - 2028 次世代車載基盤システムのための形式手法と検証ツールの創出
  • 2018 - 2023 次世代車載システムのための形式手法に関する研究
  • 2015 - 2018 次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究
  • 2011 - 2016 証明スコア法に基づく革新的仕様検証システムの構築
  • 2012 - 2015 形式手法の統合によるシームレスなソフトウェア開発手法の提案
全件表示
論文 (121件):
  • Yuki Yamaguchi, Toshiaki Aoki. Attack Tree Analysis for Adversarial Evasion Attacks. PRDC. 2023. 46-52
  • Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida. Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. ENASE. 2023. 250-261
  • Kazunori Someya, Toshiaki Aoki, Naoki Ishihama. Compaction of Spacecraft Operational Models with Metamodeling Domain Knowledge. ENASE. 2023. 102-113
  • Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai. Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). 2022
  • Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai. SMT-Based Model Checking of Industrial Simulink Models. ICFEM. 2022. 156-172
もっと見る
MISC (57件):
  • Yuki Yamaguchi, Toshiaki Aoki. Attack Tree Analysis for Adversarial Evasion Attacks. CoRR. 2023. abs/2312.16957
  • Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori, Satoshi Tanaka, Yuta Kawamoto, Yasuhiro Tanase, Masumi Imai, Fumiya Shigemitsu, Masaki Gondo, Tomoji Kishi. Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems. CoRR. 2023. abs/2310.00973
  • Toshiaki Aoki, Qin Li 0002. Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering. Science of Computer Programming. 2022. 219. 102821-102821
  • Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki. Compositional Test Generation of Industrial Synchronous Systems. CoRR. 2021. abs/2112.05411
  • Daisuke Ishii, Takashi Tomita, Toshiaki Aoki. Approximate Translation from Floating-Point to Real-Interval Arithmetic. CoRR. 2021. abs/2112.02804
もっと見る
特許 (4件):
書籍 (1件):
  • SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
    近代科学社 2008 ISBN:9784764903548
講演・口頭発表等 (15件):
  • 車載システム開発における形式手法実践の現状と課題
    (2018)
  • 「IoT,AI,ビッグデータと安全工学」形式手法と安全性
    (安全工学研究発表会講演予稿集 2018)
  • 複合的因果関係分析手法を用いた遠隔診療の定量的安全性評価
    (電子情報通信学会技術研究報告 2017)
  • Java Pathfinderにおける弱公平性条件の実装
    (日本ソフトウェア科学会大会講演論文集(CD-ROM) 2016)
  • 遠隔診療におけるリスクアセスメント手法の提案
    (情報処理学会研究報告(Web) 2015)
もっと見る
学位 (1件):
  • 東京理科大学学士(理学)(1994),北陸先端科学技術大学院大学修士(情報科学)(1996),北陸先端科学技術大学院大学博士(情報科学)(1999)
経歴 (5件):
  • 2016/10 - 現在 北陸先端科学技術大学院大学 先端科学技術研究科 教授
  • 2009/03 - 2016/09 北陸先端科学技術大学院大学 情報科学研究科 助教授
  • 2006/03 - 2009/02 北陸先端科学技術大学院大学 安心電子社会研究センター 特任助教授
  • 1999/04 - 2006/02 北陸先端科学技術大学院大学 情報科学研究科 助手
  • 2001/12 - 2005/03 科学技術振興事業団 さきがけ研究21「機能と構成」領域 研究員
受賞 (3件):
  • 2019/03 - ソフトウェアテスト技術振興協会 第十二回善吾賞 確率統計に基づいた故障木とテストによる機械学習システムの系統的評価手法
  • 2017/12 - 24th Asia-Pacific Software Engineering Conference Best Paper Award Domain-Specific Language Facilitates Scheduling in Model Checking
  • 2006/03 - 情報処理学会 山下記念研究賞受賞
所属学会 (3件):
情報処理学会 ,  電子情報通信学会 ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る