論文誌

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

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

[3] Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, and Shinji Kusumoto, "Reachability Analysis of Probabilistic Real-Time Systems Based on Cegar for Timed Automata," In Proceedings of International Workshop on Informatics 2010, pages 18-26, September 2010. [IWIN2010_Number17.pdf]

国内会議(査読付き)

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

研究会・全国大会等

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

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

学位論文

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