Naoto Maeda

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 4

Top Topics

Myocardial Infarction

Lossless Compression

Medical Doctors

Top Venues

IEICE Trans. Inf. Syst.

Autom. Softw. Eng.

Publications

Naoto Maeda, Hideyuki Tonooka
Early Stage Forest Fire Detection from Himawari-8 AHI Images Using a Modified MOD14 Algorithm Combined with Machine Learning. Sensors 23 (1) (2023)
Takashi Ishio, Naoto Maeda, Kensuke Shibuya, Kenho Iwamoto, Katsuro Inoue
NCDSearch: Sliding Window-Based Code Clone Search Using Lempel-Ziv Jaccard Distance. IEICE Trans. Inf. Syst. (5) (2022)
Takashi Ishio, Naoto Maeda, Kensuke Shibuya, Katsuro Inoue
Cloned Buggy Code Detection in Practice Using Normalized Compression Distance. ICSME (2018)
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain
Scalable and scope-bounded software verification in Varvel. Autom. Softw. Eng. 22 (4) (2015)
Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri
ARC++: effective typestate and lifetime dependency analysis. ISSTA (2014)
Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
Feedback-directed unit test generation for C/C++ using concolic execution. ICSE (2013)
Gen Endo, Yu Iemura, Edwardo F. Fukushima, Shigeo Hirose, Masatsugu Iribe, Ryota Ikeda, Kohei Onishi, Naoto Maeda, Toshio Takubo, Mineko Ohira
Study on a practical robotic follower to support home oxygen therapy patients - Questionnaire-based concept evaluation by the patients-. ICORR (2013)
Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI (2012)
Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. CC (2012)
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki
DC2: A framework for scalable, scope-bounded software verification. ASE (2011)
Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil
Modeling and Analyzing the Interaction of C and C++ Strings. FoVeOOS (2011)
Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta
Interprocedural Exception Analysis for C++. ECOOP (2011)
Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang
Scalable and precise program analysis at NEC. FMCAD (2010)
Naoto Maeda, Toshio Tonouchi
An Analysis Method for the Improvement of Reliability and Performance in Policy-Based Management Systems. DSOM (2004)
Toshio Tonouchi, Tomohiro Igakura, Naoto Maeda, Yoshiaki Kiriha
Policy transition mechanism: a new approach to multi-mode management. NOMS (2) (2004)
Toshio Tonouchi, Tomohiro Igakura, Naoto Maeda, Yasuyuki Beppu, Yoshiaki Kiriha
Policy-based Cooperation of Services in Ubiquitous Environments. Integrated Network Management (2003)