| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| VLD, CPSY, RECONF, IPSJ-SLDM (共催) |
2009-01-30 09:05 |
神奈川 | 慶応義塾大学(日吉) | 仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法 ○高 飛・西原 佑・松本剛史・藤田昌宏（東大）  VLD2008-110 CPSY2008-72 RECONF2008-74 |
近年、設計期間を短縮するために設計資産の再利用がよく行われている。その際、異なるインタフェースを持つ設計同士を接続する場... [more] | VLD2008-110 CPSY2008-72 RECONF2008-74 pp.111-116 |
| SWIM | 2008-11-21 14:20 |
東京 | 東京国際フォーラム | SOAにおけるサービス記述の形式化 ○岡田 祥・新川芳行（龍谷大） SWIM2008-22 |
SOAの基盤技術の一つであるWebサービスにおける記述言語WSDLを用いることによって、提供するサービスのインタフェース... [more] | SWIM2008-22 pp.35-40 |
| VLD, DC, IPSJ-SLDM (共催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2008-11-18 13:00 |
福岡 | 北九州学術研究都市 | 内部等価点の推定によるルールベース高位検証の高精度化 ○吉田浩章・藤田昌宏（東大/JST） |
高位設計記述間のルールベース等価性検証では、内部変数の等価点を前提として静的な依存関係や制御フローに基づいて定義された等... [more] | VLD2008-78 DC2008-46 pp.109-114 |
| 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 |
| SS | 2008-03-03 11:25 |
長崎 | 長崎大学 | 有界モデル検査を用いた複数UML図の形式的検証 ○宮崎 仁・横川智教・佐藤貞仁・佐藤洋一郎・早瀬道芳（岡山県立大） SS2007-60 |
筆者らはこれまでに，システム開発における複数のUML図で記述された仕様を一つの状態機械としてモデル化し，モデル検査による... [more] | SS2007-60 pp.19-24 |
| AI | 2007-12-13 15:00 |
京都 | 京都大学百周年時計台記念館 | 組込みシステム設計検証のためのゲーム理論 ○山根 智（金沢大） AI2007-26 |
組込み型システムの設計検証を実現するためには, 組込み型システムはリアクティブ性, リアルタイム性と不確定性を有する... [more] |
AI2007-26 pp.31-36 |
| SS | 2007-10-22 15:45 |
宮城 | 宮城大学 | 組込みシステムの外部環境に着目した動作仕様検証 ○金川太俊・瀬戸敏喜・谷口 奨・吉田 純・鵜林尚靖（九工大）・鷲見 毅・平山雅之（東芝） SS2007-32 |
組込みシステムの多くはセンサやアクチュエータを通して外部のコンテキストから影響を受ける．そこで我々はそれらの影響を分析す... [more] | SS2007-32 pp.13-18 |
| SS | 2007-06-22 11:45 |
石川 | 北陸先端科学技術大学院大学 | ドメインの形式記述と検証 ○有本泰仁・二木厚吉（北陸先端大） SS2007-15 |
本稿では，OTS/CafeOBJ Methodによるドメインの形式記述とその検証についての方法を提案する． システム開... [more] |
SS2007-15 pp.35-40 |
| COMP | 2007-04-26 14:25 |
京都 | 京都大学(桂キャンパス) | 確率時間強模倣検証アルゴリズムの実現 ○橋爪裕樹・山根 智（金沢大） COMP2007-6 |
確率時間オートマトン上での形式的検証法は，確率的動作を伴うリアルタイムシステムの検証法に有効である．また，確率時間強模倣... [more] | COMP2007-6 pp.41-48 |
| SIP, ICD, IE, IPSJ-SLDM (共催) |
2005-10-21 15:30 |
宮城 | 作並温泉一の坊 | モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法 ○垣内洋介（阪大）・北嶋 暁（阪電通大）・浜口清治・柏原敏伸（阪大） |
本論文では，ハードウェアインターフェース仕様全体をより包括的に検証することを目指し，正規表現ベースの仕様記述言語からモニ... [more] | SIP2005-127 ICD2005-146 IE2005-91 pp.73-78 |
| CAS, SIP, VLD (共催) |
2005-06-28 13:50 |
宮城 | 東北大学 | 算術アルゴリズム記述言語ARITHに基づく算術演算回路の形式的設計 ○渡邉裕樹・本間尚文・青木孝文（東北大）・樋口龍雄（東北工大） |
本稿では，算術アルゴリズム記述言語ARITHに基づく並列乗算器の設計について述べる．ARITHで記述された乗算アルゴリズ... [more] | CAS2005-21 VLD2005-32 SIP2005-45 pp.37-42 |
| ISEC, LOIS (共催) |
2004-11-09 09:50 |
大阪 | 大阪大学 | 暗号を用いたプロトコルに対するコスト最小攻撃の形式的導出法 ○馬山貴峰・吉田真紀・藤原 融（阪大） |
近年, ネットワークを利用して様々なサービスが提供されている. それらのサービスを実現するプロトコルでは, サービスを安... [more] | ISEC2004-87 OIS2004-54 pp.15-22 |
| MSS, CAS (共催) |
2004-11-04 09:55 |
愛知 | 愛知県立大学 | 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法 ○陸田陽介・山根 智（金沢大） |
組込みシステムをはじめ，アナログ・デジタル混成のハイブリッドシステムとしてモデル化できるものは多い． 加えて，それらは... [more] |
CAS2004-43 CST2004-22 pp.7-12 |
[研究会発表申込システムのトップページに戻る]