| 2022 | KES | A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. | Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki |
| 2018 | ICCCN | Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices. | Toshifusa Sekizawa, Taiju Mikoshi, Masataka Nagura, Ryo Watanabe, Qian Chen |
| 2017 | ICCCN | Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. | Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima |
| 2016 | COMPSAC | A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements. | Toshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe |
| 2015 | COMPSAC | Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances. | Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano |
| 2014 | SAFECOMP | Safety Verification of Multiple Autonomous Systems by Formal Approach. | Kozo Okano, Toshifusa Sekizawa |
| 2013 | APSEC | A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing. | Toshifusa Sekizawa, Tsugu Kotorii |