default search action
BibTeX records: Naoya Nitta
@inproceedings{DBLP:conf/facs2/NittaKF23, author = {Naoya Nitta and Shinji Kageyama and Kouta Fujii}, editor = {Javier C{\'{a}}mara and Sung{-}Shik Jongmans}, title = {A Formal Web Services Architecture Model for Changing {PUSH/PULL} Data Transfer}, booktitle = {Formal Aspects of Component Software - 19th International Conference, {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14485}, pages = {65--83}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-52183-6\_4}, doi = {10.1007/978-3-031-52183-6\_4}, timestamp = {Thu, 18 Jan 2024 08:27:17 +0100}, biburl = {https://dblp.org/rec/conf/facs2/NittaKF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bwcca/SerizawaOOYSNNB22, author = {Ayumi Serizawa and Ryosuke Okudera and Yumo Ouchi and Mizuho Yoshihira and Yuya Shiomi and Naoya Nitta and Masataka Nakahara and Akira Baba and Yutaka Miyake and Tetsushi Ohki and Masakatsu Nishigaki}, editor = {Leonard Barolli}, title = {Improving Palmprint-Region Estimation for ID-Less Palmprint Recognition}, booktitle = {Advances on Broad-Band Wireless Computing, Communication and Applications - Proceedings of the 17th International Conference on Broad-Band Wireless Computing, Communication and Applications (BWCCA-2022), Tirana, Albania, 27-29 October 2022}, series = {Lecture Notes in Networks and Systems}, volume = {570}, pages = {125--136}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-20029-8\_12}, doi = {10.1007/978-3-031-20029-8\_12}, timestamp = {Thu, 20 Oct 2022 11:20:00 +0200}, biburl = {https://dblp.org/rec/conf/bwcca/SerizawaOOYSNNB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hci/YoshihiraSOOSNN22, author = {Mizuho Yoshihira and Ayumi Serizawa and Ryosuke Okudera and Yumo Ouchi and Yuya Shiomi and Naoya Nitta and Masataka Nakahara and Akira Baba and Yutaka Miyake and Tetsushi Ohki and Masakatsu Nishigaki}, editor = {Abbas Moallem}, title = {Improving Rank-N Identification Rate of Palmprint Identification Using Permutation-Based Indexing}, booktitle = {{HCI} for Cybersecurity, Privacy and Trust - 4th International Conference, {HCI-CPT} 2022, Held as Part of the 24th {HCI} International Conference, {HCII} 2022, Virtual Event, June 26 - July 1, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13333}, pages = {78--93}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-05563-8\_6}, doi = {10.1007/978-3-031-05563-8\_6}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hci/YoshihiraSOOSNN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/HongoN21, author = {Aki Hongo and Naoya Nitta}, title = {Towards a Dynamic Visualization of Complex Reverse-Engineered Object Collaboration}, booktitle = {28th Asia-Pacific Software Engineering Conference, {APSEC} 2021, Taipei, Taiwan, December 6-9, 2021}, pages = {568--569}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/APSEC53868.2021.00071}, doi = {10.1109/APSEC53868.2021.00071}, timestamp = {Wed, 23 Feb 2022 18:55:47 +0100}, biburl = {https://dblp.org/rec/conf/apsec/HongoN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/KandeN21, author = {Narumasa Kande and Naoya Nitta}, title = {A Method to Comprehend Feature Dependencies Based on Semi-Static Structures}, booktitle = {{IEEE} International Conference on Software Maintenance and Evolution, {ICSME} 2021, Luxembourg, September 27 - October 1, 2021}, pages = {148--158}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICSME52107.2021.00020}, doi = {10.1109/ICSME52107.2021.00020}, timestamp = {Mon, 29 Nov 2021 16:15:48 +0100}, biburl = {https://dblp.org/rec/conf/icsm/KandeN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icgda/KumeSNN19, author = {Izuru Kume and Etsuya Shibayama and Masahide Nakamura and Naoya Nitta}, title = {Cutting Java Expressions into Lines for Detecting their Evaluation at Runtime}, booktitle = {Proceedings of the 2019 2nd International Conference on Geoinformatics and Data Analysis, {ICGDA} 2019, Prague, Czech Republic, March 15-17, 2019}, pages = {37--46}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3318236.3318259}, doi = {10.1145/3318236.3318259}, timestamp = {Fri, 13 Aug 2021 11:43:54 +0200}, biburl = {https://dblp.org/rec/conf/icgda/KumeSNN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aswec/KumeNN18, author = {Izuru Kume and Masahide Nakamura and Naoya Nitta}, title = {Revealing Implicit Correspondence between Bytecode Instructions and Expressions Determined by Java Compilers}, booktitle = {25th Australasian Software Engineering Conference, {ASWEC} 2018, Adelaide, Australia, November 26-30, 2018}, pages = {126--130}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/ASWEC.2018.00025}, doi = {10.1109/ASWEC.2018.00025}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aswec/KumeNN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csii/KumeNNS17, author = {Izuru Kume and Masahide Nakamura and Naoya Nitta and Etsuya Shibayama}, title = {Analyzing Execution Traces of Failed Programs for Materializing Chain of Infection}, booktitle = {5th International Conference on Applied Computing and Information Technology, 4th International Conference on Computational Science/Intelligence and Applied Informatics, 2nd International Conference on Big Data, Cloud Computing, Data Science {\&} Engineering, {ACIT/CSII/BCD} 2017, Hamamatsu, Japan, July 9-13, 2017}, pages = {333--339}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ACIT-CSII-BCD.2017.68}, doi = {10.1109/ACIT-CSII-BCD.2017.68}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/csii/KumeNNS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/FujiokaN17, author = {Daiki Fujioka and Naoya Nitta}, title = {Constraints Based Approach to Interactive Feature Location}, booktitle = {2017 {IEEE} International Conference on Software Maintenance and Evolution, {ICSME} 2017, Shanghai, China, September 17-22, 2017}, pages = {499--503}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICSME.2017.55}, doi = {10.1109/ICSME.2017.55}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsm/FujiokaN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/snpd/Nitta17, author = {Naoya Nitta}, editor = {Teruhisa Hochin and Hiroaki Hirata and Hiroki Nomiya}, title = {Experiences of debugger-based architecture comprehension}, booktitle = {18th {IEEE/ACIS} International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, {SNPD} 2017, Kanazawa, Japan, June 26-28, 2017}, pages = {471--476}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/SNPD.2017.8022764}, doi = {10.1109/SNPD.2017.8022764}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/snpd/Nitta17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ACISicis/Nitta16, author = {Naoya Nitta}, title = {A formal approach for guiding architecture design with data constraints}, booktitle = {15th {IEEE/ACIS} International Conference on Computer and Information Science, {ICIS} 2016, Okayama, Japan, June 26-29, 2016}, pages = {1--6}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICIS.2016.7550874}, doi = {10.1109/ICIS.2016.7550874}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ACISicis/Nitta16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcre/TakahashiN16, author = {Yusuke Takahashi and Naoya Nitta}, title = {Composite Refactoring for Decoupling Multiple Classes}, booktitle = {{IEEE} 23rd International Conference on Software Analysis, Evolution, and Reengineering, {SANER} 2016, Suita, Osaka, Japan, March 14-18, 2016 - Volume 1}, pages = {594--598}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/SANER.2016.54}, doi = {10.1109/SANER.2016.54}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcre/TakahashiN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijsinnov/KumeNNS15, author = {Izuru Kume and Masahide Nakamura and Naoya Nitta and Etsuya Shibayama}, title = {A Case Study of Dynamic Analysis to Locate Unexpected Side Effects Inside of Frameworks}, journal = {Int. J. Softw. Innov.}, volume = {3}, number = {3}, pages = {26--40}, year = {2015}, url = {https://doi.org/10.4018/IJSI.2015070103}, doi = {10.4018/IJSI.2015070103}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijsinnov/KumeNNS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/NittaM15, author = {Naoya Nitta and Tomohiro Matsuoka}, editor = {Rainer Koschke and Jens Krinke and Martin P. Robillard}, title = {Delta extraction: An abstraction technique to comprehend why two objects could be related}, booktitle = {2015 {IEEE} International Conference on Software Maintenance and Evolution, {ICSME} 2015, Bremen, Germany, September 29 - October 1, 2015}, pages = {61--70}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICSM.2015.7332452}, doi = {10.1109/ICSM.2015.7332452}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsm/NittaM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/NittaKT14, author = {Naoya Nitta and Izuru Kume and Yasuhiro Takemura}, editor = {Richard E. Jones}, title = {Identifying Mandatory Code for Framework Use via a Single Application Trace}, booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8586}, pages = {593--617}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44202-9\_24}, doi = {10.1007/978-3-662-44202-9\_24}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/NittaKT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/KumeNNS14, author = {Izuru Kume and Naoya Nitta and Masahide Nakamura and Etsuya Shibayama}, editor = {Yookun Cho and Sung Y. Shin and Sang{-}Wook Kim and Chih{-}Cheng Hung and Jiman Hong}, title = {A dynamic analysis technique to extract symptoms that suggest side effects in framework applications}, booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014}, pages = {1176--1178}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2554850.2555123}, doi = {10.1145/2554850.2555123}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/KumeNNS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/snpd/KumeNNS14, author = {Izuru Kume and Masahide Nakamura and Naoya Nitta and Etsuya Shibayama}, title = {Toward a dynamic analysis technique to locate framework misuses that cause unexpected side effects}, booktitle = {15th {IEEE/ACIS} International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, {SNPD} 2014, Las Vegas, NV, USA, June 30 - July 2, 2014}, pages = {1--6}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/SNPD.2014.6888730}, doi = {10.1109/SNPD.2014.6888730}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/snpd/KumeNNS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/NittaKT13, author = {Naoya Nitta and Izuru Kume and Yasuhiro Takemura}, editor = {Pornsiri Muenchaisri and Gregg Rothermel}, title = {A Method for Early Detection of Mismatches between Framework Architecture and Execution Scenarios}, booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1}, pages = {517--522}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/APSEC.2013.74}, doi = {10.1109/APSEC.2013.74}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/NittaKT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/snpd/KumeNNS13, author = {Izuru Kume and Masahide Nakamura and Naoya Nitta and Etsuya Shibayama}, title = {A Feature Model of Framework Applications}, booktitle = {14th {ACIS} International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, {SNPD} 2013, Honolulu, Hawaii, USA, 1-3 July, 2013}, pages = {511--516}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/SNPD.2013.14}, doi = {10.1109/SNPD.2013.14}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/snpd/KumeNNS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fie/TsukamotoTNN12, author = {Hidekuni Tsukamoto and Yasuhiro Takemura and Hideo Nagumo and Naoya Nitta}, editor = {Richard J. LeBlanc and Ann E. K. Sobel}, title = {Work in progress: Analysis of the relationship between teaching contents and motivation in programming education}, booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2012, Seattle, WA, USA, October 3-6, 2012}, pages = {1--2}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/FIE.2012.6462408}, doi = {10.1109/FIE.2012.6462408}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fie/TsukamotoTNN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalt/TsukamotoNTN12, author = {Hidekuni Tsukamoto and Hideo Nagumo and Yasuhiro Takemura and Naoya Nitta}, editor = {Carlo Giovannella and Demetrios G. Sampson and Ignacio Aedo}, title = {Change of Students' Motivation in an Introductory Programming Course for Non-computing Majors}, booktitle = {12th {IEEE} International Conference on Advanced Learning Technologies, {ICALT} 2012, Rome, Italy, July 4-6, 2012}, pages = {124--125}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICALT.2012.38}, doi = {10.1109/ICALT.2012.38}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalt/TsukamotoNTN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/imt/NittaS06, author = {Naoya Nitta and Hiroyuki Seki}, title = {{LTL} Model Checking for Extended Pushdown Systems with Regular Tree Valuations}, journal = {Inf. Media Technol.}, volume = {1}, number = {2}, pages = {712--729}, year = {2006}, url = {https://doi.org/10.11185/imt.1.712}, doi = {10.11185/IMT.1.712}, timestamp = {Mon, 26 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/imt/NittaS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icce/KumeNT06, author = {Izuru Kume and Naoya Nitta and Yasuhiro Takemura}, editor = {Riichiro Mizoguchi and Pierre Dillenbourg and Zhiting Zhu}, title = {A Method for Creating Teaching Materials of Practical Object-Oriented Methods Education}, booktitle = {Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, Proceeding of the 14th International Conference on Computers in Education, {ICCE} 2006, November 30 - December 4, 2006, Beijing, China}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {151}, pages = {75--78}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=2239}, timestamp = {Wed, 14 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icce/KumeNT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/KuninobuTNS05, author = {Shigeta Kuninobu and Yoshiaki Takata and Naoya Nitta and Hiroyuki Seki}, title = {Policy Controlled System and Its Model Checking}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {88-D}, number = {7}, pages = {1685--1696}, year = {2005}, url = {https://doi.org/10.1093/ietisy/e88-d.7.1685}, doi = {10.1093/IETISY/E88-D.7.1685}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/KuninobuTNS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/WangNS05, author = {Jing Wang and Naoya Nitta and Hiroyuki Seki}, title = {An Efficient Method for Optimal Probe Deployment of Distributed {IDS}}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {88-D}, number = {8}, pages = {1948--1957}, year = {2005}, url = {https://doi.org/10.1093/ietisy/e88-d.8.1948}, doi = {10.1093/IETISY/E88-D.8.1948}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/WangNS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/NittaS03, author = {Naoya Nitta and Hiroyuki Seki}, editor = {Roberto M. Amadio and Denis Lugiez}, title = {An Extension of Pushdown System and Its Model Checking Method}, booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2761}, pages = {278--292}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45187-7\_19}, doi = {10.1007/978-3-540-45187-7\_19}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/NittaS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/NittaTS01, author = {Naoya Nitta and Yoshiaki Takata and Hiroyuki Seki}, editor = {Michael K. Reiter and Pierangela Samarati}, title = {An efficient security verification method for programs with stack inspection}, booktitle = {{CCS} 2001, Proceedings of the 8th {ACM} Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, November 6-8, 2001}, pages = {68--77}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/501983.501994}, doi = {10.1145/501983.501994}, timestamp = {Tue, 10 Nov 2020 20:00:35 +0100}, biburl = {https://dblp.org/rec/conf/ccs/NittaTS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sacmat/NittaST01, author = {Naoya Nitta and Hiroyuki Seki and Yoshiaki Takata}, editor = {Ravi S. Sandhu and Trent Jaeger}, title = {Security verification of programs with stack inspection}, booktitle = {6th {ACM} Symposium on Access Control Models and Technologies, {SACMAT} 2001, Litton-TASC, Chantilly, Virginia, USA, May 3-4, 2001}, pages = {31--40}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/373256.373260}, doi = {10.1145/373256.373260}, timestamp = {Tue, 09 Feb 2021 08:50:30 +0100}, biburl = {https://dblp.org/rec/conf/sacmat/NittaST01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.