Naoto Maeda - RankMe

16 papers A* 2A 3B 3Journal 3Unranked 5

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