Naoya Nitta

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