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

Ogawa Mizuhito  小川 瑞史

ORCIDConnect your ORCID iD *help
… Alternative Names

OGAWA Mizuhito  小川 瑞史

Less
Researcher Number 40362024
Other IDs
Affiliation (Current) 2025: 名古屋大学, 情報学研究科, 招へい教員
Affiliation (based on the past Project Information) *help 2015 – 2024: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
2008 – 2015: Japan Advanced Institute of Science and Technology, 情報科学研究科, 教授
2005: 北陸先端科学技術大学院大学, 安心電子社会研究センター, 特任教授
2004 – 2005: 北陸先端科学技術大学院大学, 情報科学研究科, 特任教授
Review Section/Research Field
Principal Investigator
Software / Medium-sized Section 60:Information science, computer engineering, and related fields / Theory of informatics / Science and Engineering
Except Principal Investigator
Basic Section 60050:Software-related / Software / Software
Keywords
Principal Investigator
仕様検証 / 仕様記述 / モデル検査 / 深層学習 / 形式仕様自動抽出 / 形式的意味自動抽出 / マルウェア意味解析 / ネィティブコード / API / 記号実行 … More / マルウェア解析 / プライバシー / RE-DOS攻撃 / 自然言語処理 / マルウェア / バイナリコード / 命令セット / 動的記号実行 / 古典論理 / 数理論理 / 定理証明系 / 構成的証明 / 合流性 / 項書換え系 / 計算的意味 / 形式証明 / 充足性判定 / 多項式制約 / SMTソルバ / 数式処理 / 制約解消 / ソフトウェア / 構造検証 / 非同期処理 / リアルタイムソフトウェア / セキュリティモデル / 代数的表現 / グラフ / フローグラフ / 代数的データ構造 / 組み合わせ理論 / プログラム解析 … More
Except Principal Investigator
形式言語理論 / セキュリティ / XML / アクティブ学習 / プログラム自動合成 / レジスタオートマトン / 木文法 / 圧縮 / 木オートマトン / 木変換器 / 情報保存性 / モデル検査 / ソフトウェア検証 / あいまいさ階層 / 対話的学習 / 重み付き計算モデル / プログラム自動生成 / レジスタ計算モデル / プライバシー保護 / 計算論的ゲーム構造 / SMTソルバー / Assume-Gurantee / 時間付並行逆計算 / 到達可能性解析 / 分割検証 / アクティブ学習アルゴリズム / イベントクロックオートマトン / 並行計算モデル / 拡張有限状態オートマトン / Assume-Gurantee検証 / 頑健性 / プログラム合成 / mu-計算 / 重み付き文脈自由文法 / ゲーム構造 / 線形時相論理 / 量的情報流 / XPath / 直線的文脈木文法 / 有向グラフ / 文脈自由文法 / トップ木 / 自動解析 / プライバシー / ソフトウェア解析 / 動的情報漏洩量 / プログラムセキュリティ / 計算複雑さ / レジスタ文脈自由文法 / SMTソルバ / マルウェア解析 / 文法圧縮 / programming environment / sofrware development method / database / programming language / component / ソフトウエア学 / 計算機システム / ソフトウエア工学 / プログラム環境 / ソフトウエア構築技術 / データベース / プログラミング言語 / コンポーネント / 頂点問合せ Less
  • Research Projects

    (11 results)
  • Research Products

    (23 results)
  • Co-Researchers

    (17 People)
  •  データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用

    • Principal Investigator
      関 浩之
    • Project Period (FY)
      2022 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Nagoya University
  •  A design of automaton network with data and time based on a compositional active learning

    • Principal Investigator
      結縁 祥治
    • Project Period (FY)
      2021 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Nagoya University
  •  Understanding malware semantics by AI-supported formal methodsPrincipal Investigator

    • Principal Investigator
      小川 瑞史
    • Project Period (FY)
      2020 – 2025
    • Research Category
      Grant-in-Aid for Challenging Research (Pioneering)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Quantitative extension of formal models and its application to software analysis

    • Principal Investigator
      Seki Hiroyuki
    • Project Period (FY)
      2019 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Nagoya University
  •  Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy

    • Principal Investigator
      Seki Hiroyuki
    • Project Period (FY)
      2015 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Dependecy analysis on formal proofs and its applications on discovery of computational proofsPrincipal Investigator

    • Principal Investigator
      Ogawa Mizuhito
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Theory of informatics
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Optimization of polynomial constraint solving based on fusion of approximation and algebraix methodsPrincipal Investigator

    • Principal Investigator
      MIZUHITO Ogawa
    • Project Period (FY)
      2011 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Software Analysis based on Formaly Language Theory and Its Application to Security Verification

    • Principal Investigator
      Seki Hiroyuki
    • Project Period (FY)
      2011 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
      Nara Institute of Science and Technology
  •  Compositional models and its structural verification of real time softwarePrincipal Investigator

    • Principal Investigator
      OGAWA Mizuhito
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  大規模プログラムのためのプログラム解析の自動生成Principal Investigator

    • Principal Investigator
      小川 瑞史
    • Project Period (FY)
      2004 – 2005
    • 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
  •  A Framework for Integrating Programming Languages, Repository and Development Environment

    • Principal Investigator
      OHORI Atsushi
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Tohoku University
      Japan Advanced Institute of Science and Technology

