菊野 亨 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
菊野 亨
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学大学院 情報科学研究科
-
菊野 亨
大阪大学 基礎工学部
-
土屋 達弘
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学基礎工学部
-
菊野 亨
大阪大学基礎工学部情報工学科
-
水野 修
京都工芸繊維大学大学院工芸科学研究科
-
水野 修
大阪大学大学院情報科学研究科
-
水野 修
大阪大学大学院
-
平山 雅之
情報処理推進機構ソフトウェア・エンジニアリング・センター
-
菊地 奈穂美
情報処理推進機構ソフトウェア・エンジニアリング・センター
-
平山 雅之
(株)東芝・ソフトウェア技術センター
-
畑 秀明
大阪大学大学院情報科学研究科
-
出張 純也
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学
-
リーラープルット パッタラ
大阪大学大学院情報科学研究科
-
出張 純也
大阪大学大学院 情報科学研究科
-
長野 伸一
(株)東芝
-
牧川 文紀
大阪大学大学院情報科学研究科
-
松尾 尚文
大阪大学大学院情報科学研究科
-
松本 健一
奈良先端科学技術大学院大学
-
松本 健一
奈良先端科学技術大学院大学情報科学研究科
-
中村 匡秀
奈良先端科学技術大学院大学情報科学研究科
-
角田 良明
大阪大学大学院基礎工学研究科情報数理系専攻
-
長野 伸一
大阪大学大学院基礎工学研究科情報数理系専攻
-
中村 匡秀
大阪大学サイバーメディアセンター
-
上原 智
(株)nttデータ:大阪大学大学院基礎工学研究科
-
門野 雅弥
大阪大学基礎工学部
-
尾形 憲一
大阪大学大学院情報科学研究科
-
菊地 奈穂美
情報処理推進機構ソフトウェア・エンジニアリング・センター|沖電気工業株式会社
-
森井 亮介
大阪大学大学院情報科学研究科
-
田中 崇浩
大阪大学大学院情報科学研究科
-
菊地 奈穂美
情報処理推進機構 ソフトウェア・エンジニアリング・センター
-
寺澤 雅樹
大阪大学大学院情報科学研究科
-
池田 伸一
大阪大学大学院情報科学研究科
-
奥山 拓矢
大阪大学大学院情報科学研究科
-
上原 智
大阪大学大学院基礎工学研究科情報数理系専攻
-
菊地 奈穂美
独立行政法人情報処理推進機構ソフトウェアエンジニアリングセンター
-
平山 雅之
独立行政法人情報処理推進機構ソフトウェア・エンジニアリング・センター
-
土屋 達弘
大阪大学
-
天嵜 聡介
大阪大学大学院情報科学研究科
-
高木 徳生
オムロン(株)ソーシアルシステムズ・ソリューション&サービス・ビジネスカンパニー公共ソリューション事業部事業企画部インテグレーション課
-
高木 徳生
オムロン株式会社ソーシアルシステムズカンパニープロセス革新部
-
瀧 友和
大阪大学大学院基礎工学研究科
-
平山 雅之
独立行政法人 情報処理推進機構
-
吉村 健太郎
(株)日立製作所
-
長野 伸一
(株)東芝研究開発センター
-
寺邊 正大
(株)三菱総合研究所総合安全研究センター
-
寺辺 正大
三菱総合研究所総合安全研究センター
-
寺邊 正大
(株)三菱総合研究所 安全技術研究部
-
平山 雅之
(独)情報処理推進機構
-
紀本 眞
大阪大学大学院情報科学研究科
-
寺邊 正大
(株)三菱総合研究所
-
南川 恭洋
大阪大学大学院情報科学研究科
-
高村 達史
大阪大学大学院情報科学研究科
-
吉村 健太郎
株式会社日立製作所日立研究所
-
菊地 奈穂美
沖電気工業(株)
-
菊地 奈穂美
(独)情報処理推進機構ソフトウェア・エンジニアリング・センター(IPA SEC)
-
浜野 康裕
大阪大学大学院情報科学研究科
-
パイディ ロハユ
(株)マレーシア松下電器
-
濱松 雅
大阪大学大学院情報科学研究科
-
ウォン テンライ
大阪大学大学院情報科学研究科
-
ラープルット パッタラリー
大阪大学大学院情報科学研究科
-
寺邊 正大
三菱総研
-
橋本 幸司
大阪大学大学院基礎工学研究科情報数理系専攻
-
恵南 慶宣
大阪大学大学院 基礎工学研究科 情報数理系専攻
-
清川 清
大阪大学大学院情報科学研究科
-
岸野 文郎
大阪大学大学院情報科学研究科マルチメディア工学専攻
-
藤原 融
大阪大学大学院情報科学研究科
-
秋吉 政徳
大阪大学大学院情報科学研究科
-
原 隆浩
大阪大学大学院情報科学研究科マルチメディア工学専攻
-
橋本 昌宜
大阪大学大学院情報科学研究科
-
楠本 真二
大阪大学大学院情報科学研究科
-
阿南 佳之
オムロンソフトウェア(株)
-
中西 通雄
大阪工業大学情報科学部
-
武内 良典
大阪大学大学院情報科学研究科
-
中前 幸治
大阪大学大学院情報科学研究科
-
寺西 裕一
大阪大学大学院情報科学研究科
-
井垣 宏
神戸大学
-
木本 雅博
大阪大学大学院情報科学研究科
-
清川 清
大阪大学大学院 情報科学研究科
-
水野 修
Nhk札幌放送局
-
寺田 博文
大阪大学大学院基礎光化学研究科情報数理系専攻
-
工藤 英男
奈良工業高等専門学校
-
長野 伸一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
角田 良明
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
菊野 亨
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
山本 徹也
株式会社東芝研究開発センターシステム技術ラボラトリー
-
井垣 宏
神戸大学大学院 工学研究科
-
井垣 宏
奈良先端科学技術大学院大学情報科学研究科
-
市原 浩司
大阪大学大学院基礎工学研究科情報数理系専攻
-
岸野 文郎
大阪大学大学院情報科学研究科
-
寺西 裕一
大阪大学:情報通信研究機構
-
寺西 裕一
大阪大学
-
寺西 裕一
Nttサイバースペース研究所
-
鳥居 宏次
大阪大学基礎工学部
-
野口 達也
大阪大学大学院情報科学研究科
-
緒方 彰吾
大阪大学大学院情報科学研究科
-
新原 直樹
オムロン株式会社ソーシアル事業グループ開発・生産センタ
-
リーラーブルット パッタラ
大阪大学大学院 情報科学研究科
-
飯田 哲也
大阪大学大学院情報科学研究科
-
吉岡 幸恵
オムロンソフトウェア株式会社
-
田中 又治
オムロンソフトウェア株式会社
-
金 恩美
Dept. of Computer Engineering, Howon University, 韓国
-
伊登 友美
大阪大学大学院基礎工学研究科情報数理系
-
平山 雅之
(株)東芝ソフトウェア技術センター
-
赤井 和幸
大阪大学大学院情報科学研究科
-
金 恩美
Dept. Of Computer Engineering Howon University 韓国
-
成沢 文雄
株式会社日立製作所日立研究所
-
藤原 融
大阪大学基礎工学部情報工学科
-
鳥居 宏次
大阪大学 基礎工学部 情報工学科
-
中西 通雄
大阪工業大学
-
中西 通雄
大阪大学情報処理教育センター
-
山本 徹也
(株)東芝研究開発センターシステム技術ラボラトリ
-
岡安 二郎
(株)東芝研究開発センターシステム技術ラボラトリ
-
出張純也
大阪大学大学院情報科学研究科
-
劉 華浩
大阪大学大学院情報科学研究科
-
近堂 高広
大阪大学大学院情報科学研究科情報システム工学専攻
-
安部 誠也
大阪大学大学院情報科学研究科情報システム工学専攻
-
井神 至朗
大阪大学大学院情報科学研究科
-
中市 秀哉
大阪大学基礎工学部情報科学科
-
平山 雅之
(株)東芝
-
池田 拓郎
大阪大学大学院基礎工学研究科情報数理系専攻
-
岡安 二郎
株式会社東芝研究開発センターシステム技術ラボラトリー
-
寺西 裕一
大阪大学大学院情報科学研究科:情報通信研究機構連携研究部門
-
仲田 善満
大阪大学大学院情報科学研究科
-
中井 亮介
大阪大学大学院情報科学研究科
-
秀島 健太郎
大阪大学大学院情報科学研究科
-
田中 敏文
オムロン株式会社開発・生産センタ
-
工藤 公太
大阪大学大学院情報科学研究科情報システム工学専攻
-
濱崎 孝成
大阪大学大学院情報科学研究科情報システム工学専攻
-
李 暁寧
大阪大学大学院情報科学研究科情報システム工学専攻
-
下田 大輔
大阪大学大学院基礎工学研究科情報数理系専攻
-
足立 卓也
大阪大学大学院基礎工学研究科情報数理系専攻
-
重松 英二郎
大阪大学大学院基礎工学研究科情報数理系専攻
-
坂本 啓司
オムロン株式会社
-
森 真佐也
大阪大学大学院基礎工学研究科情報数理系
-
二木 俊樹
オムロン株式会社
-
五十嵐 大輔
大阪大学大学院情報科学研究科情報システム工学専攻
-
鳥居 宏次
大阪大 基礎工
-
坂本 啓司
オムロン株式会社開発・生産センタ:奈良先端科学技術大学院大学情報科学研究科
-
中村 匡秀
大阪大学大学院基礎工学研究科情報数理系専攻
-
芦田 英二
大阪大学大学院基礎工学研究科情報数理系専攻
-
西本 哲
大阪大学大学院情報科学研究科
-
山本 浩司
大阪大学大学院情報科学研究科情報システム工学専攻
-
小林 慎和
大阪大学大学院基礎工学研究科情報数理系専攻
-
阿南 佳之
オムロンソフトウェア株式会社
-
原 隆浩
大阪大学大学院情報科学研究科
-
平山 雅之
日本大学大学院理工学研究科
-
成沢 文雄
(株)日立製作所
-
徳山 瞬
大阪大学
-
柴 俊明
大阪大学 大学院情報科学研究科
-
柴 俊明
大阪大学大学院情報科学研究科
-
井戸 伸彦
大阪大学大学院基礎工学研究科情報数理系
-
井上 裕之
大阪大学
-
崔 銀恵
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
崔 銀恵
大阪大学大学院基礎工学研究科情報数理系専攻
-
秋吉 政徳
大阪大学大学院 情報科学研究科
-
武内 良典
大阪大学大学大学院情報科学研究科
-
藤原 融
大阪大学大学院基礎工学研究科情報数理系
-
原 隆浩
大阪大学大学院工学研究科情報システム工学専攻
-
岸野 文郎
大阪大学大学院 工学研究科
-
藤原 融
大阪大学大学院基礎工学研究科
著作論文
- 新年のご挨拶 : 2010年:新しい変化の年そして挑戦の年
- ラウンドモデルからの変換による非同期コンセンサスアルゴリズムの導出(ネットワーク環境でのディペンダビリティ)
- 大学院情報系学生に対する技術者倫理教育(技術者倫理・情報倫理教育の現状と課題,及び一般)
- 3状態相互排他アルゴリズムの安定時間の下限について
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- ペアワイズテスト : ソフトウェアテストの効率化を求めて
- マルチエージェントを用いた無中断予備VP設定方式
- 5 組込みシステムにおけるソフトウェアプロダクトラインの導入(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- 年頭の挨拶 : 30年を振り返って,一歩一歩前進
- 揺りかごのような存在 : 屋久島の倒木の役割
- 情報処理・ソフトウェアの信頼性保証技術 : 10年の歩みを踏まえて
- 情報家電に期待すること : 安定した生活の立場から
- モデル検査入門
- モデル検査を用いたコンセンサスアルゴリズムの合意性検証(ネットワーク環境でのディペンダビリティ)
- Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- ホームネットワークシステムにおける連携サービスのモデル検査による検証
- モデル検査による分散システムにおける合意アルゴリズムの安全性の検証(ディペンダブルソフトウェアとネットワーク及び一般)
- 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案(安全性及び一般)
- 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案
- ペトリネットに対する充足可能性判定を利用した検証手法の提案(コンカレント工学一般)
- ペトリネットに対するSATを利用したモデル検査の効率化
- 充足可能性判定を用いたモデル検査ツールの実装
- ホームネットワークシステムにおけるサービス競合の分類と解消について
- ソフトウェアメトリクスのデータマイニングによる障害発生要因特定
- Webシステムにおけるコンテクストデータストア機構の設計とコンポーネントオブジェクト技術を利用した実装
- 5ZC-10 オブジェクト指向によるプロトタイピング開発のための工数見積もりの検討
- Javaプログラムのためのソフトウェアメトリクスの提案
- 仕様変更に伴うソースコード変更量の分析 : クラス機能特性に基づくメトリクスの適用
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 製品リリース履歴における論理的結合集合に基づいた横断フィーチャ分析法
- メソッド呼び出しに関する不具合修正での変更作業の分析
- ソフトウェアプロジェクト予測に用いるメトリクスの削減
- プログラム設計過程の定量的評価の試み-初期設計書の品質から見た評価-
- 機能モジュールに対する優先度に基づいた選択的ソフトウェアテスト手法の提案
- ベイズ識別器による不具合予測のための相関ルールマイニングを用いたメトリクス絞り込み
- ソフトウェア開発データに対する相関ルールマイニングを利用した不具合増加要因の調査
- ソフトウェアプロジェクト診断のためのチェックリスト導出(レビュー,品質(学生セッション))
- 企業横断的データからのプロジェクト改善案の相関ルールマイニングによる抽出
- 相関ルールマイニングによる企業横断データにおける不具合工数密度の分析
- 相関ルールマイニングの適用によるソフトウェア生産性の決定要因の分析(学生セッション C_開発プロセス)
- GPUを用いた状態可到達性解析の高速化(ネットワーク環境でのディペンダビリティ,及び一般)
- 欠損を含むプロジェクトデータからのプロジェクト成否予測のための特徴抽出
- Webアプリケーションの脆弱性検出を目的とした自動テストツールの性能評価(ネットワーク環境でのディペンダビリティ,及び一般)
- メソッドに対するコメント文記述の変更履歴とメソッドの不具合との関係に関する実証的考察 (ソフトウェアサイエンス)
- フォールトプローンモジュール検出手法間の精度比較 : Fault-pronenessフィルタリングとロジスティック回帰
- ソースコード中に含まれる不具合トークンをテキスト分類に基づいて推定するツールの試作と評価
- ソースコード中に含まれる不具合トークンをテキスト分類に基づいて推定するツールの試作と評価
- 相関ルールマイニングによるソフトウェア開発プロジェクト中のリスク要因の分析(推薦論文・ソフトウェア工学の基礎)
- ベイズ識別器による混乱予測に基づくソフトウェアプロジェクト管理支援ツールの試作(学生セッション C_開発プロセス)
- 汎用テキスト分類フィルタを利用した不具合を含むソースコードの予測
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- 1-2 スパムフィルタリングに基づくフォールトプローンモジュール検出器の開発(セッション1「プロジェクト管理・ソフト」)
- 5B-2 品質定量指標のための異なるプログラミング言語間での規模の比較の試み(プロジェクトの定量的管理,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- ゴシップ型ブロードキャストの高信頼化のための適応的再送手法の提案(ネットワーク,SWoPP2006)
- スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
- スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- 5B-1 相関ルールマイニングを利用したソフトウェアプロジェクト混乱要因の関連性に関する調査(プロジェクトの定量的管理,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
- マルチエージェントを用いた無中断予備VP設定方式
- プロトコル検証シミュレータの開発とコネクション確立プロトコルへの適用
- 通信プロトコルのリスポンシブネス検証における仮想システム状態の導入効果の実験的評価
- 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
- 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
- C-010 アドホックネットワークに対するゴシップ型ブロードキャストプロトコルの信頼性の分析(C.アーキテクチャ・ハードウェア)
- システム特性を考慮したペアワイズテストの改良
- サーベイ論文「ペアワイズテスト-ソフトウェアテストの効率化を求めて-」に関する訂正と補足
- 情報家電システムの安全検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
- 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価 (ソフトウェアサイエンス)
- テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- 定量的プロジェクトマネジメント : メトリクスデータ利用の新技術(「ソフトウェア信頼性工学の新展開」)
- 複数の手法を用いたソフトウェア開発プロジェクトの混乱予測 : 手法間での精度比較実験
- ソフトウェア開発メンバーへのアンケートを利用したBaysian Classifierによるプロジェクト混乱予測
- リスク要因を考慮したシステムダイナミクスに基づくソフトウェアプロジェクトシミュレータの開発
- ベイジアンネットに基づくソフトウェア開発工程の最終品質予測モデルの提案
- 効果的なソフトウェア開発プロジェクト管理のためのシステムダイナミクスに基づくシミュレーションモデルの提案
- プロジェクトマネージャへのアンケートに対する因子分析に基づいたソフトウェア開発コスト推定モデルの提案
- フィールド不具合数を許容値以下に抑えるためのソフトウェアテスト工数の推定モデルの提案
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)
- オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)
- ある企業におけるソフトウェアプロセス改善の効果に対する統計的分析
- Use Case Mapsを用いたサービス競合可能シナリオの導出と実験的評価(ネットワークオペレーションと資源管理論文)
- オープンソースを用いた実験環境でのプログラマブルVoIPサービスの意味誤りの評価(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- オープンソースを用いた実験環境でのプログラマブルVoIPサービスの意味誤りの評価(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- オープンソースを用いた実験環境でのプログラマブルVoIPサービスの意味誤りの評価
- サービス競合フィルタリングにおける競合可能シナリオの導出の評価
- サービス競合フィルタリングにおける競合可能シナリオの導出の評価
- マルチプロセッサスケジューリングのGA解法に対する精度向上
- CPLで記述したサービスのサービス競合の分類
- CPLで記述したサービスのサービス競合の分類
- CPLで記述したサービスのサービス競合の分類
- C-009 ゴシップ型マルチキャストにおけるメンバーシップビューの構造化が信頼性に及ぼす影響に関する研究(C.アーキテクチャ・ハードウェア)
- 不具合修正に関わるメソッド呼び出しの変更についての定量的分析
- リンク故障を考慮したkコテリーの信頼性評価手法
- アドホックネットワークにおける可変送信出力を用いた省電力ブロードキャスト手法の提案(解析・省電力,SWoPP2006)
- 無線モバイルマイクロセンサーネットワークにおける自己組織的センサー配置手法の提案
- 通信サービスにおけるユーザニーズの保証 : フィーチャーインタラクションの解決に向けて
- ソースコードの構造に対する体系的変更内容の復元 (知能ソフトウェア工学)
- ソースコードの構造に対する体系的変更内容の復元 (ソフトウェアサイエンス)
- Erasure符号によるゴシップ型ブロードキャストの高信頼化手法の提案(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- Erasure符号によるゴシップ型ブロードキャストの高信頼化手法の提案(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- Erasure符号によるゴシップ型ブロードキャストの信頼性向上について(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- Erasure符号によるゴシップ型ブロードキャストの信頼性向上について(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- メソッドに対するコメント文記述の変更履歴とメソッドの不具合との関係に関する実証的考察
- 利益予測に基づくソフトウェアプロセス改善の試み
- コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価
- IRISソフトリアルタイムタスクの複数サーバ上への効果的なスケジューリング法の提案
- 世界基準を求めて
- A-042 p-median問題に対するアントアルゴリズムの適用(A.モデル・アルゴリズム・プログラミング)
- 記号モデル検査を用いたステートチャートの検証
- マルチプロセッサシステムのためのプログラム構造を考慮したフォールトトレラントスケジューリング
- あるマルチプロセッサ上でのフォールトトレラントスケジューリングアルゴリズムの提案
- 充足可能性判定を用いたモデル検査ツールの実装
- 非連続Reward関数を持つIRISソフトリアルタイムタスクのスケジューリング
- 欠損率の高いプロジェクトデータを利用したプロジェクトの成否予測
- メタヒューリスティックを用いた組合せテスト用テストセットの生成法(安全性及び一般)
- ソースコードの構造に対する体系的変更内容の復元
- ソースコードの構造に対する体系的変更内容の復元
- 上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査(ネットワーク環境でのディペンダビリティ,及び一般)
- ネットワークコーディングに基づくゴシップの提案(ネットワーク環境でのディペンダビリティ,及び一般)
- 分散システムにおける信頼性最大の資源配置について
- 開発履歴メトリクスを用いた細粒度なFault-proneモジュール予測
- ペトリネットに対する充足可能性判定を用いた検証法の提案
- ワークステーションクラスタを用いた耐故障並列分枝限定法の実装