Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. - Yoshifumi Yuasa; Yoshinori Tanabe; Toshifusa Sekizawa; Koichi Takahashi (VSTTE, 2008)

Probabilistic Model Checking of the One-Dimensional Ising Model. - Toshifusa Sekizawa; Tatsuhiro Tsuchiya; Koichi Takahashi; Tohru Kikuno (IEICE Trans. Inf. Syst., 2009)

Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. - Yoshinori Tanabe; Toshifusa Sekizawa; Yoshifumi Yuasa; Koichi Takahashi (IEICE Trans. Inf. Syst., 2009)

Probabilistic Symmetry Reduction for a System with Ring Buffer. - Toshifusa Sekizawa; Takashi Toyoshima; Koichi Takahashi; Kazuko Takahashi (IEICE Trans. Inf. Syst., 2011)

A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing. - Toshifusa Sekizawa; Tsugu Kotorii (APSEC (2), 2013)

Safety Verification of Multiple Autonomous Systems by Formal Approach. - Kozo Okano; Toshifusa Sekizawa (SAFECOMP Workshops, 2014)

Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances. - Toshifusa Sekizawa; Fumiya Otsuki; Kazuki Ito; Kozo Okano (COMPSAC Workshops, 2015)

A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements. - Toshifusa Sekizawa; Makoto Fujiwara; Koichiro Watanabe (COMPSAC Workshops, 2016)

Towards Verification of Robot Design for Self-localization. - Ryo Watanabe; Kozo Okano; Toshifusa Sekizawa (Haifa Verification Conference, 2017)

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. - Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakajima 001 (ICCCN, 2017)

Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices. - Toshifusa Sekizawa; Taiju Mikoshi; Masataka Nagura; Ryo Watanabe; Qian Chen 019 (ICCCN, 2018)

Analysis of Specification in Japanese Using Natural Language Processing. - Kozo Okano; Kazuma Takahashi; Shinpei Ogata; Toshifusa Sekizawa (JCKBSE, 2018)

Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model. - Ryo Watanabe; Toshifusa Sekizawa (ICCCS, 2019)

Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks. - Toshifusa Sekizawa; Qian Chen 019; Taiju Mikoshi (SoICT, 2019)

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench. - Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakajima 001 (IEICE Trans. Inf. Syst., 2019)

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 (KES, 2022)

A Study of Multi-Robot Tracking Problem in One-Dimensional System Using Probabilistic Model Checking. - Toshifusa Sekizawa; Naoaki Yonezawa; Kozo Okano; Keitaro Naruse (IEICE Trans. Inf. Syst., 2025)