- 論文誌
- [1] Takeshi Nagaoka, Kozo Okano, and Shinji Kusumoto, "An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," IEICE Transactions on Information and Systems, volume E93-D, number 5, pages 994-1005, May 2010.
- 国際会議
- [1] Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, and Shinji Kusumoto, "Reachability Analysis of Probabilistic Timed Automata Based on an Abstraction Refinement Technique," Proceedings of International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010), pages 33-38, December 2010.
- 国内会議(査読付き)
- [1] 長岡武志, 岡野浩三, 楠本真二, "時間オートマトンを対象としたコンポーネント部分合成による抽象化洗練手法の改良," 組込みシステムシンポジウム2008 論文集, volume 2008, number 9, pages 141-150, 2008年10月.
- 研究会・全国大会等
- [1] 枝川拓人, 赤池輝彦, 肥後芳樹, 楠本真二, "画面遷移とデータベース処理を考慮したトランザクションファンクション識別手法の詳細化と実装," 電子情報通信学会技術報告, volume 108, number 173, pages 25-30, 2008年7月.
- [2] Takeshi Nagaoka, Kozo Okano, and Shinji Kusumoto, "Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," IEICE Technical Report, volume 107, number 505, pages 103-108, March 2008.
- [3] 長岡武志, 岡野浩三, 楠本真二, "UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法," 電子情報通信学会技術報告, volume 107, number 176, pages 77-82, 2007年8月.
- 学位論文
- [1] Takeshi Nagaoka, "Model Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," Master thesis, 大阪大学, 2008.
- Technical Report
- [1] Takeshi Nagaoka, Kozo Okano, and Shinji Kusumoto, "An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," Techinical Report of Software Design Lab in Osaka Univ. SDL-Sep-3-2008, 2008.