論文誌
[1] Chakkrit Tantithamthavorn, Shane McIntosh, Ahmed E. Hassan, and Kenichi Matsumoto, "An Empirical Comparison of Model Validation Techniques for Defect Prediction Models," IEEE Transactions on Software Engineering (TSE), volume 43, number 1, pages 1-18 January 2017.
[2] Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto, "`Improving Reusability of Hazard Analysis Model with Hazard Template for Deriving Safety Properties of Home Network System," International Journal of Smart Home, volume 3, number 2, pages 71-88 April 2009.
[3] Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto, "Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model," International Journal of Smart Home, volume 3, number 1, pages 67-80 January 2009.
[4] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Feature Interaction Detection by Bounded Model Checking," IEICE Transactions on Information and Systems, volume E86-D, number 12, pages 2579--2587 December 2003.
[5] Noriko Hanakawa, Ken-ichi Matsumoto, and Koji Torii, "Knowledge-Based Software Process Simulation Model," Annals of Software Engineering, volume 14, pages 383--406 2002.
[6] Eiichi Tsuboka and Yoshihiro Takada, "Neural Predictive Hidden Markov Model for Speech Recognition," IEICE Transactions on Communications, Electronics, Information, volume E78-D, number 6, pages 676-684 June 1995.
[7] Yoshihiro Takada, Ken-ichi Matsumoto, and Koji Torii, "A Software Reliability Prediction Model Using a Neural Network," Systems and Computers in Japan, volume 25, number 14, pages 22-31 May 1995.
[8] Hajimu Iida, Kei-ichi Mimura, Katsuro Inoue, and Koji Torii, "Hakoniwa:Monitor and Navigation System for Cooperative Development Based on Activity Sequence Model," IEEE, volume 0-8186-3600, pages 64--74 September 1993.
国際会議
[1] Raula Gaikovina Kula, Coen De Roover, Daniel M. German, Takashi Ishio, and Katsuro Inoue, "A Generalized Model for Visualizing Library Popularity, Adoption and Diffusion within a Software Ecosystem," In IEEE International Conference on Software Analysis, Evolution and Reengineering, pages 288-299 March 2018.
[2] Yuichiro Kanzaki, Akito Monden, and Christian Collberg, "Code Artificiality: a Metric for the Code Stealth Based on an N-Gram Model," In Proc. of IEEE/ACM 1st International Workshop on Software Protection (SPRO 2015), pages 31-37 May 2015.
[3] Masateru Tsunoda, Akito Monden, and Ken-ichi Matsumoto, "Sharpe Ratio Based Index for Building Fault Prediction Model," In Proc. of International Symposium on Software Reliability Engineering (ISSRE 2011) Fast Abstracts, volume 1, number 6, pages 1-2 November 2011.
[4] Masateru Tsunoda, Akito Monden, Tomoko Matsumura, and Ken-ichi Matsumoto, "A Model of Project Supervision for Process Correction and Improvement," In Proc. of Joint Conference of International Workshop on Software Measurement and International Conference on Software Process and Product Measurement (IWSM/Mensura 2011), pages 151-159 November 2011.
[5] Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto, "Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model," In Proc. of the Third International Symposium on Smart Home(SH08), volume 2, pages 428-436 December 2008.
[6] Yasutaka Kamei, Akito Monden, and Ken-ichi Matsumoto, "Empirical Evaluation of Svm-Based Software Reliability Model," In Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering (ISESE2006), volume 2, pages 39-41 September 2006.
[7] Kazumasa Hikichi, Hidetake Uwano, Naoki Ohsugi, Yasushi Tanaka, and Hajimu Iida, "In Prep/Sgts: Tools for Describing Processes with Prep Model and for Generating Project Schedule from the Description," In In the Software Process Workshop (SPW 2005), May 2005.
[8] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking," In Proc. 2003 International Technical Conference on Circuits/Systems, volume Computers and Communications (ITC-CSCC2003), number 3, pages 1807--1810 July 2003.
[9] Shinji Uchida and Kazuyuki Shima, "An Experiment of Software Understandability Using Probabilistic Model," In Proc. 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI2003), number 13, pages 315--320 July 2003.
[10] Shinji Uchida, Akito Monden, Hajimu Iida, Ken-ichi Matsumoto, and Hideo Kudoh, "Analysis of Program Reading Process in Software Debugging Based on Multiple-View Analysis Model," In Proc. 6th Joint Workshop on System Development (JWSD2003), CD-ROM Edition April 2003.
[11] Shinji Uchida, Akito Monden, Hajimu Iida, Ken-ichi Matsumoto, and Hideo Kudo, "A Multiple-View Analysis Model of Debugging Processes," In In Proc. International Symposium on Empirical Software Engineering (ISESE2002), pages 139--147 October 2002.
[12] Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking," In 16th International Conference on Information Networking (ICOIN-16), 8B2.1-2.11 January 2002.
[13] Noriko Hanakawa, Ken-ichi Matsumoto, and Koji Torii, "A Communication Workload Estimation Model Based on Relationships among Shared Works for Software Development Projects," In In Proceedings of the Ninth Asia-Pacific Software Engineering Conference ASPEC2002, pp,571--580, DEC 2002, 2002.
[14] Yoshitomi Morisawa, "A Computing Model of Product Lines for Distributed Processing Systems, Its Product Sets, and Its Applications," In Patrick Donohoe, editor, The First Software Product Line Conference (SPLC1), pages 371--394 August 2000.
[15] Noriko Hanakawa, Ken-ichi Matsumoto, Katsuro Inoue, and Koji Torii, "A Software Development Simulation Model Based on Dynamic Changes in Developer's Knowledge Structure," In Software Process Simulation Modeling ProSim2000 workshop, July 2000.
[16] Noriko Hanakawa, Ken-ichi Matsumoto, and Koji Torii, "Application of Learning Curve Based Simulation Model for Software Development to Industry," In Proc. The 11th International Conference on Software Engineering and Knowledge Engineering, pages 283--289 June 1999.
[17] Yoshitomi Morisawa, Hisashi Okada, Hiromichi Iwata, and Haruo Toyama, "A Computing Model for Distributed Processing Systems and Its Application," In Proceedings of 1998 Asia Pacific Software Engineering Conference, pages 314--321 December 1998.
[18] Noriko Hanakawa, Shuji Morisaki, and Ken-ichi Matsumoto, "A Learning Curve Based Simulation Model for Software Development," In Proceedings of the 20th International Conference on Software Engineering, volume 1, pages 350--359 April 1998.
[19] Noriko Hanakawa, "A Simulation Model for Software Development Based on Developer's Learning Curve," In Proceedings of the 20th International Conference on Software Engineering, volume 2, pages 168--169 April 1998.
[20] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri Net Model," In Proc. of Int'l. Conf. on Computer Communication (INFOCOM'97), pages 1253--1260 April 1997.
[21] Hajimu Iida, Satoshi Yabe, Jun Eijima, Ken-ichi Matsumoto, and Koji Torii, "Simulation Model of Overlapping Development Process Based on Progress of Activities," In Proc. of 1996 Asia-Pacific Software Engineering Conference (APSEC'96), pages 131--138 December 1996.
研究会・全国大会等
[1] 藤原新, 五田篤志, 玉田春昭, 角田雅照, 畑秀明, "ソフトウェア開発履歴を利用した風林火山モデルによる開発者の特性診断の試み," ソフトウェア工学の基礎,日本ソフトウェア科学会FOSE2013, pages 295-296 2013年11月.
[2] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "An Analysis Method of Non-Determinism in Telecommunication Service Specifications Using a High Level Petri-Net Model," In 信学技報, volume IN96-33, pages 13--20 July 1996.