A smart low power R-R-I heartbeat monitor system with contactless UWB sensor. - Kazutami Arimoto; Daichi Yamashita; Nao Igawa; Tomoyuki Yokogawa; Yoichiro Sato; Isao Kayano; Akio Shiratori (ISOCC, 2017)

Interpolation Based Unbounded Model Checking for Time Petri Nets. - Nao Igawa; Tomoyuki Yokogawa; Sousuke Amasaki; Kiyotaka Komoku; Yoichiro Sato; Kazutami Arimoto (GCCE, 2018)

A Compact Low Power AI Module Mounted on Drone for Plant Monitor System. - Tomoki Kobayashi; Tomoyuki Yokogawa; Nao Igawa; Yoichiro Sato; Satoshi Fujii; Kazutami Arimoto (IIAI-AAI, 2019)

A Node-Style Visual Programming Environment for the nuXmv Model Checker. - Hayato Naito; Tomoyuki Yokogawa; Nao Igawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (GCCE, 2020)

Model Checking of Visual Scripts Created by UE4 Blueprints. - Nao Igawa; Tomoyuki Yokogawa; Mami Takahashi; Kazutami Arimoto (IIAI-AAI, 2020)

A Edge Master Computing for Pineapple Monitoring System with Drone and Data-management. - Tomoki Kobayashi; Tomoyuki Yokogawa; Nao Igawa; Yoichiro Sato; Kimihoro Sugino; Hiroshi Miyata; Satoshi Fujii; Kazutami Arimoto (IIAI-AAI, 2020)

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking. - Nao Igawa; Tomoyuki Yokogawa; Sousuke Amasaki; Masafumi Kondo; Yoichiro Sato; Kazutami Arimoto (IEICE Trans. Inf. Syst., 2020)