Hiroyuki Nakagawa

Orcid: 0000-0001-5280-4113

According to our database1, Hiroyuki Nakagawa authored at least 87 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Harnessing LLM Conversations for Goal Model Generation from User Reviews.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Combining Prompts with Examples to Enhance LLM-Based Requirement Elicitation.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Self-Adaptive System Implementation Framework Considering Execution Time Uncertainty.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023
Expansion Mechanism for Runtime Verification of Self-adaptive Systems.
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

MAPE-K Loop-Based Goal Model Generation Using Generative AI.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Practice-based Collection of Bad Smells in Machine Learning Projects.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Finding Contributable Activities Using Non-Verb Attributes In Events.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Automatic Facility Layout Design System Using Deep Reinforcement Learning.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

KAOS Modeling Editor: A tool for semi-automated goal modeling (short paper).
Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

2022
Foreword.
IEICE Trans. Inf. Syst., 2022

Goal model structuring based on semantic correlation of user reviews.
Intell. Decis. Technol., 2022

Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism.
CoRR, 2022

Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection.
Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

Hierarchical User Review Clustering Based on Multiple Sub-goal Generation.
Proceedings of the Knowledge-Based Software Engineering: 2022, 2022

A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test.
Proceedings of the Knowledge-Based Software Engineering: 2022, 2022

Towards Automatic Facility Layout Design Using Reinforcement Learning.
Proceedings of the Communication Papers of the 17th Conference on Computer Science and Intelligence Systems, 2022

2021
Graph queries for analyzing the coverage of requirements by test cases.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Preemptive Anomaly Prediction in IoT Components (short paper).
Proceedings of the ECSA 2021 Companion Volume, 2021

Adaptation Space Reduction Using an Explainable Framework.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Reference Model for Agile Development of Machine Learning-based Service Systems.
Proceedings of the 28th Asia-Pacific Software Engineering Conference Workshops, 2021

2020
Using simulated annealing for locating array construction.
Inf. Softw. Technol., 2020

Interactive Goal Model Construction Based on a Flow of Questions.
IEICE Trans. Inf. Syst., 2020

Finding Minimum Locating Arrays Using a CSP Solver.
Fundam. Informaticae, 2020

An Automated Goal Labeling Method Based on User Reviews.
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

A model transformation approach to constructing agent-oriented design models for CPS/IoT systems.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Opinion Analysis and Organization of Mobile Application User Reviews.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

An Explainable Deep Learning Approach for Adaptation Space Reduction.
Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019
Expression caching for runtime verification based on parameterized probabilistic models.
J. Syst. Softw., 2019

Development of Overhead Transmission Lines Inspection Robot Capable of Crossing Steel Towers.
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2019

Goal Model Construction Based on User Review Classification.
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Evaluation of "Jiai" of Large "Echizen Washi" Japanese Traditional Paper.
Proceedings of the Advances in Manufacturing, Production Management and Process Control, 2019

Self-Adaptation for Heterogeneous Client-Server Online Games.
Proceedings of the Computer and Information Science, 2019

