Probabilistic evaluation of self-localization on ad-hoc network using model checking
Sekizawa, Toshifusa, Chen, Qian, Mikoshi, Taiju
Published in IEICE COMMUNICATIONS EXPRESS (01.01.2023)
Published in IEICE COMMUNICATIONS EXPRESS (01.01.2023)
Get full text
Journal Article
Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices
Sekizawa, Toshifusa, Mikoshi, Taiju, Nagura, Masataka, Watanabe, Ryo, Chen, Qian
Published in 2018 27th International Conference on Computer Communication and Networks (ICCCN) (01.07.2018)
Published in 2018 27th International Conference on Computer Communication and Networks (ICCCN) (01.07.2018)
Get full text
Conference Proceeding
Probabilistic Symmetry Reduction for a System with Ring Buffer
Sekizawa, Toshifusa, Toyoshima, Takashi, Takahashi, Koichi, Takahashi, Kazuko
Published in IEICE transactions on information and systems (01.01.2011)
Published in IEICE transactions on information and systems (01.01.2011)
Get full text
Journal Article
Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model
Watanabe, Ryo, Sekizawa, Toshifusa
Published in 2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS) (01.02.2019)
Published in 2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS) (01.02.2019)
Get full text
Conference Proceeding
Pre- and Post-Conditions Expressed in Variants of the Modal [mu]-Calculus
Tanabe, Yoshinori, Sekizawa, Toshifusa, Yuasa, Yoshifumi, Takahashi, Koichi
Published in IEICE transactions on information and systems (01.01.2009)
Published in IEICE transactions on information and systems (01.01.2009)
Get full text
Journal Article
A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements
Sekizawa, Toshifusa, Fujiwara, Makoto, Watanabe, Koichiro
Published in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) (01.06.2016)
Published in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) (01.06.2016)
Get full text
Conference Proceeding
Journal Article
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability
Okano, Kozo, Harauchi, Satoshi, Sekizawa, Toshifusa, Ogata, Shinpei, Nakashima, Shin
Published in 2017 26th International Conference on Computer Communication and Networks (ICCCN) (01.07.2017)
Published in 2017 26th International Conference on Computer Communication and Networks (ICCCN) (01.07.2017)
Get full text
Conference Proceeding
Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances
Sekizawa, Toshifusa, Otsuki, Fumiya, Ito, Kazuki, Okano, Kozo
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Get full text
Conference Proceeding
Journal Article