Naoki Akiyama

According to our database, Naoki Akiyama authored at least 3 papers between 2016 and 2025.

Collaborative distances:

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

2025

Structure-based Sensor Placement for Network Systems.

Naoki Akiyama, Shun-ichi Azuma, Ikumi Banno

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2018

Formal verification for wireless sensor network in consideration of communication errors.

Akihiro Ikeda, Naoki Akiyama, Toshiaki Miyazaki

Proceedings of the 2018 International Conference on Information Networking, 2018

2016

Formal approach to produce verified programs for wireless sensor nodes.

Toshiaki Miyazaki, Naoki Akiyama

Proceedings of the 10th International Symposium on Communication Systems, 2016