論文誌

[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. [IWESEP12.pdf]

国内会議(査読付き)

[1] 長岡武志, 岡野浩三, 楠本真二, "時間オートマトンを対象としたコンポーネント部分合成による抽象化洗練手法の改良," 組込みシステムシンポジウム2008 論文集, volume 2008, number 9, pages 141-150, 2008年10月. [0]

研究会・全国大会等

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

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

[3] 長岡武志, 岡野浩三, 楠本真二, "UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法," 電子情報通信学会技術報告, volume 107, number 176, pages 77-82, 2007年8月. [0]

学位論文

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

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

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

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