Nakagawa Hiroyuki

J-GLOBAL         Last updated: Jan 18, 2020 at 03:37
 
Avatar
Name
Nakagawa Hiroyuki
URL
http://www-ise4.ist.osaka-u.ac.jp/~h-nakagawa/
Affiliation
Osaka University
Section
Graduate School of Information Science and Technology Department of Information Systems Engineering
Job title
Associate Professor
Degree
Master (Information science and technology)(The University of Tokyo)

Research Areas

 
 

Academic & Professional Experience

 
Jan 2014
 - 
Today
Associate Professor, Graduate School of Information Science and Technology, Osaka University
 
Apr 2008
 - 
Dec 2013
Assistant Professor, The University of Electro-Communications Graduate School of Information Systems Department of Social Intelligence and Informatics
 

Education

 
Apr 2005
 - 
Mar 2007
The University of Tokyo
 
 
 - 
2007
Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo
 
 
 - 
2008
Creative Informatics, Graduate School of Information Science and Technology, The University of Tokyo
 
Apr 1993
 - 
Mar 1997
Osaka University
 

Awards & Honors

 
Nov 2013
Best Poster & Demo Award, The 3rd Joint International Semantic Technology Conference (JIST2013)
 
2010
第9回 合同エージェントワークショップ&シンポジウム2010(JAWS10)学生奨励賞
 

Published Papers

 
A Model Transformation Approach to Constructing Agent-oriented Design Models for CPS/IoT Systems
Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki, Kazuki Kobayashi
Proc. of the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020)      Mar 2020   [Refereed]
A Method of Refining Topic Models Based on Term and Document Frequencies
Kazuyuki Higashi, Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
JSSST Journal Compupter Software   36(4) 25-31   Nov 2019   [Refereed]
A proposal of Quantitative Verification of Control Loop Using Probabilistic Model Checker
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
   Nov 2019   [Refereed]
Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models
Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
The Journal of Systems & Software   156 300-311   Oct 2019   [Refereed]
Using simulated annealing for locating array construction
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
arXiv   1-23   Sep 2019
Finding minimum locating arrays using a CSP solver
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
arXiv   1-16   Sep 2019
Applicability of an Agent-oriented Software Design Methodology to the Design of IoT Systems
Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki, Kazuki Kobayashi
204-211   Sep 2019   [Refereed]
Towards Real-time Self-adaptation Using a Verification Mechanism
Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya
Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)   10-12   Jul 2019   [Refereed]
Self-Adaptation for Heterogeneous Client-Server Online Games
Satoru Yamagata, Hiroyuki Nakagawa, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
Proc. of the 18th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2019)   65-79   Jun 2019   [Refereed]
Outstanding paper
A Report on the 35th JSSST Annual Conference
Akimasa Morihata, Katsuro Inoue, Shinji Kusumoto, Hiroyuki Nakagawa, Kei Ito, Koji Hasebe
JSSST Journal Compupter Software   36(2) 2-15   May 2019   [Refereed]
Practice and Evaluation of a Method to Calculate Similarity between Goals Using Word2Vec
Koichi Ishikawa, Shinpei Ogata, Hiroyuki Nakagawa, Kozo Okano
   Mar 2019
Goal Model Construction Based on User Review Classification
Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Proc. of the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019)      Mar 2019   [Refereed]
A Prototype Tool to Aid Analysis of Counterexamples Produced by NuSMV
Yutaro Oike, Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kozo Okano
   Jan 2019   [Refereed]
Verification of CPS Based on Control Loop using Model Checking
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
Proc. of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018)      Dec 2018   [Refereed]
Verification of CPS Based on Control Loop using Model Checking
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
Proc. of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018)      Dec 2018   [Refereed]
Constructing a Goal Model Based on Application User Reviews
Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
   Nov 2018   [Refereed]
Constructing a Goal Model Based on Application User Reviews
Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
   Nov 2018   [Refereed]
A Template System for Modeling and Verifying Agent Behaviors
Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
Proc. of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018)      Oct 2018   [Refereed]
A Template System for Modeling and Verifying Agent Behaviors
Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
Proc. of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018)      Oct 2018   [Refereed]
A Document-based Parameter Correlation Metric for Test Design
Hiroyuki Nakagawa, Nobukazu Ishii, Tatsuhiro Tsuchiya
Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018)      Jul 2018   [Refereed]

Misc

 
高橋仁, 中川博之, 土屋達弘
情報処理学会研究報告(Web)   2017(SE-195) Vol.2017‐SE‐195,No.22,1‐8 (WEB ONLY)   Mar 2017
島田裕紀, 中川博之, 小島英春, 土屋達弘
情報処理学会研究報告(Web)   2017(SE-195) Vol.2017‐SE‐195,No.10,1‐8 (WEB ONLY)   Mar 2017
外山大夢, 中川博之, 小島英春, 土屋達弘
電子情報通信学会技術研究報告   116(493(KBSE2016 39-51)) 7‐12   Feb 2017
妙見侑祐, 中川博之, 土屋達弘
電子情報通信学会技術研究報告   116(493(KBSE2016 39-51)) 1‐6   Feb 2017

Books etc

 
Akihiko Ohsuga, Yasuyuki Tahara, Hiroyuki Nakagawa, Takahiro Kawamura (Part:Joint Work)
Corona Publishing Co., Ltd.   Jul 2017   ISBN:978-4-339-02818-8

Research Grants & Projects

 
Methodologies for developing self-adaptive systems
Grant-in-Aid for Scientific Research
Project Year: 2008 - 2011