| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SS (共催) |
2010-05-28 14:25 |
京都 | 同志社大今出川キャンパス | 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法 ○畠中克也・鎌澤浩司・山根 智（金沢大）  SS2010-13 KBSE2010-13 |
近年，無線センサネットワークがさまざまな分野において注目を集めている．また，組込みシステムの高機能化に伴い，それらのシス... [more] | SS2010-13 KBSE2010-13 pp.75-79 |
| SS | 2010-03-08 09:00 |
鹿児島 | 鹿児島大学 郡元キャンパス | 時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析 ○伊藤明彦・長岡武志・岡野浩三・楠本真二（阪大） SS2009-62 |
本稿では，確率時間オートマトンのCEGARを用いた到達可能性解析を行う手法を提案する．確率時間システムでは，反例となるパ... [more] | SS2009-62 pp.85-90 |
| MSS | 2009-06-03 14:00 |
大阪 | 摂南大学大阪センター | 空間の概念を持つコスト付き確率時間オートマトンの提案とセンサーネットワークへの適用 ○鎌澤浩司・山根 智（金沢大） CST2009-2 |
近年, 無線センサネットワークがさまざまな分野において注目を集めている. しかし, 無線センサネットワークには送信範囲や... [more] | CST2009-2 pp.7-12 |
| MSS | 2009-06-03 16:50 |
大阪 | 摂南大学大阪センター | ［招待講演］確率時間CEGAR ○森下 篤・駒形龍太・山根 智（金沢大） CST2009-5 |
本論文では, 確率時間オートマトンの到達可能性解析に述語抽象化とその精錬の枠組み（CEGAR）を適用する手法を提案する.... [more] | CST2009-5 pp.25-30 |
| MSS | 2008-06-03 10:50 |
愛知 | 名古屋大学野依記念学術交流館 | 述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法 駒形龍太・○森下 篤・山根 智（金沢大） CST2008-5 |
本論文では, まず確率時間オートマトンについて定義を行う. そして, その上での効率的な安全性検証手法を提案する. 提案... [more] | CST2008-5 pp.1-6 |
| COMP | 2007-04-26 14:25 |
京都 | 京都大学(桂キャンパス) | 確率時間強模倣検証アルゴリズムの実現 ○橋爪裕樹・山根 智（金沢大） COMP2007-6 |
確率時間オートマトン上での形式的検証法は，確率的動作を伴うリアルタイムシステムの検証法に有効である．また，確率時間強模倣... [more] | COMP2007-6 pp.41-48 |
| MSS | 2006-07-26 13:25 |
京都 | 京都工芸繊維大学 総合研究棟4階 多目的室 | 確率時間オートマトンの確率時間強模倣検証器の開発 ○山根 智・小寺広志・荒井恒夫（金沢大） |
2003年，我々は以下の判定問題を定義して，その決定可能性を示した： 「ソフトリアルタイムシステムを表現・解析する１つ... [more] |
CST2006-15 pp.31-35 |
[研究会発表申込システムのトップページに戻る]