国際会議

[1] 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] 田中俊彰, 長岡武志, 岡野浩三, 楠本真二, "実時間システムを対象としたCEGARによる抽象洗練の並列化手法," 電子情報通信学会信学技報, volume 110, number 169, pages 35-40, 2010年. [SIGSS201008tstanaka-final.pdf]

[2] 田中俊彰, 長岡武志, 岡野浩三, 楠本真二, "時間システムを対象とした到達可能性解析の高速化手法の提案," 情報処理学会研究報告, volume 170, number 15, 2010年. [SIGSE201011Ver08.pdf]

学位論文

[1] 田中俊彰, "複数反例抽出を用いた時間オートマトンの到達可能性解析手法," 修士学位論文, 大阪大学, 2011年. [document_ver5.0.pdf]