Toshifusa Sekizawa

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 9

Top Topics

Formal Specification

Natural Language Processing

Autonomous Systems

Top Venues

COMPSAC Workshops

IEICE Trans. Inf. Syst.

Publications

Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. KES (2022)
Toshifusa Sekizawa, Qian Chen, Taiju Mikoshi
Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks. SoICT (2019)
Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench. IEICE Trans. Inf. Syst. (8) (2019)
Ryo Watanabe, Toshifusa Sekizawa
Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model. ICCCS (2019)
Kozo Okano, Kazuma Takahashi, Shinpei Ogata, Toshifusa Sekizawa
Analysis of Specification in Japanese Using Natural Language Processing. JCKBSE (2018)
Toshifusa Sekizawa, Taiju Mikoshi, Masataka Nagura, Ryo Watanabe, Qian Chen
Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices. ICCCN (2018)
Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa
Towards Verification of Robot Design for Self-localization. Haifa Verification Conference (2017)
Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. ICCCN (2017)
Toshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe
A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements. COMPSAC Workshops (2016)
Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano
Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances. COMPSAC Workshops (2015)
Kozo Okano, Toshifusa Sekizawa
Safety Verification of Multiple Autonomous Systems by Formal Approach. SAFECOMP Workshops (2014)
Toshifusa Sekizawa, Tsugu Kotorii
A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing. APSEC (2) (2013)
Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, Kazuko Takahashi
Probabilistic Symmetry Reduction for a System with Ring Buffer. IEICE Trans. Inf. Syst. (5) (2011)
Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno
Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Trans. Inf. Syst. (5) (2009)
Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Trans. Inf. Syst. (5) (2009)
Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE (2008)