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
- Practical Applications of Formal Methods to Automotive Systems: From In-Vehicle Systems to Autonomous Driving
- Relational Verification of Identity Disclosure Using Alloy
- 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
- Encoding BDI Syntax with Theories in Event-B
FM 2026-profile
View general profile
View general profile