• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Mori Akira  森 彰

ORCIDConnect your ORCID iD *help
… Alternative Names

MORI Akira  森 彰

Less
Researcher Number 30311682
Other IDs
Affiliation (Current) 2025: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム長
Affiliation (based on the past Project Information) *help 2017: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究グループ長
2015 – 2016: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究グループ長
2013 – 2014: 独立行政法人産業技術総合研究所, 知能システム研究部門, 研究グループ長
2012: 独立行政法人産業技術総合研究所, 知能システム研究部門, 主任研究員
2003: National Inst. of Advanced Industrial Sci. and Tech., Group Leader, サイバーアシストセンター, グループリーダー … More
2003: 産業技術総合研究所, サイバーアシスト研究センター, グループリーダ
2002: JAIST, School of Information Science, Associate (AIST , Researcher, now), グループリーダ
2001: 北陸先端科技大, 情報科学研究科, 助手
2001: 産業技術総合研究所, サイバーアシスト研究センター, 主任研究員
2001: 経済産業省産業技術総合研究所, 研究者
1999 – 2000: 北陸先端科学技術大学院大学, 情報科学研究科, 助手 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Software / Computer system/Network
Except Principal Investigator
Science and Engineering / 計算機科学
Keywords
Principal Investigator
リファクタリング解析 / セマンティックウェッブ技術 / ソースコード / リファクタリングパターン / ソフトウェア変更解析 / リファクタリング / ソフトウェア工学 / 構文解析木 / 類似コード検索 / 自動パッチ生成 … More / フォールトローカライゼーション / 差分デバッギング / SPARQL / RDFデータベース / 木差分計算 / 抽象構文木 / ソースコード変更解析 / バイナリコード静的解析 / エミュレーション / 進化系藤樹 / 静的単一代入形式 / 全プログラム解析 / バイナリーコード静的解析 / 進化パターン予測 / バイナリーコード解析 / 進化予測 / コンピューターウィルス / ネットワークセキュリティ技術 / 形式仕様 / 定理証明 / 無限状態 / モデル検査 / 安全性 / 隠蔽代数 / 振舞仕様 / 分散システム … More
Except Principal Investigator
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 / モデル検査 / 振舞詳細化 / シグネチャ・マッチング / 仕様リポジトリ / 安全性検査 / 詳細化検証 / ソフトウェア・コンポネント / 分散オブジェクト / 分散システム / 仕様 / モジュールシステム / 支援ツール / 高信頼 / コンポーネント / 高品位ソフトウェア / 導出 / 形式仕様 / 代数仕様 / コンポネント Less
  • Research Projects

    (6 results)
  • Research Products

    (8 results)
  • Co-Researchers

    (7 People)
  •  A Search Based Change Analysis Method for Large-Scale SoftwarePrincipal Investigator

    • Principal Investigator
      Mori Akira
    • Project Period (FY)
      2014 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      National Institute of Advanced Industrial Science and Technology
  •  A Method for Analyzing Evolution of Computer VirusesPrincipal Investigator

    • Principal Investigator
      MORI Akira
    • Project Period (FY)
      2012 – 2013
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Computer system/Network
    • Research Institution
      National Institute of Advanced Industrial Science and Technology
  •  モデル検査を用いた移動コード安全性の検証に関する研究Principal Investigator

    • Principal Investigator
      森 彰
    • Project Period (FY)
      2001
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Safety Verification Technologies based on Behavioral Specifications

    • Principal Investigator
      FUTATSUGI Kokichi
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Japan Advanced Institute of Science and Technology (JAIST)
  •  分散システムのための代数仕様記述と検証に関する研究Principal Investigator

    • Principal Investigator
      森 彰
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  A Study on Verification of Software Components in Object-Based Distributed Environments

    • Principal Investigator
      FUTATSUGI Kokichi
    • Project Period (FY)
      1999 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology

All 2018 2017 2015 2014 2013 Other

All Journal Article Presentation

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

    • Author(s)
      上村恭平, 森彰, 藤原賢二, 崔恩瀞, 飯田元
    • Journal Title

      情報処理学会論文誌

      Volume: 59(4) Pages: 1225-1239

    • NAID

      170000149456

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26280025
  • [Presentation] Detecting and Analyzing Code Clones in HDL2017

    • Author(s)
      Kyohei Uemura, Akira Mori, Kenji Fujiwara, Eunjong Choi, Hajimu Iida
    • Organizer
      2017 IEEE 11th International Workshop on Software Clones (IWSC)
    • Place of Presentation
      アルペン・アドリア大学、クラーゲンフルト、オーストリア
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26280025
  • [Presentation] Model-based Testing of Stateful APIs with Modbat2015

    • Author(s)
      C. Artho, M. Seidl, Q. Gros, E. Choi, T. Kitamura, A. Mori, R. Ramler, Y. Yamagata
    • Organizer
      International Conference on Automated Software Engineering (ASE 2015)
    • Place of Presentation
      Lincoln, Nebraska, USA
    • Year and Date
      2015-11-09
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26280025
  • [Presentation] バイナリコードの全プログラム解析手法について2014

    • Author(s)
      森彰、泉田大宗
    • Organizer
      2014年 暗号と情報セキュリティシンポジウム(SCIS2014)
    • Place of Presentation
      城山観光ホテル
    • Data Source
      KAKENHI-PROJECT-24650032
  • [Presentation] バイナリコードの全プログラム解析手法について2014

    • Author(s)
      森彰, 泉田大宗
    • Organizer
      2014年暗号と情報セキュリティシンポジウム(SCIS2014)
    • Data Source
      KAKENHI-PROJECT-24650032
  • [Presentation] 複数のプロセスとスレッドにまたがるマルウェア攻撃の自動解析について2013

    • Author(s)
      森彰、泉田大宗
    • Organizer
      SCIS2013 暗号と情報セキュリティシンポジウム
    • Place of Presentation
      ウェスティン都ホテル京都
    • Data Source
      KAKENHI-PROJECT-24650032
  • [Presentation] 複数のプロセスとスレッドにまたがるマルウェア攻撃の自動解析について2013

    • Author(s)
      森彰, 泉田大宗
    • Organizer
      2013年暗号と情報セキュリティシンポジウム(SCIS2013)
    • Data Source
      KAKENHI-PROJECT-24650032
  • [Presentation] A Comprehensive and Scalable Method for Analyzing Fine-Grained Source Code Change Patterns

    • Author(s)
      Masatomo Hashimoto, Akira Mori and Tomonori Izumida
    • Organizer
      22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER'15)
    • Place of Presentation
      カナダ、モントリオール
    • Year and Date
      2015-03-03 – 2015-03-06
    • Data Source
      KAKENHI-PROJECT-26280025
  • 1.  FUTATSUGI Kokichi (50251971)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  AMANO Noriki (30313703)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  IIDA Shusaku (80338590)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  OGATA Kazuhiro (30272991)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  NAKAMURA Masaki (40345658)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  橋本 政朋 (60357770)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 7.  岡田 光弘 (30224025)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi