conf.researchr.org / Toshiaki Aoki
Registered user since Thu 20 Jun 2019
Name:Toshiaki Aoki
Country:Japan
Affiliation:JAIST
Personal website: https://fp.jaist.ac.jp/public/Default2.aspx?id=60&l=1
Research interests:Formal Methods, Formal Verification, Formal Specification, Model Checking, Theorem Proving, Testing, Automotive System, Autonomous Driving, Safety Critical Systems
Contributions
2026
FM
- Author of Relational Verification of Identity Disclosure Using Alloy within the ABZ 2026-track
- Doctoral Symposium Co-Chair in Program committee within the Doctoral Symposium-track
- Doctoral Symposium Co-Chair in Organizing Committee
- Committee Member in Program Committee within the Research Track-track
- Committee Member in Tutorial Track Committee within the Tutorials-track
- Author of Encoding BDI Syntax with Theories in Event-B within the ABZ 2026-track