Toshifusa Sekizawa

According to our database, Toshifusa Sekizawa authored at least 16 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

2019

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench.

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima

IEICE Trans. Inf. Syst., 2019

Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks.

Toshifusa Sekizawa, Qian Chen, Taiju Mikoshi

Proceedings of the Tenth International Symposium on Information and Communication Technology, 2019

Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model.

Ryo Watanabe, Toshifusa Sekizawa

Proceedings of the IEEE 4th International Conference on Computer and Communication Systems, 2019

2018

Analysis of Specification in Japanese Using Natural Language Processing.

Kozo Okano, Kazuma Takahashi, Shinpei Ogata, Toshifusa Sekizawa

Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices.

Toshifusa Sekizawa, Taiju Mikoshi, Masataka Nagura, Ryo Watanabe, Qian Chen

Proceedings of the 27th International Conference on Computer Communication and Networks, 2018

2017

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

Towards Verification of Robot Design for Self-localization.

Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements.

Toshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances.

Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

Safety Verification of Multiple Autonomous Systems by Formal Approach.

Kozo Okano, Toshifusa Sekizawa

Proceedings of the Computer Safety, Reliability, and Security, 2014

2013

A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing.

Toshifusa Sekizawa, Tsugu Kotorii

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2011

Probabilistic Symmetry Reduction for a System with Ring Buffer.

Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, Kazuko Takahashi

IEICE Trans. Inf. Syst., 2011

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 Model Checking of the One-Dimensional Ising Model.

Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno

IEICE Trans. Inf. Syst., 2009

2008

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.

Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi

Proceedings of the Verified Software: Theories, 2008