| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2009-06-03 14:25 |
大阪 | 摂南大学大阪センター | CPUと動的再構成可能プロセッサとの協調システムのモデル検査 ○南 翔太・瀧内新悟・瀬古口 智・山根 智（金沢大）  CST2009-3 |
CPUとDRPが協調動作するような動的再構成可能組込みシステムのモデル化，仕様記述とモデル検査手法を提案する．プリエンプ... [more] | CST2009-3 pp.13-18 |
| MSS | 2009-06-03 16:50 |
大阪 | 摂南大学大阪センター | ［招待講演］確率時間CEGAR ○森下 篤・駒形龍太・山根 智（金沢大） CST2009-5 |
本論文では, 確率時間オートマトンの到達可能性解析に述語抽象化とその精錬の枠組み（CEGAR）を適用する手法を提案する.... [more] | CST2009-5 pp.25-30 |
| 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 |
| AI | 2007-12-13 15:00 |
京都 | 京都大学百周年時計台記念館 | 組込みシステム設計検証のためのゲーム理論 ○山根 智（金沢大） AI2007-26 |
組込み型システムの設計検証を実現するためには, 組込み型システムはリアクティブ性, リアルタイム性と不確定性を有する... [more] |
AI2007-26 pp.31-36 |
| AI | 2007-12-13 15:30 |
京都 | 京都大学百周年時計台記念館 | 東洋史研究のためのエージェントとサービス ○小林さとみ（京大）・山根 智（金沢大） AI2007-27 |
拡張されたディレクトリサービスは，企業間商取引ばかりでなく研究の共同作業に役立つ．ディレクトリサービスを用いた東洋史研究... [more] | AI2007-27 pp.37-41 |
| MSS | 2007-08-31 14:45 |
島根 | 島根大学総合理工学部多目的ホール | UMLと価値関数を用いたソフトリアルタイムシステムの設計検証手法 ○山根 智・坂倉賢昭（金沢大） CST2007-15 |
近年，デッドラインに厳密でないソフトリアルタイムシステムが重要視されて きている． そこで, 本研究では，ソフトリア... [more] |
CST2007-15 pp.25-30 |
| 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 |
| MSS | 2006-06-01 15:05 |
石川 | 石川ハイテク交流センター | 述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法 ○加藤位明（金沢大）・陸田陽介（NEC）・山根 智（金沢大） |
近年,ユビキタスコンピューティングが進み,身の回りのあらゆるものにシステムが組み込まれるようになった.そうした状況の中,... [more] | CST2006-4 pp.19-24 |
| SS | 2006-04-20 15:40 |
新潟 | 新潟大学五十嵐キャンパス | リアルタイムステートチャートによる形式的手法 徳田 学・○山根 智（金沢大） |
近年，時間的な制約が厳しいリアルタイムシステムは多くの分野に用いられ， 大規模化が進んでおり，仕様記述手法と形式的検証... [more] |
SS2006-5 pp.25-30 |
| MSS, CAS (共催) |
2005-11-10 13:50 |
山口 | 山口大学 | 確率時間インターフェース理論による組込み型システムの設計手法 ○山根 智・荒井恒夫（金沢大） |
組込み型システムのシステマティックな設計手法を実現するためには, 組込み型システムはオープンシステムであり, ハイブ... [more] |
CAS2005-54 CST2005-23 pp.29-34 |
| MSS, CAS (共催) |
2004-11-04 09:55 |
愛知 | 愛知県立大学 | 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法 ○陸田陽介・山根 智（金沢大） |
組込みシステムをはじめ，アナログ・デジタル混成のハイブリッドシステムとしてモデル化できるものは多い． 加えて，それらは... [more] |
CAS2004-43 CST2004-22 pp.7-12 |
| MSS, CAS (共催) |
2004-11-04 10:20 |
愛知 | 愛知県立大学 | 非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法 ○山崎貴史・山根 智（金沢大） |
アナログとデジタルが混在するシステムである，ハイブリッドシステムは 分散リアルタイムシステムや組み込みシステムの解析や... [more] |
CAS2004-44 CST2004-23 pp.13-17 |
[研究会発表申込システムのトップページに戻る]