Nao Igawa

According to our database, Nao Igawa authored at least 7 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

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

Proceedings of the 9th International Congress on Advanced Applied Informatics, 2020

Model Checking of Visual Scripts Created by UE4 Blueprints.

Nao Igawa, Tomoyuki Yokogawa, Mami Takahashi, Kazutami Arimoto

Proceedings of the 9th International Congress on Advanced Applied Informatics, 2020

A Node-Style Visual Programming Environment for the nuXmv Model Checker.

Hayato Naito, Tomoyuki Yokogawa, Nao Igawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

2019

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

Proceedings of the 8th International Congress on Advanced Applied Informatics, 2019

2018

Interpolation Based Unbounded Model Checking for Time Petri Nets.

Nao Igawa, Tomoyuki Yokogawa, Sousuke Amasaki, Kiyotaka Komoku, Yoichiro Sato, Kazutami Arimoto

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

2017

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

Proceedings of the International SoC Design Conference, 2017