Masahiko Watanabe

According to our database1, Masahiko Watanabe authored at least 25 papers between 2007 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
SDLV: Verification of Steering Angle Safety for Self-Driving Cars.
Formal Aspects Comput., 2021

EHSTM: a formal model of embedded software and research on several key issues.
CCF Trans. High Perform. Comput., 2021

2020
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019
Development of disposable pressure sensible retractor system for preventing the overloading.
Proceedings of the IEEE/SICE International Symposium on System Integration, 2019

From Local to Global Semantic Clone Detection.
Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.
Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

Simultaneous Recognition of Hand Shape and Two-Axis Wrist Bending Using Wearable Wrist Contour Measuring Device.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2019

2016
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC.
Proceedings of the IEEE International Conference on Agents, 2016

2015
Easy-to-install system for daily walking ability assessment using a distance sensor array.
J. Ambient Intell. Smart Environ., 2015

Hand shape classification in various pronation angles using a wearable wrist contour sensor.
Adv. Robotics, 2015

Hand gesture interface for content browse using wearable wrist contour measuring device.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

2014
Hand-shape classification with a wrist contour sensor: Analyses of feature types, resemblance between subjects, and data variation with pronation angle.
Int. J. Robotics Res., 2014

2013
Development of wrist contour measuring device for an interface using hand shape recognition.
Adv. Robotics, 2013

TansuBot: A drawer-type storage system for supporting object search with contents' photos and usage histories.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Numerical modeling of image discriminability for home storage and organization system on a smart device.
Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013

2012
World eco-tope.
Proceedings of the SIGGRAPH Asia 2012 Art Gallery, Singapore, November 28, 2012

Hand Shape Classification with a Wrist Contour Sensor - (Comparison of Feature Types and Observation of Resemblance among Subjects).
Proceedings of the Experimental Robotics, 2012

2011
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.
IEICE Trans. Inf. Syst., 2011

An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.
Proceedings of the International Conference on Computational Science and Its Applications, 2011

Hand shape classification with a wrist contour sensor: development of a prototype device.
Proceedings of the UbiComp 2011: Ubiquitous Computing, 13th International Conference, 2011

Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
Human-Like Local Navigation System Inspired by a Hippocampal Memory Mechanism.
Proceedings of the Brain-Inspired Information Technology, 2010

Model Checking of Software Design in State Transition Matrix.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix.
Proceedings of the Prodeedings of the 2010 International Conference on Computational Science and Its Applications, 2010

2007
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007


  Loading...