• Sign in
  • Sign up
conf.researchr.org / Toshiaki Aoki
  • APSEC 2022 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • ICSE 2022 profile
  • ICSE 2023 profile
  • ISSTA 2019 profile
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

Share
xTue 21 Mar 15:03
using conf.researchr.org (v1.59.1)
Support page
Sign Up