| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2018-03-06 12:00 |
沖縄 | 南大東島 | 凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について ○結縁祥治・平岡 祥（名大）  SS2017-65 |
本研究では、稠密時間クロックをスタック上にプッシュすることのできる計算モ デルであるDTPDAに対してスタック上でク... [more] |
SS2017-65 pp.7-12 |
| MSS | 2009-06-03 16:50 |
大阪 | 摂南大学大阪センター | ［招待講演］確率時間CEGAR ○森下 篤・駒形龍太・山根 智（金沢大） CST2009-5 |
本論文では, 確率時間オートマトンの到達可能性解析に述語抽象化とその精錬の枠組み（CEGAR）を適用する手法を提案する.... [more] | CST2009-5 pp.25-30 |
| SS | 2009-03-02 17:00 |
佐賀 | 佐賀大学本庄キャンパス | ［招待講演］時間オートマトンのモデル検査 ○中田明夫（広島市大） SS2008-53 |
実時間システムの検証技術の一分野である時間オートマトンのモデル検査技術について，到達可能性解析に焦点を絞り概説する．まず... [more] | SS2008-53 pp.29-34 |
| CAS, MSS (共催) |
2008-11-06 16:15 |
大阪 | 大阪大学 | 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法 ○山崎真一・山根 智・安井雅俊（金沢大） CAS2008-50 CST2008-28 |
本論文では，並列動作する複数の階層時間オートマトンに対して有効な述語抽象化精錬を用いる検証手法を提案する．提案手法では，... [more] | CAS2008-50 CST2008-28 pp.31-36 |
| MSS | 2008-06-03 10:50 |
愛知 | 名古屋大学野依記念学術交流館 | 述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法 駒形龍太・○森下 篤・山根 智（金沢大） CST2008-5 |
本論文では, まず確率時間オートマトンについて定義を行う. そして, その上での効率的な安全性検証手法を提案する. 提案... [more] | CST2008-5 pp.1-6 |
| MSS, CAS (共催) |
2004-11-04 09:55 |
愛知 | 愛知県立大学 | 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法 ○陸田陽介・山根 智（金沢大） |
組込みシステムをはじめ，アナログ・デジタル混成のハイブリッドシステムとしてモデル化できるものは多い． 加えて，それらは... [more] |
CAS2004-43 CST2004-22 pp.7-12 |
[研究会発表申込システムのトップページに戻る]