AOKI, Toshiaki Professor
Transdisciplinary Sciences, Information Science, Next-Generation Digital Infrastructure
◆Degrees
B.S. from Science University of Tokyo(1994), M.S. and Ph.D. from Japan Advanced Institute of Science and Technology(1996, 1999)
◆Professional Experience
2016 - : Japan Advanced Institute of Science and Technology , Graduate School of Advanced Science and Technology , Professor
2009 - 2016 : Japan Advanced Institute of Science and Technology , School of Information Science , Associate Professor
2006 - 2009 : Japan Advanced Institute of Science and Technology , Research Center on Trustworthy e-Society , Research Associate Professor
2001 - 2005 : 科学技術振興事業団 , さきがけ研究21「機能と構成」領域 , 研究員
1999 - 2006 : Japan Advanced Institute of Science and Technology , School of Information Science , Associate
◆Specialties
Software
◆Research Keywords
Formal Method, Formal Verification, Automotive System, Software Testing, Software Engineering, Model Checking, Theorem Proving, Formal Specification
◆Research Interests
Principle of Software
Fundamental theories for software are studying for a long time. Some of them are getting matured such as program semantics and process algebra. To promise bright future of software, it is important to find the principles of software based on those theories. Unfortunately, today’s software is developed without such principles. We should change this style of software developments into more scientific ones which are integrated on the mathematics. Thus, we are challenging to establish such fundamental principles of software.
Formal Method/Formal Verification
Formal methods represent a development style of software based on mathematics. We describe its specification and design in not natural language but languages based on mathematical theories such as sets and functions. That not only makes the specification and design rigorous but also allows us to precisely analyze them, prove their correctness and automatically generate source codes. One way to provide correctness with software is that we describe it rigorously, then we prove its correctness. That is called 'formal verification' of software. We are researching how we can develop correct software effectively using the formal methods and formal verification. Especially, we focus on embedded systems and object-oriented design for their application targets.

■Publications

◆Published Papers
Attack Tree Analysis for Adversarial Evasion Attacks.
Yuki Yamaguchi, Toshiaki Aoki
PRDC, 46-52, 2023
Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.
Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
ENASE, 250-261, 2023
Compaction of Spacecraft Operational Models with Metamodeling Domain Knowledge.
Kazunori Someya, Toshiaki Aoki, Naoki Ishihama
ENASE, 102-113, 2023
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS), -, 2022
SMT-Based Model Checking of Industrial Simulink Models.
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
ICFEM, 156-172, 2022
◆Misc
Attack Tree Analysis for Adversarial Evasion Attacks.
Yuki Yamaguchi, Toshiaki Aoki
CoRR, abs/2312.16957, -, 2023
Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems.
Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori, Satoshi Tanaka, Yuta Kawamoto, Yasuhiro Tanase, Masumi Imai, Fumiya Shigemitsu, Masaki Gondo, Tomoji Kishi
CoRR, abs/2310.00973, -, 2023
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering.
Toshiaki Aoki, Qin Li 0002
Science of Computer Programming, 219, 102821-102821, 2022
Compositional Test Generation of Industrial Synchronous Systems.
Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki
CoRR, abs/2112.05411, -, 2021
Approximate Translation from Floating-Point to Real-Interval Arithmetic.
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
CoRR, abs/2112.02804, -, 2021
◆Books
◆Conference Activities & Talks
車載システム開発における形式手法実践の現状と課題
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

■Teaching Experience

Software Process Design for Highly Dependable Embedded Systems, Software Design Methodology, Transdisciplinary Session I, 高信頼組込みシステム開発プロセス設計, ソフトウェア設計論, 異分野「超」体験セッションⅠ, ソフトウェア検証論

■Contributions to  Society

◆Academic Society Affiliations
Information Processing Society of Japan, The Institute of Electronics, Information and Communication Engineers, Japan Society for Software Science and Technology
◆Academic Contribution
International Workshop on Software Technologies for Future Dependable Distributed Systems , Workshop Co-Chair , 2009 , Waseda University
SPLC 2007 Doctoral Symposium , Symposium co-chair , 2007
情報処理学会 組込みシステムシンポジウム , プログラム委員長 , 2006 - 2006
◆Social Contribution
・ 14th International Symposium on Theoretical Aspects of Software Engineering , PC chair 2020
・ 14th International Conference on Formal Engineering Methods , Program Co-Chair 2012 - 2012

■Academic  Awards

・ 第十二回善吾賞 , 青木利晃, 川上大介, 千田伸男, 冨田尭 , ソフトウェアテスト技術振興協会 , 2019
・ Best Paper Award , Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki , 24th Asia-Pacific Software Engineering Conference , 2017
・ 山下記念研究賞受賞 , 青木利晃 , 情報処理学会 , 2006