2018
A Document-based Parameter Correlation Metric for Test Design (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Improvement of User Review Classification Using Keyword Expansion (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

A Template System for Modeling and Verifying Agent Behaviors.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

A Framework for Updating Functionalities Based on the MAPE Loop Mechanism.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Verification of CPS Based on Control Loop Using Model Checking.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
A Tool to Edit and Verify IoT System Architecture Model.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Finding Minimum Locating Arrays Using a SAT Solver.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A visualization of specification coverage based on document similarity.
Proceedings of the 39th International Conference on Software Engineering, 2017

Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules.
Proceedings of the Requirements Engineering for Internet of Things, 2017

2016
Iterative Improvement of Human Pose Classification Using Guide Ontology.
IEICE Trans. Inf. Syst., 2016

A Search-Based Constraint Elicitation in Test Design.
IEICE Trans. Inf. Syst., 2016

A Dynamic Verification Mechanism for Real-Time Self-Adaptive Systems.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Caching Strategies for Run-time Probabilistic Model Checking.
Proceedings of the 11th International Workshop on Models@run.time co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015
Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities.
Proceedings of the Software Engineering and Formal Methods, 2015

Towards Self-Adaptation on Real-World Hardware: A Preliminary Lightweight Programming Framework.
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence.
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2015

Towards Automatic Constraints Elicitation in Pair-Wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength.
Proceedings of the 2nd IEEE/ACM International Workshop on Requirements Engineering and Testing, 2015

2014
Music Recommender Adapting Implicit Context Using 'renso' Relation among Linked Data.
J. Inf. Process., 2014

Refinement of Ontology-Constrained Human Pose Classification.
Proceedings of the 2014 IEEE International Conference on Semantic Computing, 2014

A MAPE Loop Control Pattern for Heterogeneous Client/Server Online Games.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Towards Software Evolution for Embedded Systems Based on MAPE Loop Encapsulation.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014

Transformation approach from KAOS goal models to BPMN models using refinement patterns.
Proceedings of the Symposium on Applied Computing, 2014

Locating a Faulty Interaction in Pair-wise Testing.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Applying Parameter Value Weighting to a Practical Application.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Identification of Flaming and Its Applications in CGM - Case Studies toward Ultimate Prevention.
Proceedings of the ICAART 2014, 2014

Surprising Recipe Extraction based on Rarity and Generality of Ingredients.
Proceedings of the ICAART 2014, 2014

2013
Towards solving an obstacle problem by the cooperation of UAVs and UGVs.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A goal model elaboration for localizing changes in software evolution.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Towards Semi-Automatic Identification of Functional Requirements in Legal Texts for Public Administration.
Proceedings of the Legal Knowledge and Information Systems, 2013

Context-Aware Music Recommendation with Serendipity Using Semantic Relations.
Proceedings of the Semantic Technology - Third Joint International Conference, 2013

2012
Support for Video Hosting Service Users Using Folksonomy and Social Annotation.
Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Web Intelligence, 2012

Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

Dynamic reconfiguration in self-adaptive systems considering non-functional properties.
Proceedings of the ACM Symposium on Applied Computing, 2012

Goal-oriented approach to creating class diagrams with OCL constraints.
Proceedings of the ACM Symposium on Applied Computing, 2012

Goal-Oriented Robustness Analysis.
Proceedings of the Knowledge-Based Software Engineering, 2012

2011
IMPULSE: a design framework for multi-agent systems based on model transformation.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Building an earthquake evacuation ontology from twitter.
Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

2010
ONTOMO: web-based ontology building system: ---instance recommendation using bootstrapping---.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Self-supervised Mining of Human Activity from CGM.
Proceedings of the Knowledge Management and Acquisition for Smart Systems and Services, 2010

Cooperative Behaviors Description for Self-* Systems Implementation.
Proceedings of the Advances in Practical Applications of Agents and Multiagent Systems, 2010

Automatic Mining of Human Activity and Its Relationships from CGM.
Proceedings of the ICSOFT 2010, 2010

NicoScene: Video Scene Search by Keywords Based on Social Annotation.
Proceedings of the Active Media Technology, 6th International Conference, 2010

Human Activity Mining Using Conditional Radom Fields and Self-Supervised Learning.
Proceedings of the Intelligent Information and Database Systems, 2010

Automatic Mining of Human Activity Attributes from Weblogs.
Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

2009
ONTOMO: Development of Ontology Building Service.
Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

2008
Constructing Self-Adaptive Systems Using a KAOS Model.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Achievement of Carrying Objects by Small-Sized Humanoid Robot.
Proceedings of the Entertainment Computing, 2008

2007
Diffusivity and diffusion anisotropy of cerebellar peduncles in cases of spinocerebellar degenerative disease.
NeuroImage, 2007

Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006
Analysis of multi-agent systems based on KAOS modeling.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006


  Loading...