Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

論文誌
[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.
[2] 宮本敬三, 岡野浩三, 楠本真二, "Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価," 電子情報通信学会論文誌D, volume J91-D, number 11, pages 2721-2723, 2008年11月. [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]

Search

Tags

この検索内の頻出タグ: abstraction:10 refinement:7 loop:6 timed:5 counterexample-guided:5 automata:5 technique:2 uppaal:1 model:1 java:1 invariants:1 including:1 generated:1 extended:1 evaluation:1 daikon:1 assertions:1 adequacy:1

6 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.037886 seconds.