Top
Profile
Publications

Selected Publications

International Journal

  1. Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Xtune: An XAI-Based Hyperparameter Tuning Method for Time-series Forecasting Using Deep Learning, Research Square (Jun 2023).  
  2. Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Goal Model Structuring Based on Semantic Correlation of User Reviews, Intelligent Decision Technologies Journal, IOS Press, Vol. 16, No. 4, pp. 737-748 (Dec 2022).  
  3. Hiroyuki Nakagawa, Shinya Tsuchida, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya, Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism, arXiv:2205.13375, pp.1-17 (May 2022).  
  4. Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Using simulated annealing for locating array construction, Information and Software Technology, Elsevier, Vol. 126, 106346 (Oct 2020).  
  5. Hiroyuki Nakagawa, Hironori Shimada, Tatsuhiro Tsuchiya, Interactive Goal Model Construction Based on a Flow of Questions, IEICE Transactions on Information and Systems, Vol.E103-D, No.06, pp．1309-1318, Jun. 2020 (Jun 2020).  
  6. Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Finding minimum locating arrays using a CSP solver, Fundamenta Informaticae, IOS Press, Vol. 174 No. 1 pp. 27 - 42 (May 2020).  
  7. Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya, Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models, The Journal of Systems & Software, Elsevier , Vol 156, pp. 300-311 (Oct 2019).  
  8. Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, A Search-based Constraint Elicitation in Test Design, IEICE Transactions on Information and Systems, Vol. E99-D, No. 9, pp.2229-2238 (Sep 2016).  
  9. Kazuhiro Tashiro, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Iterative Improvement of Human Pose Classification using Guide Ontology, IEICE Transactions on Information and Systems, Vol. E99-D, No. 1, pp. 236-247 (Jan 2016).  
  10. Mian Wang, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Music Recommender Adapting Implicit Context Using 'renso' Relation among Linked Data, Journal of Information Processing, Vol. 22, No. 2, pp. 279-288 (Feb 2014)  

