Masahiko Watanabe

29 papers A 2C 1Misc 2Journal 7Unranked 16
YearRankTypeTitle / Venue / Authors
2026 — conf
Evaluation of Surgical Skills Using Machine Learning and Interpretation of Results with Explainable AI in Practical Laparoscopic Surgery Training.
SII
Lingbo Yan, Takashige Abe, Koki Ebina, Masafumi Kon, Madoka Higuchi, Kiyohiko Hotta, Jun Furumido, Naoya Iwahara, Shunsuke Komizunai, Teppei Tsujita, Kazuya Sase, Xiaoshuai Chen, Hiroshi Kikuchi, Haruka Miyata, Ryuji Matsumoto, Takahiro Osawa, Sachiyo Murai, Toshiaki Shichinohe, Soichi Murakami, Taku Senoo, Masahiko Watanabe, Atsushi Konno
2026 — conf
Motion Capture and Machine Learning-Based Evaluation of Surgical Skills in Laparoscopic Cadaver Training.
SII
Lingbo Yan, Takashige Abe, Koki Ebina, Masafumi Kon, Madoka Higuchi, Kiyohiko Hotta, Jun Furumido, Naoya Iwahara, Shunsuke Komizunai, Terpei Tsujita, Kazuya Sase, Xiaoshuai Chen, Hiroshi Kikuchi, Haruka Miyata, Ryuji Matsumoto, Takahiro Osawa, Sachiyo Murai, Toshiaki Shichinohe, Soichi Murakami, Taku Senoo, Masahiko Watanabe, Atsushi Konno
2025 — conf
Surgical technique analysis using dynamic measurement of surgical instruments for practical laparoscopic surgery training
SII
Lingbo Yan, Takashige Abe, Koki Ebina, Masafumi Kon, Madoka Higuchi, Kiyohiko Hotta, Jun Furumido, Naoya Iwahara, Shunsuke Komizunai, Teppei Tsujita, Kazuya Sase, Xiaoshuai Chen, Yo Kurashima, Hiroshi Kikuchi, Haruka Miyata, Ryuji Matsumoto, Takahiro Osawa, Sachiyo Murai, Toshiaki Shichinohe, Soichi Murakami, Taku Senoo, Masahiko Watanabe, Atsushi Konno
2021 J jnl
EHSTM: a formal model of embedded software and research on several key issues.
CCF Trans. High Perform. Comput.
Masahiko Watanabe, Kuanjiu Zhou, Yicong Li, Zizhong Wang, Junyu Li
2021 J jnl
SDLV: Verification of Steering Angle Safety for Self-Driving Cars.
Formal Aspects Comput.
Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
2020 Misc conf
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features.
TASE
Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda
2019 — conf
Development of disposable pressure sensible retractor system for preventing the overloading.
SII
Masahiko Watanabe, Takeshi Yoneyama, Mitsutoshi Nakada, Tetsuyou Watanabe
2019 — conf
From Local to Global Semantic Clone Detection.
DSA
Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda
2019 — conf
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.
DSA
Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda
2019 — conf
Simultaneous Recognition of Hand Shape and Two-Axis Wrist Bending Using Wearable Wrist Contour Measuring Device.
AIM
Hiroyuki Karasawa, Rui Fukui, Masahiko Watanabe, Shin'ichi Warisawa
2016 — conf
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC.
ICA
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
2015 J jnl
Easy-to-install system for daily walking ability assessment using a distance sensor array.
J. Ambient Intell. Smart Environ.
Rui Fukui, Hirotaka Ifuku, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
2015 A conf
Hand gesture interface for content browse using wearable wrist contour measuring device.
IROS
Rui Fukui, Naoki Hayakawa, Masahiko Watanabe, Hitoshi Azumi, Masayuki Nakao
2015 J jnl
Hand shape classification in various pronation angles using a wearable wrist contour sensor.
Adv. Robotics
Rui Fukui, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
2014 J jnl
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.
Rui Fukui, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
2013 J jnl
Development of wrist contour measuring device for an interface using hand shape recognition.
Adv. Robotics
Rui Fukui, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
2013 — conf
Numerical modeling of image discriminability for home storage and organization system on a smart device.
UbiComp (Adjunct Publication)
Rui Fukui, Keisuke Maeda, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
2013 A conf
TansuBot: A drawer-type storage system for supporting object search with contents' photos and usage histories.
IROS
Rui Fukui, Takuya Sunakawa, Shuhei Kousaka, Masahiko Watanabe, Tomomasa Sato, Masamichi Shimosaka
2012 — conf
Hand Shape Classification with a Wrist Contour Sensor - (Comparison of Feature Types and Observation of Resemblance among Subjects).
ISER
Rui Fukui, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
2012 — conf
World eco-tope.
SIGGRAPH Posters
Ayumi Kato, Masahiko Watanabe, Yusuke Fukazawa, Tomomasa Sato, Taketoshi Mori
2012 — conf
World eco-tope.
SIGGRAPH ASIA Art Gallery
Ayumi Kato, Masahiko Watanabe, Yusuke Fukazawa, Tomomasa Sato, Taketoshi Mori
2011 — conf
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.
ICCSA Workshops
Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
2011 J jnl
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.
IEICE Trans. Inf. Syst.
Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
2011 C conf
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.
APSEC
Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
2011 Misc conf
Hand shape classification with a wrist contour sensor: development of a prototype device.
UbiComp
Rui Fukui, Masahiko Watanabe, Tomoaki Gyota, Masamichi Shimosaka, Tomomasa Sato
2010 — conf
An SMT Approach to Bounded Model Checking of Design in State Transition Matrix.
ICCSA Workshops
Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe
2010 — ch.
Human-Like Local Navigation System Inspired by a Hippocampal Memory Mechanism.
Brain-Inspired Information Technology
Tsutomu Miki, Takuya Inoue, Yuta Goto, Masahiko Watanabe, Hatsuo Hayashi
2010 — conf
Model Checking of Software Design in State Transition Matrix.
Software Engineering Research and Practice
Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
2007 — conf
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.
QSIC
Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido