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

小川 瑞史  Ogawa Mizuhito

ORCIDORCID連携する *注記
研究者番号 40362024
その他のID
所属 (現在) 2025年度: 名古屋大学, 情報学研究科, 招へい教員
所属 (過去の研究課題情報に基づく) *注記 2015年度 – 2024年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
2008年度 – 2015年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授
2005年度: 北陸先端科学技術大学院大学, 安心電子社会研究センター, 特任教授
2004年度 – 2005年度: 北陸先端科学技術大学院大学, 情報科学研究科, 特任教授
審査区分/研究分野
研究代表者
ソフトウエア / 中区分60:情報科学、情報工学およびその関連分野 / 情報学基礎理論 / 理工系
研究代表者以外
小区分60050:ソフトウェア関連 / ソフトウエア / ソフトウェア
キーワード
研究代表者
仕様検証 / 仕様記述 / モデル検査 / 深層学習 / 形式仕様自動抽出 / 形式的意味自動抽出 / マルウェア意味解析 / ネィティブコード / API / 記号実行 … もっと見る / マルウェア解析 / プライバシー / RE-DOS攻撃 / 自然言語処理 / マルウェア / バイナリコード / 命令セット / 動的記号実行 / 古典論理 / 数理論理 / 定理証明系 / 構成的証明 / 合流性 / 項書換え系 / 計算的意味 / 形式証明 / 充足性判定 / 多項式制約 / SMTソルバ / 数式処理 / 制約解消 / ソフトウェア / 構造検証 / 非同期処理 / リアルタイムソフトウェア / セキュリティモデル / 代数的表現 / グラフ / フローグラフ / 代数的データ構造 / 組み合わせ理論 / プログラム解析 … もっと見る
研究代表者以外
形式言語理論 / セキュリティ / XML / アクティブ学習 / プログラム自動合成 / レジスタオートマトン / 木文法 / 圧縮 / 木オートマトン / 木変換器 / 情報保存性 / モデル検査 / ソフトウェア検証 / あいまいさ階層 / 対話的学習 / 重み付き計算モデル / プログラム自動生成 / レジスタ計算モデル / プライバシー保護 / 計算論的ゲーム構造 / SMTソルバー / Assume-Gurantee / 時間付並行逆計算 / 到達可能性解析 / 分割検証 / アクティブ学習アルゴリズム / イベントクロックオートマトン / 並行計算モデル / 拡張有限状態オートマトン / Assume-Gurantee検証 / 頑健性 / プログラム合成 / mu-計算 / 重み付き文脈自由文法 / ゲーム構造 / 線形時相論理 / 量的情報流 / XPath / 直線的文脈木文法 / 有向グラフ / 文脈自由文法 / トップ木 / 自動解析 / プライバシー / ソフトウェア解析 / 動的情報漏洩量 / プログラムセキュリティ / 計算複雑さ / レジスタ文脈自由文法 / SMTソルバ / マルウェア解析 / 文法圧縮 / programming environment / sofrware development method / database / programming language / component / ソフトウエア学 / 計算機システム / ソフトウエア工学 / プログラム環境 / ソフトウエア構築技術 / データベース / プログラミング言語 / コンポーネント / 頂点問合せ 隠す
  • 研究課題

    (11件)
  • 研究成果

    (23件)
  • 共同研究者

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

    • 研究代表者
      関 浩之
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      名古屋大学
  •  データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法

    • 研究代表者
      結縁 祥治
    • 研究期間 (年度)
      2021 – 2025
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      名古屋大学
  •  数理論理手法と人工知能手法の融合に基づくマルウェアの自動意味理解研究代表者

    • 研究代表者
      小川 瑞史
    • 研究期間 (年度)
      2020 – 2025
    • 研究種目
      挑戦的研究(開拓)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      北陸先端科学技術大学院大学
  •  ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用

    • 研究代表者
      関 浩之
    • 研究期間 (年度)
      2019 – 2022
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      名古屋大学
  •  ソフトウェアセキュリティ・プライバシーのための静的解析・動的検査法

    • 研究代表者
      関 浩之
    • 研究期間 (年度)
      2015 – 2018
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      名古屋大学
  •  形式証明の理論依存性解析とその計算可能証明発見への応用研究代表者

    • 研究代表者
      小川 瑞史
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      情報学基礎理論
    • 研究機関
      北陸先端科学技術大学院大学
  •  近似手法と数式処理の融合による実数多項式制約の効率化研究代表者

    • 研究代表者
      小川 瑞史
    • 研究期間 (年度)
      2011 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      北陸先端科学技術大学院大学
  •  形式言語理論に基づく静的解析法とその安全性検査への応用

    • 研究代表者
      関 浩之
    • 研究期間 (年度)
      2011 – 2015
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      名古屋大学
      奈良先端科学技術大学院大学
  •  リアルタイムソフトウェアのコンポジショナルな処理モデルとその構造検証研究代表者

    • 研究代表者
      小川 瑞史
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      北陸先端科学技術大学院大学
  •  大規模プログラムのためのプログラム解析の自動生成研究代表者

    • 研究代表者
      小川 瑞史
    • 研究期間 (年度)
      2004 – 2005
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      北陸先端科学技術大学院大学
  •  言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク

    • 研究代表者
      大堀 淳
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      東北大学
      北陸先端科学技術大学院大学

