| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2024-03-07 13:30 |
沖縄 | 石垣市健康福祉センター（沖縄） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
Nested Timed Automataに対するZoneに基づく到達可能性解析 ○城 聖一郎（名大）・小川瑞史（北陸先端大）・結縁祥治（名大）  SS2023-53 |
本稿では時間オートマトンをスタックアルファベットとするプッシュダウンオートマトンであるNested Timed Auto... [more] | SS2023-53 pp.25-30 |
| NS, SR, RCS, SeMI, RCC (併催) |
2022-07-15 13:40 |
石川 | 金沢歌劇座 + オンライン開催 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
転送待機時間に基づくOpportunistic Routingにおけるリンク対称性確認手法の性能解析 ○山崎拓真（芝浦工大）・細沼恵里（東大）・山崎 託・三好 匠・シルバーストン トーマス（芝浦工大） NS2022-57 |
転送待機時間に基づき中継端末を動的に選択するOpportunistic routing（OR）では，パケットを受信した各... [more] | NS2022-57 pp.147-150 |
| VLD, DC, RECONF, ICD, IPSJ-SLDM (連催) (併催) [詳細] |
2020-11-17 09:55 |
ONLINE | オンライン開催 | Efficient computation of inductive invariant through flipflop selection ○Fudong Wang・Masahiro Fujita（U-Tokyo） VLD2020-20 ICD2020-40 DC2020-40 RECONF2020-39 |
[more] | VLD2020-20 ICD2020-40 DC2020-40 RECONF2020-39 pp.54-59 |
| NLP, MSS (併催) |
2019-03-14 13:45 |
福井 | 福井大学 文京キャンパス | Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装 ○小嶋翔太・石井大輔（福井大） MSS2018-84 |
ハイブリッドシステムの解析において, 状態の保守的近似に基づく高信頼な数値シミュレーションが役立つ. しかし, 既存の... [more] |
MSS2018-84 pp.19-22 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-12 16:15 |
静岡 | 熱海伊豆山温泉 ハートピア熱海 | 一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 ○藤森浩平・張江洋次朗・和崎克己（信州大） CAS2018-65 MSS2018-41 |
本学で開発されたペトリネット設計ツールHiPS (Hierarchical Petri net Simulator) の... [more] | CAS2018-65 MSS2018-41 pp.43-47 |
| SS | 2018-03-06 12:00 |
沖縄 | 南大東島 | 凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について ○結縁祥治・平岡 祥（名大） SS2017-65 |
本研究では、稠密時間クロックをスタック上にプッシュすることのできる計算モ デルであるDTPDAに対してスタック上でク... [more] |
SS2017-65 pp.7-12 |
| QIT (第二種研究会) |
2017-11-17 10:00 |
埼玉 | 埼玉大学 | 散逸下における量子状態制御の限界 ○小林幸平・山本直樹（慶大） |
量子情報技術の実現において，所望の量子状態を生成する制御は必要不可欠である．しかし量子系に散逸が発生している場合， 状態... [more] | |
| ET | 2016-03-05 16:15 |
香川 | 香川大学（幸町キャンパス） | 初学者向けネットワーク構築演習におけるプログラム解析技術に基づく設定誤り検出法の提案 ○立岩佑一郎・高橋直久（名工大） ET2015-106 |
本稿では，初学者向けネットワーク構築演習で，学習者の構築したネットワーク（答案と呼ぶ）において，通信の到達性に関する設定... [more] | ET2015-106 pp.71-76 |
| COMP | 2013-04-24 10:00 |
兵庫 | 神戸大学 | 枝刈り探索のパスへの拡張による到達可能性クエリ ○矢野洋祐・秋葉拓哉・岩田陽一（東大） COMP2013-1 |
グラフの到達可能性は理論と応用の両方において基礎となる問題であるが，大規模なグラフ上で大量の到達可能性クエリに答えるのは... [more] | COMP2013-1 pp.1-8 |
| MSS | 2013-01-22 14:25 |
大阪 | 大阪国際会議場 | 健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について ○加納大暉・山口真悟（山口大） MSS2012-48 |
ワークフローには定義とインスタンスという二つの側面がある． 本稿では,可達性を利用して，ワークフローインスタンスの正し... [more] |
MSS2012-48 pp.17-21 |
| MSS | 2013-01-22 14:50 |
大阪 | 大阪国際会議場 | 自由選択ワークフローネットにおける非安全マーキングへの可達性解析 ○村上雄基・豊嶋伊知郎・山口真悟（山口大） MSS2012-49 |
ワークフローネットにおいて非安全なマーキングに必ず可達なマーキングは, そのワークフローインスタンスが正常に終了できない... [more] | MSS2012-49 pp.23-26 |
| CAS, MSS (共催) |
2011-11-18 11:15 |
山口 | 山口大学大学会館 | Acyclic Well-Structuredワークフローネットの可達性判定について ○濱野慎司・山口真悟（山口大） CAS2011-78 MSS2011-47 |
ワークフローのモデル化と解析にワークフローネットが適用され，成果をあげている． 本稿では可達性を利用して，ワークフロー... [more] |
CAS2011-78 MSS2011-47 pp.83-87 |
| MSS, CAS (共催) |
2010-11-18 10:55 |
大阪 | 関西大学 | A Probability-based State Space Analysis of Petri Nets ○Eleazar Jimenez Serrano（Kyushu Univ.） CAS2010-66 CST2010-39 |
[more] | CAS2010-66 CST2010-39 pp.7-12 |
| DC | 2010-10-14 15:10 |
東京 | 機械振興会館 | GPUを用いた状態可到達性解析の高速化 ○仲田善満・土屋達弘・菊野 亨（阪大） DC2010-22 |
状態可到達性解析とは，システム検証のために状態空間を探索する処理である．この処理はモデル検査などの自動検証において欠かせ... [more] | DC2010-22 pp.25-29 |
| MSS | 2009-06-03 16:50 |
大阪 | 摂南大学大阪センター | ［招待講演］確率時間CEGAR ○森下 篤・駒形龍太・山根 智（金沢大） CST2009-5 |
本論文では, 確率時間オートマトンの到達可能性解析に述語抽象化とその精錬の枠組み（CEGAR）を適用する手法を提案する.... [more] | CST2009-5 pp.25-30 |
| MSS | 2009-06-04 10:25 |
大阪 | 摂南大学大阪センター | モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について ○堀口恭太・宮本俊幸（阪大） CST2009-6 |
マルチエージェントネットはマルチエージェントシステムの形式的なモデル記述言語である． また，複数モジュールにより離散事... [more] |
CST2009-6 pp.31-36 |
| SS | 2009-03-02 17:00 |
佐賀 | 佐賀大学本庄キャンパス | ［招待講演］時間オートマトンのモデル検査 ○中田明夫（広島市大） SS2008-53 |
実時間システムの検証技術の一分野である時間オートマトンのモデル検査技術について，到達可能性解析に焦点を絞り概説する．まず... [more] | SS2008-53 pp.29-34 |
| MSS | 2009-01-30 09:55 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | 微分制約論理式によるハイブリッドシステムのモデリングと検証 ○石井大輔・上田和紀（早大）・細部博史（NII） CST2008-53 |
本研究ではハイブリッドシステムの到達可能性検証のための有界モデル検査法（bounded model checking）を... [more] | CST2008-53 pp.67-70 |
| 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 |
[研究会発表申込システムのトップページに戻る]