International Conference (Selected)

  1. Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, KAOS Modeling Editor: A Tool for Semi-Automated Goal Modeling, in Proc. of the 42nd International Conference on Conceptual Modeling (ER2023), (Poster & Demos) (Nov 2023) (To appear).  
  2. Hiroyuki Nakagawa, Shinichi Honiden, MAPE-K Loop-based Goal Model Generation Using Generative AI, in Proc. of the IEEE 31st International Requirements Engineering Conference Workshops (REW 2023), pp. 247-251 (Sep 2023).  
  3. Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito, Hironori Takeuchi, Finding Contributable Activities Using Non-Verb Attributes in Events, in Proc. of the 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2023) (Sep 2023) (To appear).  
  4. Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito, Practice-based Collection of Bad Smells in Machine Learning Projects, in Proc. of the 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2023) (Sep 2023) (To appear).  
  5. Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Expansion Mechanism for Runtime Verification of Self-adaptive Systems, in Proc. of the 35th International Conference on Software Engineering & Knowledge Engineering (SEKE 2023), pp. 1-6 (Jul 2023).  
  6. Fumi Sekimoto, Hiromasa Akagi, Hiroyuki Nakagawa, A New Approach to Solving Multiple-floor Facility Layout Problems Using Genetic Programming, in Proc. of the IISE Annual Conference & Expo 2023 (IISE 2023), No.135, pp. 1-6 (May 2023).  
  7. Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Automatic Facility Layout Design System Using Deep Reinforcement Learning, in Proc. of the 15th International Conference on Agents and Artificial Intelligence (ICAART 2023), Vol. 2, pp. 221-230, (Feb 2023).  
  8. Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection, in Proc. of the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022), pp. 281-296 (Nov 2022).  
  9. Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Towards Automatic Facility Layout Design Using Reinforcement Learning, in Proc. of the 17th Conference on Computer Science and intelligent systems (FedCSIS 2022), pp. 11-20 (Sep 2022).  
  10. Haruhiko Kaiya, Tomoya Misawa, Shinpei Ogata, Shinobu Saito, Hiroyuki Nakagawa, Hironori Takeuchi, A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking, in Proc. of the 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022), pp.542-551 (Sep 2022).  
  11. Shinpei Ogata, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi, A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test, in Proc. of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), pp.141-153 (Aug 2022).  
  12. Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Hierarchical User Review Clustering Based on Multiple Subgoal Generation, in Proc. of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), pp. 207-219 (Aug 2022).  
  13. Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata, Reference Model for Agile Development of Machine Learning-based Service Systems, in Proc. of the 3rd International Workshop on Machine Learning Systems Engineering (iMLSE 2021), pp. 17-20, (Dec 2021).  
  14. Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Preemptive Anomaly Prediction in IoT Components, in Proc. of the Context-aware, Autonomous and Smart Architecture Workshop (CASA2021), co-located with the 15th European Conference on Software Architecture (ECSA2021)), pp. 12-17 (Sep 2021).  
  15. Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Graph queries for analyzing the coverage of requirements by test cases, in Proc. of the 33rd International Conference on Software Engineering & Knowledge Engineering (SEKE 2021), pp. 544-549 (Jul 2021).  
  16. Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Adaptation Space Reduction Using an Explainable Framework, in Proc. of the IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC 2021) workshops, pp. 1654-1661 (Jul 2021).  
  17. Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya, Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models, The 41st IEEE Real-Time Systems Symposium (RTSS 2020), (Journal presentation), (Dec 2020).  
  18. Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, An Explainable Deep Learning Approach for Adaptation Space Reduction, in Proc. of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS 2020), pp. 230-231 (Aug 2020).  
  19. Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, An Automated Goal Labeling Method Based on User Reviews, in Proc. of the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020), pp. 141-146 (Jul 2020).  
  20. Hiroyuki Nakagawa, Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, A Model Transformation Approach to Constructing Agent-oriented Design Models for CPS/IoT Systems, in Proc. of the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), pp. 815-822 (Mar 2020).  
  21. Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Opinion Analysis and Organization of Mobile Application User Reviews , in Proc. of the Third Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2020), Vol. 2584, pp. 1-9 (March 2020).  
  22. Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya, Towards Real-time Self-adaptation Using a Verification Mechanism , in Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), (WiP Session), pp.10-12 (July 2019)  
  23. Satoru Yamagata, Hiroyuki Nakagawa, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga, Self-Adaptation for Heterogeneous Client-Server Online Games , in Proc. of the 18th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2019), (Outstanding paper), pp.1-15 (Jun 2019)  
  24. Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Goal Model Construction Based on User Review Classification, in Proc. of the the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019) (Poster session), pp. 1-5 (Mar 2019)  
  25. Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa, Verification of CPS Based on Control Loop using Model Checking, in Proc. of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018), pp.678-682 (Dec 2018)  
  26. Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi, A Template System for Modeling and Verifying Agent Behaviors, in Proc. of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), pp.576-584 (Oct 2018)  
  27. Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya, A Framework for Updating Functionalities Based on the MAPE Loop Mechanism, in Proc. of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018), pp. 38-47 (Jul 2018) (Acceptance rate: 24%)  
  28. Hiroyuki Nakagawa, Nobukazu Ishii, Tatsuhiro Tsuchiya, A Document-based Parameter Correlation Metric for Test Design, in Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018), pp. 641-646 (Jul 2018)  
  29. Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Improvement of User Reviews Classification Using Keyword Expansion, in Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018), pp. 125-130 (Jul 2018)  
  30. Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules, in Proc. of the 4th Asia Pacific Requirements Engineering Symposium (APRES 2017), pp. 175-188 (Nov 2017)  
  31. Hiroyuki Nakagawa, Toshinobu Hasegawa, Shori Matsui, Tatsuhiro Tsuchiya, Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry, in Proc. of the 28th International Symposium on Software Reliability Engineering (ISSRE 2017), (Industry track), pp. 77-80 (Oct 2017)  
  32. Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima, A Tool to Edit and Verify IoT System Architecture Model, in Proc. of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), (Tools and Demonstrations track), Satellite Events Volume pp.571-575, 2017 (Sep 2017)  
  33. Hiroyuki Nakagawa, Shori Matsui, Tatsuhiro Tsuchiya, A Visualization of Specification Coverage Based on Document Similarity, in Proc. of the 39th International Conference on Software Engineering Companion (ICSE 2017), (Poster session), Companion Volume pp. 136-138 (May 2017)  
  34. Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Finding Minimum Locating Arrays Using a SAT Solver, in Proc. of the 6th International Workshop on Combinatorial Testing (IWCT 2017), (Poster session), pp. 276-277 (Mar 2017)  
  35. Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya, Caching Strategies for Run-time Probabilistic Model Checking , in Proc. of the 11th International Workshop on Models@run.time (MRT 2016), pp.1-8 (Oct 2016)  
  36. Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, A Dynamic Verification Mechanism for Real-time Self-adaptive Systems , in Proc. of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), (Poster Session), pp.265-266 (Sep 2016)  
  37. Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Towards Automatic Constraints Elicitation of Test Cases: Preliminary Evaluation Based on Collective Intelligence , in Proc. of the 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW 2015), pp.58-61 (Nov 2015)  
  38. Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Towards Self-Adaptation on Real-World Hardware: a Preliminary Lightweight Programming Framework , in Proc. of the 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2015), (Demonstrations Session), pp.176-177 (Sep 2015)  
  39. Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities , in Proc. of the 2nd Workshop on Formal Verification for Self-* Systems (VERY* 2015), pp.253-265 (Sep 2015)  
  40. Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA , in Proc. of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), pp.489-494 (Jul 2015)  
  41. Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Towards Automatic Constraints Elicitation in Pair-wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength , in Proc. of the 2nd International Workshop on Requirements Engineering and Testing (RET 2015), co-located with ICSE 2015, pp.34-36 (May 2015)  
  42. Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Applying Parameter Value Weighting to a Practical Application , in Proc. of the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014), (Fast Abstracts), pp.130-131 (Nov 2014)  
  43. Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, Locating a Faulty Interaction in Pair-Wise Testing , in Proc. of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), (Fast Abstracts), pp.155-156 (Nov 2014)  
  44. Hiroyuki Nakagawa, Takumitsu Kudo, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga, Towards Software Evolution for Embedded Systems Based on MAPE Loop Encapsulation , in Proc. of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2014), (Demonstrations Session), pp.203-204 (Sep 2014)  
  45. Satoru Yamagata, Hiroyuki Nakagawa, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga, A MAPE Loop Control Pattern for Heterogeneous Client/Server Online Games , in Proc. of the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), (Demonstrations & Poster Session), pp.742-743 (Jul 2014)  
  46. Kazuhiro Tashiro, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Refinement of Ontology-constrained Human Pose Classification, in Proc. of the the 8th IEEE International Conference on Semantic Computing (ICSC 2014), pp.60-67 (Jun 2014)  
  47. Kyosuke Ikejiri, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Surprising Recipe Extraction Based on Rarity and Generality of Ingredients, in Proc. of the 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), pp.428-436 (Mar 2014)  
  48. Yuki Iwazaki, Ryohei Orihara, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Identification of Flaming and Its Applications in CGM: Case Studies toward Ultimate Prevention, in Proc. of the 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), pp.639-644 (Mar 2014)  
  49. Hiroki Horita, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Transformation Approach from KAOS Goal Models to BPMN Models Using Refinement Patterns, in Proc. of the 29th ACM Symposium On Applied Computing (SAC 2014), pp.1023-1024 (Mar 2014)  
  50. Mian Wang, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Context-aware Music Recommendation with Serendipity Using Semantic Relations, in Proc. of the 3rd Joint International Semantic Technology Conference (JIST 2013) (Nov 2013)  
  51. Kazuhiro Tashiro, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Classification of Idol Photograpy Based on Pose Guide Ontology, in Proc. of the 3rd Joint International Semantic Technology Conference (JIST 2013) (Nov 2013)
    (Best Poster & Demo Award)      
  52. Yutaka Yoshida, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Towards Semi-Automatic Identification of Functional Requirements in Legal Texts for Public Administration, in Proc. of the 26th International Conference on Legal Knowledge and Information Systems (JURIX 2013), pp.175-184 (Dec 2013)  
  53. Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden, A Goal Model Elaboration for Localizing Changes in Software Evolution, in Proc. of the 21st IEEE International Requirements Engineering Conference (RE 2013), pp.155-164 (Jul 2013) (Acceptance rate: 18%)  
  54. Yuya Arai, Ryohei Orihara, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Designing Loss-aware Fitness Function for GA-based Algorithmic Trading, in Proc. of the 26th International Conference on Industrial Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2013), pp.107-114 (Jun 2013)  
  55. Shigeo Nakamura, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Towards solving an obstacle problem by the cooperation of UAVs and UGVs, in Proc. of the 28th ACM Symposium On Applied Computing (SAC 2013), pp.77-82 (Mar 2013)  
  56. Katsunori Ishino, Ryohei Orihara, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Support for Video Hosting Service Users using Folksonomy and Social Annotation, in Proc. of the 2012 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2012), pp.472-479 (Dec 2012)  
  57. Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden, Towards Dynamic Evolution of Self-adaptive Systems Based on Dynamic Updating of Control Loops, in Proc. of the 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), pp. 59-68, (Sep 2012) (Acceptance rate: 23%)  
  58. Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Goal-Oriented Robustness Analysis, in Proc. of the 10th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2012), pp.171-180 (Aug 2012)  
  59. Hisayuki Horikoshi, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Dynamic Reconfiguration in Selfadaptive Systems Considering Nonfunctional Properties, in Proc. of the 27th ACM Symposium On Applied Computing (SAC 2012), pp.1144-1150 (Mar 2012)  
  60. Sombat Chanvilai, Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, Goal-oriented Approach to Creating Class Diagrams with OCL Constraints, in Proc. of the 27th ACM Symposium On Applied Computing (SAC 2012), pp.1051-1056 (Mar 2012)  
  61. Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden, gocc: A Configuration Compiler for Self-adaptive Systems Using Goal-oriented Requirements Description, in Proc. of the ACM/IEEE 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), co-located with ICSE 2011, pp.40-49, (May 2011)  
  62. Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden, IMPULSE: a Design Framework for Multi-Agent Systems Based on Model Transformation, in Proc. of the ACM 26th Symposium On Applied Computing (SAC 2011), pp.1416-1423, (Mar 2011)  
  63. Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden, A Framework for Validating Task Assignment in Multi-agent Systems using Requirements Importance, in Proc. of the 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2010), pp.443-458, (Nov 2010)  
  64. Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden, Cooperative Behaviors Description for Self-* Systems Implementation, in Proc. of the 8th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2010), pp.69-74, (Apr 2010)  
  65. Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden, Formal Specification Generator for KAOS, Tool demonstrations, in Proc. of the 22nd ACM/IEEE International Conference on Automated Software Engineering (ASE 2007), Tool Demonstrations Track, pp.531-532, (Nov 2007)  
  66. Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden, Analysis of Multi-Agent Systems based on KAOS Modeling, Emerging Results track, in Proc. of the ACM/IEEE 28th International Conference on Software Engineering (ICSE 2006), Emerging Results Track, pp.926-929, (May 2006)