Policy-based Cooperation of Services in Ubiquitous Environments. - Toshio Tonouchi; Tomohiro Igakura; Naoto Maeda; Yasuyuki Beppu; Yoshiaki Kiriha (Integrated Network Management, 2003)

An Analysis Method for the Improvement of Reliability and Performance in Policy-Based Management Systems. - Naoto Maeda; Toshio Tonouchi (DSOM, 2004)

Policy transition mechanism: a new approach to multi-mode management. - Toshio Tonouchi; Tomohiro Igakura; Naoto Maeda; Yoshiaki Kiriha (NOMS (2), 2004)

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 001; Nishant Sinha 001; Chao Wang 001 (FMCAD, 2010)

Interprocedural Exception Analysis for C++. - Prakash Prabhu; Naoto Maeda; Gogul Balakrishnan; Franjo Ivancic; Aarti Gupta (ECOOP, 2011)

Modeling and Analyzing the Interaction of C and C++ Strings. - Gogul Balakrishnan; Naoto Maeda; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta; Rakesh Pothengil (FoVeOOS, 2011)

DC2: A framework for scalable, scope-bounded software verification. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Hiroki Tokuoka; Takashi Imoto; Yoshiaki Miyazaki (ASE, 2011)

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. - Jing Yang 003; Gogul Balakrishnan; Naoto Maeda; Franjo Ivancic; Aarti Gupta; Nishant Sinha 001; Sriram Sankaranarayanan 001; Naveen Sharma (CC, 2012)

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. - Khalil Ghorbal; Franjo Ivancic; Gogul Balakrishnan; Naoto Maeda; Aarti Gupta (VMCAI, 2012)

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 (ICORR, 2013)

Feedback-directed unit test generation for C/C++ using concolic execution. - Pranav Garg 001; Franjo Ivancic; Gogul Balakrishnan; Naoto Maeda; Aarti Gupta (ICSE, 2013)

ARC++: effective typestate and lifetime dependency analysis. - Xusheng Xiao; Gogul Balakrishnan; Franjo Ivancic; Naoto Maeda; Aarti Gupta; Deepak Chhetri (ISSTA, 2014)

Scalable and scope-bounded software verification in Varvel. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Takashi Imoto; Rakesh Pothengil; Mustafa Hussain (Autom. Softw. Eng., 2015)

Cloned Buggy Code Detection in Practice Using Normalized Compression Distance. - Takashi Ishio; Naoto Maeda; Kensuke Shibuya; Katsuro Inoue (ICSME, 2018)

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)

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)