• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

森 彰  Mori Akira

ORCIDORCID連携する *注記
研究者番号 30311682
その他のID
所属 (現在) 2025年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム長
所属 (過去の研究課題情報に基づく) *注記 2017年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究グループ長
2015年度 – 2016年度: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究グループ長
2013年度 – 2014年度: 独立行政法人産業技術総合研究所, 知能システム研究部門, 研究グループ長
2012年度: 独立行政法人産業技術総合研究所, 知能システム研究部門, 主任研究員
2003年度: 産業技術総合研究所, サイバーアシストセンター, グループリーダー … もっと見る
2003年度: 産業技術総合研究所, サイバーアシスト研究センター, グループリーダ
2002年度: 産業技術総合研究所, グループリーダ
2001年度: 北陸先端科技大, 情報科学研究科, 助手
2001年度: 産業技術総合研究所, サイバーアシスト研究センター, 主任研究員
2001年度: 経済産業省産業技術総合研究所, 研究者
1999年度 – 2000年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助手 隠す
審査区分/研究分野
研究代表者
計算機科学 / ソフトウェア / 計算機システム・ネットワーク
研究代表者以外
理工系 / 計算機科学
キーワード
研究代表者
リファクタリング解析 / セマンティックウェッブ技術 / ソースコード / リファクタリングパターン / ソフトウェア変更解析 / リファクタリング / ソフトウェア工学 / 構文解析木 / 類似コード検索 / 自動パッチ生成 … もっと見る / フォールトローカライゼーション / 差分デバッギング / SPARQL / RDFデータベース / 木差分計算 / 抽象構文木 / ソースコード変更解析 / バイナリコード静的解析 / エミュレーション / 進化系藤樹 / 静的単一代入形式 / 全プログラム解析 / バイナリーコード静的解析 / 進化パターン予測 / バイナリーコード解析 / 進化予測 / コンピューターウィルス / ネットワークセキュリティ技術 / 形式仕様 / 定理証明 / 無限状態 / モデル検査 / 安全性 / 隠蔽代数 / 振舞仕様 / 分散システム … もっと見る
研究代表者以外
CafeOBJ / formal methods / 形式手法 / 検証 / PigNose / behavioral specification / e-commerce protocol / authentication protocol / unknown virus detection / system verification / system security / 抽象機械 / 移動コード / 実時間システム / セキュアプロトコル / 安全性検証 / Java仮想機械 / CadeOBJ / UNITY / 自動証明器PigNose / 安全性 / 振舞モデル検査 / ウィルス検査 / cafeOBJ / 振舞仕様 / 電子商取引プロトコル / 認証プロトコル / 未知ウイルス検知 / システム検証 / システム安全性 / high-assurance software / resolution / verification / algebraic specification / components / モデル検査 / 振舞詳細化 / シグネチャ・マッチング / 仕様リポジトリ / 安全性検査 / 詳細化検証 / ソフトウェア・コンポネント / 分散オブジェクト / 分散システム / 仕様 / モジュールシステム / 支援ツール / 高信頼 / コンポーネント / 高品位ソフトウェア / 導出 / 形式仕様 / 代数仕様 / コンポネント 隠す
  • 研究課題

    (6件)
  • 研究成果

    (8件)
  • 共同研究者

    (7人)
  •  検索をベースとした大規模ソフトウェアの変更解析に関する研究研究代表者

    • 研究代表者
      森 彰
    • 研究期間 (年度)
      2014 – 2017
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      国立研究開発法人産業技術総合研究所
  •  コンピューターウィルスの進化を分析する手法の研究研究代表者

    • 研究代表者
      森 彰
    • 研究期間 (年度)
      2012 – 2013
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      独立行政法人産業技術総合研究所
  •  モデル検査を用いた移動コード安全性の検証に関する研究研究代表者

    • 研究代表者
      森 彰
    • 研究期間 (年度)
      2001
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  振舞仕様に基づく安全性検証の研究

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      北陸先端科学技術大学院大学
  •  分散システムのための代数仕様記述と検証に関する研究研究代表者

    • 研究代表者
      森 彰
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  分散オブジェクト環境におけるコンポネント仕様の検証に関する研究

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1999 – 2002
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学

すべて 2018 2017 2015 2014 2013 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] ハードウェア記述言語におけるコードクローンの定量的調査2018

    • 著者名/発表者名
      上村恭平, 森彰, 藤原賢二, 崔恩瀞, 飯田元
    • 雑誌名

      情報処理学会論文誌

      巻: 59(4) ページ: 1225-1239

    • NAID

      170000149456

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280025
  • [学会発表] Detecting and Analyzing Code Clones in HDL2017

    • 著者名/発表者名
      Kyohei Uemura, Akira Mori, Kenji Fujiwara, Eunjong Choi, Hajimu Iida
    • 学会等名
      2017 IEEE 11th International Workshop on Software Clones (IWSC)
    • 発表場所
      アルペン・アドリア大学、クラーゲンフルト、オーストリア
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280025
  • [学会発表] Model-based Testing of Stateful APIs with Modbat2015

    • 著者名/発表者名
      C. Artho, M. Seidl, Q. Gros, E. Choi, T. Kitamura, A. Mori, R. Ramler, Y. Yamagata
    • 学会等名
      International Conference on Automated Software Engineering (ASE 2015)
    • 発表場所
      Lincoln, Nebraska, USA
    • 年月日
      2015-11-09
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280025
  • [学会発表] バイナリコードの全プログラム解析手法について2014

    • 著者名/発表者名
      森彰、泉田大宗
    • 学会等名
      2014年 暗号と情報セキュリティシンポジウム(SCIS2014)
    • 発表場所
      城山観光ホテル
    • データソース
      KAKENHI-PROJECT-24650032
  • [学会発表] バイナリコードの全プログラム解析手法について2014

    • 著者名/発表者名
      森彰, 泉田大宗
    • 学会等名
      2014年暗号と情報セキュリティシンポジウム(SCIS2014)
    • データソース
      KAKENHI-PROJECT-24650032
  • [学会発表] 複数のプロセスとスレッドにまたがるマルウェア攻撃の自動解析について2013

    • 著者名/発表者名
      森彰、泉田大宗
    • 学会等名
      SCIS2013 暗号と情報セキュリティシンポジウム
    • 発表場所
      ウェスティン都ホテル京都
    • データソース
      KAKENHI-PROJECT-24650032
  • [学会発表] 複数のプロセスとスレッドにまたがるマルウェア攻撃の自動解析について2013

    • 著者名/発表者名
      森彰, 泉田大宗
    • 学会等名
      2013年暗号と情報セキュリティシンポジウム(SCIS2013)
    • データソース
      KAKENHI-PROJECT-24650032
  • [学会発表] A Comprehensive and Scalable Method for Analyzing Fine-Grained Source Code Change Patterns

    • 著者名/発表者名
      Masatomo Hashimoto, Akira Mori and Tomonori Izumida
    • 学会等名
      22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER'15)
    • 発表場所
      カナダ、モントリオール
    • 年月日
      2015-03-03 – 2015-03-06
    • データソース
      KAKENHI-PROJECT-26280025
  • 1.  二木 厚吉 (50251971)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 2.  天野 憲樹 (30313703)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 3.  飯田 周作 (80338590)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  緒方 和博 (30272991)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  中村 正樹 (40345658)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  橋本 政朋 (60357770)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 7.  岡田 光弘 (30224025)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi