Rchr
J-GLOBAL ID：201101070314952035   Update date: Mar. 25, 2024

Aoki Toshiaki

Aoki Toshiaki
Affiliation and department：
北陸先端科学技術大学院大学 先端科学技術研究科

About 北陸先端科学技術大学院大学 先端科学技術研究科


Job title： 教授
Research field  (1)： Software
Research keywords  (8)： Formal Method ,  Formal Verification ,  Automotive System ,  Software Testing ,  Software Engineering ,  Model Checking ,  Theorem Proving ,  Formal Specification
Research theme for competitive and other funds  (13)：
  • 2023 - 2028 次世代車載基盤システムのための形式手法と検証ツールの創出
  • 2018 - 2023 Study on formal methods for next-generation automotive systems
  • 2015 - 2018 Formal verification of advanced functionalities in next-generation automotive operating systems
  • 2011 - 2016 Development of the Innovative Specification Verification System based on Proof Scores
  • 2012 - 2015 Integration of Formal Methods for Seamless Software Developments
Show all
Papers (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
ｍore...
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
ｍore...
Patents (4)：
Books (1)：
  • SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
    近代科学社 2008 ISBN:9784764903548
Lectures and oral presentations  (15)：
  • 車載システム開発における形式手法実践の現状と課題
    (2018)
  • 「IoT,AI,ビッグデータと安全工学」形式手法と安全性
    (安全工学研究発表会講演予稿集 2018)
  • Quantitative safety assessment of telemedicine using the MCCA
    (電子情報通信学会技術研究報告 2017)
  • Java Pathfinderにおける弱公平性条件の実装
    (日本ソフトウェア科学会大会講演論文集(CD-ROM) 2016)
  • A Risk Assessment Method for Telemedicine
    (情報処理学会研究報告(Web) 2015)
ｍore...
Professional career (1)：
  • B.S. from Science University of Tokyo(1994), M.S. and Ph.D. from Japan Advanced Institute of Science and Technology(1996, 1999)
Work history (5)：
  • 2016/10 - 現在 Japan Advanced Institute of Science and Technology Graduate School of Advanced Science and Technology Professor
  • 2009/03 - 2016/09 Japan Advanced Institute of Science and Technology School of Information Science Associate Professor
  • 2006/03 - 2009/02 Japan Advanced Institute of Science and Technology Research Center on Trustworthy e-Society Research Associate Professor
  • 1999/04 - 2006/02 Japan Advanced Institute of Science and Technology School of Information Science Associate
  • 2001/12 - 2005/03 科学技術振興事業団 さきがけ研究21「機能と構成」領域 研究員
Awards (3)：
  • 2019/03 - ソフトウェアテスト技術振興協会 第十二回善吾賞 確率統計に基づいた故障木とテストによる機械学習システムの系統的評価手法
  • 2017/12 - 24th Asia-Pacific Software Engineering Conference Best Paper Award Domain-Specific Language Facilitates Scheduling in Model Checking
  • 2006/03 - 情報処理学会 山下記念研究賞受賞
Association Membership(s) (3)：
Information Processing Society of Japan ,  The Institute of Electronics, Information and Communication Engineers ,  Japan Society for Software Science and Technology
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM