Toshifusa Sekizawa

Toshifusa Sekizawa

Nihon University - Tokyo / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 4625674
日本大学
person_outline Toshifusa Sekizawa's MOST POPULAR ARTICLES
1-) MLAT: A tool for heap analysis based on predicate abstraction by modal logic IASTED International Conference on Software Engineering (SE 2008), 310-317, 2008
2-) Probabilistic position estimation and model checking for resource-constrained IoT devices 2018 27th International Conference on Computer Communication and Networks …, 2018
3-) Behavior verification of autonomous robot vehicle in consideration of errors and disturbances 2015 IEEE 39th Annual Computer Software and Applications Conference 3, 550-555, 2015
4-) A case study: Verification of specifications of an embedded system and generation of verification items using pairwise testing 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 2, 146-151, 2013
5-) Towards verification of robot design for self-localization Hardware and Software: Verification and Testing: 13th International Haifa …, 2017