Toshiaki Aoki -

Registered user since Thu 20 Jun 2019

Name:Toshiaki Aoki

Country:Japan

Affiliation:JAIST

Personal website:https://www.jaist.ac.jp/english/areas/sn/laboratory/aoki.html

Research interests:Formal Methods, Formal Verification, Formal Specification, Model Checking, Theorem Proving, Testing, Automotive System, Autonomous Driving, Safety Critical Systems

Contributions

FormaliSE 2023	Committee Member in Program Committee within the FormaliSE 2023-track
APSEC 2022	Committee Member in Program Committee within the SEIP - Software Engineering in Practice-track
FormaliSE 2022	Committee Member in Program Committee within the FormaliSE 2022-track
FormaliSE 2021	Committee Member in Programme Committee within the FormaliSE 2021-track
ICSE 2020	Programme Committee in Program Committee within the Software Engineering in Practice-track
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
ISSTA 2019	Author of Model Checking of Automotive within the Workshop – TAV-CPS/IoT-track
SPIN 2019	Author of Conformance Testing of Schedulers for DSL-based Model Checking within the 26th International SPIN Symposium on Model Checking of Software-track