Toshifusa Sekizawa

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