論文誌

[1] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qos Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation," IEICE Transactions on Information and Systems, volume E94-D, number 5, May 2011.

国際会議

[1] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qualitative Analysis of Real-Time Distributed Systems Considering Network Congestion by Probabilistic Model Checker Prism," In Proceedings of 2009 International Workshop on Empirical Software Engineering in Practice (IWESEP 2009), October 2009.

[2] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qos Evaluation for Real-Time Distributed Systems Using the Probabilistic Model Checker Prism," In Proceedings of International Workshop on Informatics 2009, pages 60-66, September 2009. [IWIN2009_NUMBER14.pdf]

[3] Simone Livieri, Yoshiki Higo, Makoto Matsushita, and Katsuro Inoue, "Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed Ccfinder: D-Ccfinder," In Proc of the 29the IEEE International Conference on Software Engineering (ICSE2007), pages 106-115, May 2007.