Naoto Maeda

According to our database, Naoto Maeda authored at least 16 papers between 2003 and 2023.

Collaborative distances:

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

2023

Early Stage Forest Fire Detection from Himawari-8 AHI Images Using a Modified MOD14 Algorithm Combined with Machine Learning.

Naoto Maeda, Hideyuki Tonooka

Sensors, 2023

2022

NCDSearch: Sliding Window-Based Code Clone Search Using Lempel-Ziv Jaccard Distance.

Takashi Ishio, Naoto Maeda, Kensuke Shibuya, Kenho Iwamoto, Katsuro Inoue

IEICE Trans. Inf. Syst., 2022

2018

Cloned Buggy Code Detection in Practice Using Normalized Compression Distance.

Takashi Ishio, Naoto Maeda, Kensuke Shibuya, Katsuro Inoue

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

2015

Scalable and scope-bounded software verification in Varvel.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain

Autom. Softw. Eng., 2015

2014

ARC++: effective typestate and lifetime dependency analysis.

Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

Feedback-directed unit test generation for C/C++ using concolic execution.

Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Proceedings of the 35th International Conference on Software Engineering, 2013

Study on a practical robotic follower to support home oxygen therapy patients - Questionnaire-based concept evaluation by the patients-.

Gen Endo, Yu Iemura, Edwardo F. Fukushima, Shigeo Hirose, Masatsugu Iribe, Ryota Ikeda, Kohei Onishi, Naoto Maeda, Toshio Takubo, Mineko Ohira

Proceedings of the IEEE 13th International Conference on Rehabilitation Robotics, 2013

2012

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.

Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.

Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma

Proceedings of the Compiler Construction - 21st International Conference, 2012

2011

DC2: A framework for scalable, scope-bounded software verification.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Modeling and Analyzing the Interaction of C and C++ Strings.

Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Interprocedural Exception Analysis for C++.

Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Scalable and precise program analysis at NEC.

Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2004

Policy transition mechanism: a new approach to multi-mode management.

Toshio Tonouchi, Tomohiro Igakura, Naoto Maeda, Yoshiaki Kiriha

Proceedings of the Managing Next Generation Convergence Networks and Services, 2004

An Analysis Method for the Improvement of Reliability and Performance in Policy-Based Management Systems.

Naoto Maeda, Toshio Tonouchi

Proceedings of the Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, 2004

2003

Policy-based Cooperation of Services in Ubiquitous Environments.

Toshio Tonouchi, Tomohiro Igakura, Naoto Maeda, Yasuyuki Beppu, Yoshiaki Kiriha

Proceedings of the Integrated Network Management VII, Managing It All, 2003