Naoya Nitta

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 12

Top Topics

Dynamic Analysis

Top Venues

Publications

Naoya Nitta, Shinji Kageyama, Kouta Fujii
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. FACS (2023)
Ayumi Serizawa, Ryosuke Okudera, Yumo Ouchi, Mizuho Yoshihira, Yuya Shiomi, Naoya Nitta, Masataka Nakahara, Akira Baba, Yutaka Miyake, Tetsushi Ohki, Masakatsu Nishigaki
Improving Palmprint-Region Estimation for ID-Less Palmprint Recognition. BWCCA (2022)
Mizuho Yoshihira, Ayumi Serizawa, Ryosuke Okudera, Yumo Ouchi, Yuya Shiomi, Naoya Nitta, Masataka Nakahara, Akira Baba, Yutaka Miyake, Tetsushi Ohki, Masakatsu Nishigaki
Improving Rank-N Identification Rate of Palmprint Identification Using Permutation-Based Indexing. HCI (32) (2022)
Narumasa Kande, Naoya Nitta
A Method to Comprehend Feature Dependencies Based on Semi-Static Structures. ICSME (2021)
Aki Hongo, Naoya Nitta
Towards a Dynamic Visualization of Complex Reverse-Engineered Object Collaboration. APSEC (2021)
Izuru Kume, Etsuya Shibayama, Masahide Nakamura, Naoya Nitta
Cutting Java Expressions into Lines for Detecting their Evaluation at Runtime. ICGDA (2019)
Izuru Kume, Masahide Nakamura, Naoya Nitta
Revealing Implicit Correspondence between Bytecode Instructions and Expressions Determined by Java Compilers. ASWEC (2018)
Izuru Kume, Masahide Nakamura, Naoya Nitta, Etsuya Shibayama
Analyzing Execution Traces of Failed Programs for Materializing Chain of Infection. ACIT/CSII/BCD (2017)
Daiki Fujioka, Naoya Nitta
Constraints Based Approach to Interactive Feature Location. ICSME (2017)
Naoya Nitta
Experiences of debugger-based architecture comprehension. SNPD (2017)
Naoya Nitta
A formal approach for guiding architecture design with data constraints. ICIS (2016)
Yusuke Takahashi, Naoya Nitta
Composite Refactoring for Decoupling Multiple Classes. SANER (2016)
Naoya Nitta, Tomohiro Matsuoka
Delta extraction: An abstraction technique to comprehend why two objects could be related. ICSME (2015)
Izuru Kume, Masahide Nakamura, Naoya Nitta, Etsuya Shibayama
A Case Study of Dynamic Analysis to Locate Unexpected Side Effects Inside of Frameworks. Int. J. Softw. Innov. 3 (3) (2015)
Izuru Kume, Masahide Nakamura, Naoya Nitta, Etsuya Shibayama
Toward a dynamic analysis technique to locate framework misuses that cause unexpected side effects. SNPD (2014)
Naoya Nitta, Izuru Kume, Yasuhiro Takemura
Identifying Mandatory Code for Framework Use via a Single Application Trace. ECOOP (2014)
Izuru Kume, Naoya Nitta, Masahide Nakamura, Etsuya Shibayama
A dynamic analysis technique to extract symptoms that suggest side effects in framework applications. SAC (2014)
Naoya Nitta, Izuru Kume, Yasuhiro Takemura
A Method for Early Detection of Mismatches between Framework Architecture and Execution Scenarios. APSEC (1) (2013)
Izuru Kume, Masahide Nakamura, Naoya Nitta, Etsuya Shibayama
A Feature Model of Framework Applications. SNPD (2013)
Hidekuni Tsukamoto, Hideo Nagumo, Yasuhiro Takemura, Naoya Nitta
Change of Students' Motivation in an Introductory Programming Course for Non-computing Majors. ICALT (2012)
Hidekuni Tsukamoto, Yasuhiro Takemura, Hideo Nagumo, Naoya Nitta
Work in progress: Analysis of the relationship between teaching contents and motivation in programming education. FIE (2012)
Izuru Kume, Naoya Nitta, Yasuhiro Takemura
A Method for Creating Teaching Materials of Practical Object-Oriented Methods Education. ICCE (2006)
Naoya Nitta, Hiroyuki Seki
LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations. Inf. Media Technol. 1 (2) (2006)
Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki
Policy Controlled System and Its Model Checking. IEICE Trans. Inf. Syst. (7) (2005)
Jing Wang, Naoya Nitta, Hiroyuki Seki
An Efficient Method for Optimal Probe Deployment of Distributed IDS. IEICE Trans. Inf. Syst. (8) (2005)
Naoya Nitta, Hiroyuki Seki
An Extension of Pushdown System and Its Model Checking Method. CONCUR (2003)
Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata
Security verification of programs with stack inspection. SACMAT (2001)
Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki
An efficient security verification method for programs with stack inspection. CCS (2001)