All 2023 2022 2016 2015 2014 2011 2010 2009 2008 2005 Other

All Journal Article Presentation

  • [Journal Article] On the?Determinization of?Event-Clock Input-Driven Pushdown Automata2022

    • Author(s)
      Ogawa Mizuhito、Okhotin Alexander
    • Journal Title

      CSR 2022. Lecture Notes in Computer Science

      Volume: 13296 Pages: 256-268

    • DOI

      10.1007/978-3-031-09574-0_16

    • ISBN
      9783031095733, 9783031095740
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Journal Article] Alternate Stacking Technique Revisited : Inclusion Problem of Superdeterministic Pushdown Automata2008

    • Author(s)
      Nguyen Van Tang, Mizuhito Ogawa
    • Journal Title

      IPSJ Transactions on Programming Vol.1

    • NAID

      130000022132

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Journal Article] Alternate Stacking Technique Revisited : Inclusion Problem of Superdeterministic Pushdown Automata2008

    • Author(s)
      Nguyen Van Tang, Mizuhito Ogawa
    • Journal Title

      IPSJ Transactions on Programming 1(Web公開)

    • NAID

      130000022132

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Journal Article] A Lightweight Mutual Authentication based on Proxy Certificate Trust List2005

    • Author(s)
      Li Xin, Mizuhito Ogawa
    • Journal Title

      日本ソフトウェア科学会論文誌コンピュータソフトウェア 22・2(掲載予定)

    • NAID

      120001063242

    • Data Source
      KAKENHI-PROJECT-16016241
  • [Presentation] Original Entry Point detection based on graph similarity.2023

    • Author(s)
      Pham Thanh Hung, Mizuhito Ogawa
    • Organizer
      16th International Symposium on Foundations & Practice of Security (FPS 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K20625
  • [Presentation] Nested Timed Automataに対するZoneに基づく到達可能性解析2023

    • Author(s)
      城 聖一郎,小川瑞史,結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Presentation] Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary2022

    • Author(s)
      Nguyen Van Anh, Mizuhito Ogawa .
    • Organizer
      11th International Symposium on Information and Communication Technology (SoICT 2022), pp.352-359
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K20625
  • [Presentation] Decidability by two semi-algorithms(口頭発表)2016

    • Author(s)
      Mizuhito Ogawa
    • Organizer
      15th International Workshop on Proof, Computation, Complexity
    • Place of Presentation
      ミュンヘン、ドイツ
    • Year and Date
      2016-05-05
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25540003
  • [Presentation] Confluence of Layered Rewrite Systems2015

    • Author(s)
      Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa
    • Organizer
      24th Computer Science Logic 2015 (CSL 2015), LIPICS Vol.41, pp.423-440.
    • Place of Presentation
      ベルリン、ドイツ
    • Year and Date
      2015-09-07
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25540003
  • [Presentation] Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent2015

    • Author(s)
      Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa
    • Organizer
      25th International Conference on Automated Deduction (CADE-25) 2015, Springer LNAI 9195, pp.111-126.
    • Place of Presentation
      ベルリン、ドイツ
    • Year and Date
      2015-08-01
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25540003
  • [Presentation] Non-E-overlapping and weakly shallow TRSs are confluent(口頭発表)2014

    • Author(s)
      酒井正彦、大山口通夫、小川瑞史
    • Organizer
      第3回 合流性ワークショップ (IWC 2014)
    • Place of Presentation
      ウィーン、オーストリア
    • Year and Date
      2014-07-13
    • Data Source
      KAKENHI-PROJECT-25540003
  • [Presentation] Positive-noise Affine Interval Arithmetic(査読なし)2011

    • Author(s)
      Do Thi Bich Nogc, Mizuhito Ogawa
    • Organizer
      情報処理学会第86回プログラミング研究会
    • Place of Presentation
      神奈川近代文学館(2011年11月1日~2日)
    • Year and Date
      2011-11-02
    • Data Source
      KAKENHI-PROJECT-23300005
  • [Presentation] Conditional Weighted Pushdown Systems and Applications2010

    • Author(s)
      Xin Li, Mizuhito Ogawa
    • Organizer
      ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation(PEPMIO)(pp.141-150)
    • Place of Presentation
      マドリッド
    • Year and Date
      2010-01-19
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] Conditional Weighted Pushdown Systems and Applications2010

    • Author(s)
      Xin Li, Mizuhito Ogawa
    • Organizer
      ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation PEPM10
    • Place of Presentation
      マドリッド、スペイン
    • Year and Date
      2010-01-19
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] Event-Clock Visibly Pushdown Automata2009

    • Author(s)
      Nguyen Van Tang, Mizuhito Ogawa
    • Organizer
      35th Tnternational Conference on Current Trends in Theory and Practice of Computer Science(SOFSEM09)(pp.558-569)(Springer LNCS5404)
    • Place of Presentation
      チェコ
    • Year and Date
      2009-01-27
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] Stacking-based Context-Sensitive Points-to Analysis for Java2009

    • Author(s)
      Xin Li, Mizuhito Ogawa
    • Organizer
      Haifa Verification Conference 2009(HVC09)(pp.133-149)(Springer LNCS 6405)
    • Place of Presentation
      イスラエル
    • Year and Date
      2009-10-20
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] Event-Clock Visibly Pushdown Automata2009

    • Author(s)
      Nguyen Van Tang, Mizuhito Ogawa
    • Organizer
      35th International Conference on Current Trends in Theoryand Practice of Computer Science, SOFSEM09
    • Place of Presentation
      チェコ
    • Year and Date
      2009-01-27
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] Stacking-based Context-Sensitive Points-to Analysis for Java2009

    • Author(s)
      Xin Li, Mizuhito Ogawa
    • Organizer
      Haifa Verification Conference 2009 HVC09
    • Place of Presentation
      ハイファ、イスラエル
    • Year and Date
      2009-10-20
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] Authentication Revisited : Flaw or Not, the Recursive Authentication Protocol2008

    • Author(s)
      Guoqiang Li, Mizuhito Ogawa
    • Organizer
      6th International Symposium on Automated Technology for Verification and Analysis(ATVA08)(pp.374-385)(Springer LNCS 5311)
    • Place of Presentation
      韓国
    • Year and Date
      2008-10-21
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] Authentication Revisited : Flaw or Not, the Recursive Authenticati on Protocol2008

    • Author(s)
      Guoqiang Li, Mizuhito Ogawa
    • Organizer
      6th International Symposium on Automated Technology for Verification and Analysis, ATVA08
    • Place of Presentation
      韓国
    • Year and Date
      2008-10-21
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] raSAT: SMT for Polynomial Inequality(口頭発表)

    • Author(s)
      To Van Khanh, Mizuhito Ogawa
    • Organizer
      第12回SMTワークショップ(SMT 2014)
    • Place of Presentation
      ウィーン、オーストリア
    • Year and Date
      2014-07-17 – 2014-07-18
    • Data Source
      KAKENHI-PROJECT-23300005
  • [Presentation] SMT for Polynomial Constraints on Real Numbers

    • Author(s)
      To Van Khanh, Mizuhito Ogawa
    • Organizer
      Tools for Automatic Program Analysis (TAPAS 2012), Electrical Notes in Theoretical Computer Science, Vol.289, pp.27-40(査読付)
    • Place of Presentation
      Douville, France
    • Data Source
      KAKENHI-PROJECT-23300005
  • [Presentation] Non-E-overlapping, weakly shallow, and non-collapsing TRSs are confluent

    • Author(s)
      酒井正彦、大山口通夫、小川瑞史
    • Organizer
      第25回 自動推論国際会議 (CADE-25)
    • Place of Presentation
      ベルリン、ドイツ
    • Year and Date
      2015-08-01 – 2015-08-07
    • Data Source
      KAKENHI-PROJECT-25540003
  • 1.  SEKI Hiroyuki (80196948)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 2.  HASHIMOTO KENJI (90548447)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 3.  結縁 祥治 (70230612)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 1 results
  • 4.  ONO Satoshi (90407164)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  HIROKAWA Nao (50467122)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  KAJI YUICHI (70263431)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  OHORI Atsushi (60252532)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  KATAYAMA Takuya (70016468)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  GONDOW Katsuhiko (50262283)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  TAJIMA Keishi (60283876)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  NGUYEN MinhLe (30509401)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 12.  寺内 多智弘 (70447150)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  中澤 巧爾 (80362581)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  今井 敬吾 (70456630)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  VU Xuan Tung
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  TO Van Khanh
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 17.  Christian Sternagel
    # 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