表彰・受賞

[1] 長岡武志, 岡野浩三, 楠本真二, "組込みシステムシンポジウム2008 奨励賞," , 2008年10月.

国内会議(査読付き)

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

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

[4] 伊藤明彦, 長岡武志, 岡野浩三, 楠本真二, "確率的モデル検査ツールを用いた実時間ネットワークシステムの 検証手法の提案およびネットワークシミュレータNS-2 との比較," 電子情報通信学会技術報告, volume 109, number 170, pages 37-42, 2009年8月. [SIGSS0908.pdf]

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