すべて 2023 2022 2016 2015 2014 2011 2010 2009 2008 2005 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] On the?Determinization of?Event-Clock Input-Driven Pushdown Automata2022

    • 著者名/発表者名
      Ogawa Mizuhito、Okhotin Alexander
    • 雑誌名

      CSR 2022. Lecture Notes in Computer Science

      巻: 13296 ページ: 256-268

    • DOI

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

    • ISBN
      9783031095733, 9783031095740
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K21654
  • [雑誌論文] Alternate Stacking Technique Revisited : Inclusion Problem of Superdeterministic Pushdown Automata2008

    • 著者名/発表者名
      Nguyen Van Tang, Mizuhito Ogawa
    • 雑誌名

      IPSJ Transactions on Programming Vol.1

    • NAID

      130000022132

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500030
  • [雑誌論文] Alternate Stacking Technique Revisited : Inclusion Problem of Superdeterministic Pushdown Automata2008

    • 著者名/発表者名
      Nguyen Van Tang, Mizuhito Ogawa
    • 雑誌名

      IPSJ Transactions on Programming 1(Web公開)

    • NAID

      130000022132

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500030
  • [雑誌論文] A Lightweight Mutual Authentication based on Proxy Certificate Trust List2005

    • 著者名/発表者名
      Li Xin, Mizuhito Ogawa
    • 雑誌名

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

    • NAID

      120001063242

    • データソース
      KAKENHI-PROJECT-16016241
  • [学会発表] Original Entry Point detection based on graph similarity.2023

    • 著者名/発表者名
      Pham Thanh Hung, Mizuhito Ogawa
    • 学会等名
      16th International Symposium on Foundations & Practice of Security (FPS 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20625
  • [学会発表] Nested Timed Automataに対するZoneに基づく到達可能性解析2023

    • 著者名/発表者名
      城 聖一郎,小川瑞史,結縁祥治
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • データソース
      KAKENHI-PROJECT-23K21654
  • [学会発表] Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary2022

    • 著者名/発表者名
      Nguyen Van Anh, Mizuhito Ogawa .
    • 学会等名
      11th International Symposium on Information and Communication Technology (SoICT 2022), pp.352-359
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K20625
  • [学会発表] Decidability by two semi-algorithms(口頭発表)2016

    • 著者名/発表者名
      Mizuhito Ogawa
    • 学会等名
      15th International Workshop on Proof, Computation, Complexity
    • 発表場所
      ミュンヘン、ドイツ
    • 年月日
      2016-05-05
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25540003
  • [学会発表] Confluence of Layered Rewrite Systems2015

    • 著者名/発表者名
      Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa
    • 学会等名
      24th Computer Science Logic 2015 (CSL 2015), LIPICS Vol.41, pp.423-440.
    • 発表場所
      ベルリン、ドイツ
    • 年月日
      2015-09-07
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25540003
  • [学会発表] Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent2015

    • 著者名/発表者名
      Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa
    • 学会等名
      25th International Conference on Automated Deduction (CADE-25) 2015, Springer LNAI 9195, pp.111-126.
    • 発表場所
      ベルリン、ドイツ
    • 年月日
      2015-08-01
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25540003
  • [学会発表] Non-E-overlapping and weakly shallow TRSs are confluent(口頭発表)2014

    • 著者名/発表者名
      酒井正彦、大山口通夫、小川瑞史
    • 学会等名
      第3回 合流性ワークショップ (IWC 2014)
    • 発表場所
      ウィーン、オーストリア
    • 年月日
      2014-07-13
    • データソース
      KAKENHI-PROJECT-25540003
  • [学会発表] Positive-noise Affine Interval Arithmetic(査読なし)2011

    • 著者名/発表者名
      Do Thi Bich Nogc, Mizuhito Ogawa
    • 学会等名
      情報処理学会第86回プログラミング研究会
    • 発表場所
      神奈川近代文学館(2011年11月1日~2日)
    • 年月日
      2011-11-02
    • データソース
      KAKENHI-PROJECT-23300005
  • [学会発表] Conditional Weighted Pushdown Systems and Applications2010

    • 著者名/発表者名
      Xin Li, Mizuhito Ogawa
    • 学会等名
      ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation(PEPMIO)(pp.141-150)
    • 発表場所
      マドリッド
    • 年月日
      2010-01-19
    • データソース
      KAKENHI-PROJECT-20500030
  • [学会発表] Conditional Weighted Pushdown Systems and Applications2010

    • 著者名/発表者名
      Xin Li, Mizuhito Ogawa
    • 学会等名
      ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation PEPM10
    • 発表場所
      マドリッド、スペイン
    • 年月日
      2010-01-19
    • データソース
      KAKENHI-PROJECT-20500030
  • [学会発表] Event-Clock Visibly Pushdown Automata2009

    • 著者名/発表者名
      Nguyen Van Tang, Mizuhito Ogawa
    • 学会等名
      35th Tnternational Conference on Current Trends in Theory and Practice of Computer Science(SOFSEM09)(pp.558-569)(Springer LNCS5404)
    • 発表場所
      チェコ
    • 年月日
      2009-01-27
    • データソース
      KAKENHI-PROJECT-20500030
  • [学会発表] Stacking-based Context-Sensitive Points-to Analysis for Java2009

    • 著者名/発表者名
      Xin Li, Mizuhito Ogawa
    • 学会等名
      Haifa Verification Conference 2009(HVC09)(pp.133-149)(Springer LNCS 6405)
    • 発表場所
      イスラエル
    • 年月日
      2009-10-20
    • データソース
      KAKENHI-PROJECT-20500030
  • [学会発表] Event-Clock Visibly Pushdown Automata2009

    • 著者名/発表者名
      Nguyen Van Tang, Mizuhito Ogawa
    • 学会等名
      35th International Conference on Current Trends in Theoryand Practice of Computer Science, SOFSEM09
    • 発表場所
      チェコ
    • 年月日
      2009-01-27
    • データソース
      KAKENHI-PROJECT-20500030
  • [学会発表] Stacking-based Context-Sensitive Points-to Analysis for Java2009

    • 著者名/発表者名
      Xin Li, Mizuhito Ogawa
    • 学会等名
      Haifa Verification Conference 2009 HVC09
    • 発表場所
      ハイファ、イスラエル
    • 年月日
      2009-10-20
    • データソース
      KAKENHI-PROJECT-20500030
  • [学会発表] Authentication Revisited : Flaw or Not, the Recursive Authentication Protocol2008

    • 著者名/発表者名
      Guoqiang Li, Mizuhito Ogawa
    • 学会等名
      6th International Symposium on Automated Technology for Verification and Analysis(ATVA08)(pp.374-385)(Springer LNCS 5311)
    • 発表場所
      韓国
    • 年月日
      2008-10-21
    • データソース
      KAKENHI-PROJECT-20500030
  • [学会発表] Authentication Revisited : Flaw or Not, the Recursive Authenticati on Protocol2008

    • 著者名/発表者名
      Guoqiang Li, Mizuhito Ogawa
    • 学会等名
      6th International Symposium on Automated Technology for Verification and Analysis, ATVA08
    • 発表場所
      韓国
    • 年月日
      2008-10-21
    • データソース
      KAKENHI-PROJECT-20500030
  • [学会発表] raSAT: SMT for Polynomial Inequality(口頭発表)

    • 著者名/発表者名
      To Van Khanh, Mizuhito Ogawa
    • 学会等名
      第12回SMTワークショップ(SMT 2014)
    • 発表場所
      ウィーン、オーストリア
    • 年月日
      2014-07-17 – 2014-07-18
    • データソース
      KAKENHI-PROJECT-23300005
  • [学会発表] SMT for Polynomial Constraints on Real Numbers

    • 著者名/発表者名
      To Van Khanh, Mizuhito Ogawa
    • 学会等名
      Tools for Automatic Program Analysis (TAPAS 2012), Electrical Notes in Theoretical Computer Science, Vol.289, pp.27-40(査読付)
    • 発表場所
      Douville, France
    • データソース
      KAKENHI-PROJECT-23300005
  • [学会発表] Non-E-overlapping, weakly shallow, and non-collapsing TRSs are confluent

    • 著者名/発表者名
      酒井正彦、大山口通夫、小川瑞史
    • 学会等名
      第25回 自動推論国際会議 (CADE-25)
    • 発表場所
      ベルリン、ドイツ
    • 年月日
      2015-08-01 – 2015-08-07
    • データソース
      KAKENHI-PROJECT-25540003
  • 1.  関 浩之 (80196948)
    共同の研究課題数: 7件
    共同の研究成果数: 0件
  • 2.  橋本 健二 (90548447)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 3.  結縁 祥治 (70230612)
    共同の研究課題数: 4件
    共同の研究成果数: 1件
  • 4.  小野 諭 (90407164)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  廣川 直 (50467122)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  楫 勇一 (70263431)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  大堀 淳 (60252532)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  片山 卓也 (70016468)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  権藤 克彦 (50262283)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  田島 敬史 (60283876)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  NGUYEN MinhLe (30509401)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 12.  寺内 多智弘 (70447150)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  中澤 巧爾 (80362581)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  今井 敬吾 (70456630)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  ヴ シュアン ツング
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  ト ヴァン カン
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 17.  Christian Sternagel
    共同の研究課題数: 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