電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 14件中 1~14件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
ISEC, SITE, ICSS, EMM, HWS, BioX
(共催)
IPSJ-CSEC, IPSJ-SPT
(共催)
(連催) [詳細]
2019-07-23
13:10
高知 高知工科大学 ガロア体算術に基づく暗号ハードウェアの形式的トロイフリー性検証
伊東 燦上野 嶺本間尚文東北大
本稿では,暗号ハードウェアにハードウェアトロイ (HT: Hardware Trojan)が含まれないことを論理的に保証... [more] ISEC2019-26 SITE2019-20 BioX2019-18 HWS2019-21 ICSS2019-24 EMM2019-29
pp.133-138
SS 2019-03-04
17:10
沖縄 沖縄産業支援センター ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案
辻 光顕高井利憲奈良先端大)・片平真史石濱直樹JAXA)・柿本和希飯田 元奈良先端大
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] SS2018-67
pp.91-96
ICSS, IA
(共催)
2018-06-26
10:45
愛媛 愛媛大学 南加記念ホール [招待講演]安全性解析技術に関する近年の動向
矢内直人阪大
各研究における提案技術の安全性について, 数理的技法を通じて解析する手法が近年高い注目を受けている. 本稿ではこの数理的... [more] IA2018-12 ICSS2018-12
pp.73-75
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2015-07-24
09:00
北海道 札幌市教育文化会館 Atelier-Bによる形式検証手法の試行評価
山本椋太山本修一郎名大
本論文では,Bメソッドの開発ツールであるAtelier-B(CLEARSY社)を用いて実施した形式的検証手法の評価につい... [more] SS2015-29 KBSE2015-22
pp.143-148
VLD, DC, IPSJ-SLDM
(連催)
ICD, CPM
(共催)
CPSY, RECONF
(併催) [詳細]
2014-11-26
10:45
大分 ビーコンプラザ(別府国際コンベンションセンター) タイミング制約を含んだ回路記述方式とその意味論
西村俊二尼崎太樹末吉敏則熊本大
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,その検証対象は同期回路に限られ... [more] VLD2014-82 DC2014-36
pp.81-86
RECONF 2014-09-19
14:40
広島 杜の宿 様相論理によるマルチクロック同期回路の形式検証体系
西村俊二尼崎太樹末吉敏則熊本大
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,多くの場合検証対象は単一クロッ... [more] RECONF2014-33
pp.93-98
SS 2014-03-11
10:30
沖縄 てんぷす那覇:第1・2会議室 SATソルバを活用した決定表作成・検証方式
伊藤信治佐藤直人金藤栄孝宮崎邦彦森 浩起木村 誠山口 潔日立
条件の組合せパターンの考慮漏れを防止する方法の1つとして、決定表の活用が有効である。しかし、決定表は、条件項目の数が多く... [more] SS2013-73
pp.7-11
VLD 2014-03-05
15:45
沖縄 沖縄県青年会館 VerilogHDLによるハードウェア設計への記号モデル検査の適用事例
横川智教東山大地岡山県立大)・近藤真史川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大
従来のランダムテストによるIP検証では,検証の網羅性を保証することが極めて困難であることから,モデル検査による形式的検証... [more] VLD2013-166
pp.177-182
SS, MSS
(共催)
2014-01-31
09:55
愛知 豊田中央研究所 CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
竹下 淳小橋潤平山根 智金沢大
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] MSS2013-62 SS2013-59
pp.65-70
KBSE 2012-11-22
11:25
石川 金沢大学 (角間キャンパス) アセンブリプログラムに対するSMTソルバを使用する有界モデル検査
小橋潤平竹下 淳山根 智金沢大
本稿では組込みシステム向けアセンブリ言語プログラムコードのレジスタレベルモデルに対してSMTソルバを用いた有界モデル検査... [more] KBSE2012-41
pp.19-24
MSS 2012-03-09
13:00
東京 JAIST東京サテライト コンシェルジュサーバを持つ電話システムの形式的検証
黒野恵人前田 彩・○河辺義信愛知工大
電話による詐欺から身を守るには,発信者が詐欺師でないことを確認することが重要である.
山本らは,この確認作業を(半)自... [more]
MSS2011-84
pp.61-66
KBSE 2011-11-11
13:20
長野 信州大学工学部 UMLモデルからの変換によるWebアプリケーションの形式検証
大須賀隆彦早大)・小野康一日本IBM)・深澤良彰早大
モデル検査法がアプリケーションソフトウェアの形式検証のために適用されつつある.ソフトウェア開発の上流工程ではモデルを開発... [more] KBSE2011-49
pp.79-84
SS 2011-10-28
11:45
石川 北陸先端科学技術大学院大学 分離論理を用いたTOPPERS/ASPの割込み動作に対する検証
中島 崇結縁祥治名大
本研究では,TOPPERS/ASPの割込み処理におけるARMアセンブリ言語コードの振舞を分離論理を用いて検証する.ARM... [more] SS2011-37
pp.61-66
SIP, ICD, IE, IPSJ-SLDM
(共催)
2005-10-21
15:30
宮城 作並温泉一の坊 モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法
垣内洋介阪大)・北嶋 暁阪電通大)・浜口清治柏原敏伸阪大
本論文では,ハードウェアインターフェース仕様全体をより包括的に検証することを目指し,正規表現ベースの仕様記述言語からモニ... [more] SIP2005-127 ICD2005-146 IE2005-91
pp.73-78
 14件中 1~14件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会