論文誌

[1] Jiachen Yang, Keisuke Hotta, Yoshiki Higo, Hiroshi Igaki, and Shinji Kusumoto, "Classification Model for Code Clones Based on Machine Learning," In Empirical Software Engineering, volume 20, number 4, pages 1095-1125, August 2015. [fica-ese.pdf]

[2] 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] Ryunosuke Kaichi, Shinsuke Matsumoto, and Shinji Kusumoto, "Automatic Fixation of Decompilation Quirks Using Pre-Trained Language Model," In Proceedings of the 24th International Conference on Product-Focused Software Process Improvement (PROFES2023), volume 14483, pages 259-266, December 2023. [r-kaichi_202312_profes.pdf]

[2] Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto, "Verification of Safety Property of Line Tracer Program Using Timed Automaton Model," International Workshop on Informatics 2012, pages 136-142, September 2012. [iwin2012.pdf]

[3] 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.

[4] 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]

国内会議(査読付き)

[1] 堀直哉, 岡野浩三, 楠本真二, "モデル検査技術を用いたインバリアント被覆テスト ケースの自動生成によるDaikon出力の改善," 松下 誠, 川口 真司(編), ソフトウェア工学の基礎XV 日本ソフトウェア科学会FOSE2008, pages 41-50, 2008年11月. [0]

研究会・全国大会等

[1] 伊藤明彦, 長岡武志, 岡野浩三, 楠本真二, "時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析," 電子情報通信学会技術研究報告, volume 109, number 456, pages 85-90, 2010年3月. [SIGSS1003.pdf]

学位論文

[1] 花田 健太郎, "OCLからJMLへの変換ツールの Eclipse プラグイン化と教務システムを対象とする適用実験," , 2011年2月. [desc]

[2] Takeshi Nagaoka, "Study on Model Abstraction for Model Checking of Real-Time Systems," Ph.D. thesis, Osaka University, 2011. [thesis.pdf]

[3] 伊藤明彦, "時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析手法," 修士学位論文, 大阪大学, 2010年. [masterthesis.pdf]

[4] Takeshi Nagaoka, "Model Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," Master thesis, 大阪大学, 2008. [0]