Masaki Yamamoto

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 3

Top Topics

Functional Programs

Control Structures

Top Venues

Publications

Arthur Blot, Masaki Yamamoto, Tachio Terauchi
Compositional Synthesis of Leakage Resilient Programs. POST (2017)
Arthur Blot, Masaki Yamamoto, Tachio Terauchi
Compositional Synthesis of Leakage Resilient Programs. CoRR (2016)
Ryosuke Nishimura, Ryo Kurachi, Kazumasa Ito, Takashi Miyasaka, Masaki Yamamoto, Miwako Mishima
Implementation of the CAN-FD protocol in the fuzzing tool beSTORM. ICVES (2016)
Masaki Yamamoto, Shinya Honda, Hiroaki Takada, Kiyoshi Agusa, Hiroyuki Tomiyama, Kenji Mase, Nobuo Kawaguchi, Nobuyuki Kaneko
Practice and analysis of an extension course for training trainers of embedded software. SIGBED Rev. 4 (1) (2007)
Masaki Yamamoto, Hiroyuki Tomiyama, Hiroaki Takada, Kiyoshi Agusa, Kenji Mase, Nobuo Kawaguchi, Shinya Honda, Nobuyuki Kaneko
NEXCESS: Nagoya university extension courses for embedded software specialists. SIGBED Rev. 2 (4) (2005)