Nao Igawa

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 7

Top Topics

Visual Programming Environment

Formal Specification

Temporal Properties

Top Venues

IEICE Trans. Inf. Syst.

Publications

Nao Igawa, Tomoyuki Yokogawa, Sousuke Amasaki, Masafumi Kondo, Yoichiro Sato, Kazutami Arimoto
Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking. IEICE Trans. Inf. Syst. (3) (2020)
Hayato Naito, Tomoyuki Yokogawa, Nao Igawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto
A Node-Style Visual Programming Environment for the nuXmv Model Checker. GCCE (2020)
Tomoki Kobayashi, Tomoyuki Yokogawa, Nao Igawa, Yoichiro Sato, Kimihoro Sugino, Hiroshi Miyata, Satoshi Fujii, Kazutami Arimoto
A Edge Master Computing for Pineapple Monitoring System with Drone and Data-management. IIAI-AAI (2020)
Nao Igawa, Tomoyuki Yokogawa, Mami Takahashi, Kazutami Arimoto
Model Checking of Visual Scripts Created by UE4 Blueprints. IIAI-AAI (2020)
Tomoki Kobayashi, Tomoyuki Yokogawa, Nao Igawa, Yoichiro Sato, Satoshi Fujii, Kazutami Arimoto
A Compact Low Power AI Module Mounted on Drone for Plant Monitor System. IIAI-AAI (2019)
Nao Igawa, Tomoyuki Yokogawa, Sousuke Amasaki, Kiyotaka Komoku, Yoichiro Sato, Kazutami Arimoto
Interpolation Based Unbounded Model Checking for Time Petri Nets. GCCE (2018)
Kazutami Arimoto, Daichi Yamashita, Nao Igawa, Tomoyuki Yokogawa, Yoichiro Sato, Isao Kayano, Akio Shiratori
A smart low power R-R-I heartbeat monitor system with contactless UWB sensor. ISOCC (2017)