教育研究活動データベース

日本語に切り替えるswitch to english

和賀 正樹

ワガ マサキ

情報学研究科 通信情報システム専攻コンピュータ工学講座 助教

和賀 正樹
list
    Last Updated :2022/11/23

    基本情報

    学部兼担

    • 工学部

    学位

    • 修士(情報理工学)(東京大学)
    • 博士(情報学)(総合研究大学院大学)

    出身大学院・研究科等

    • 総合研究大学院大学, 複合科学研究科情報学専攻博士課程(3年次編入), 修了
    • 東京大学, 大学院情報理工学系研究科コンピュータ科学専攻修士課程, 修了

    出身学校・専攻等

    • 東京大学, 理学部情報科学科, 卒業

    出身高等学校

    • 出身高等学校

      開成高校, かいせいこうこう

    経歴

    • 自 2021年04月, 至 現在
      国立情報学研究所, 客員助教 (研究開発連携)
    • 自 2020年10月, 至 現在
      京都大学, 大学院情報学研究科, 助教
    • 自 2018年04月, 至 2020年09月
      独立行政法人日本学術振興会, 特別研究員 (DC1)
    • 自 2017年04月, 至 2020年09月
      国立情報学研究所, アーキテクチャ科学研究系, リサーチアシスタント

    使用言語

    • 英語
    • 日本語

    ID,URL

    researchmap URL

    list
      Last Updated :2022/11/23

      研究

      研究テーマ・研究概要

      • 研究テーマ

        形式検証手法

      研究キーワード

      • 形式手法
      • オートマトン学習
      • 実行時検証
      • モデル検査
      • 時間オートマトン

      研究分野

      • 情報通信, ソフトウェア

      論文

      • Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
        Masaki Waga; Ezequiel Castellano; Sasinee Pruekprasert; Stefan Klikovits; Toru Takisaka; Ichiro Hasuo
        International Symposium on Automated Technology for Verification and Analysis, 2022年10月21日, 査読有り, 筆頭著者
      • Exemplifying parametric timed specifications over signals with bounded behavior.
        Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo
        NASA Formal Methods Symposium, 2022年05月20日, 査読有り
      • Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
        Ryotaro Banno; Kotaro Matsuoka; Naoki Matsumoto; Song Bian; Masaki Waga; Kohei Suenaga
        34th International Conference on Computer-Aided Verification, 2022年08月07日, 査読有り
      • ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
        Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 0001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; Giulia Pedrielli; Marc Pouzet; Masaki Waga; Shakiba Yaghoubi; Yoriyuki Yamagata; Zhenya Zhang
        ARCH@ADHS, 2021年12月06日
      • Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: a Gas Turbine Case Study.
        Sota Sato; Atsuyoshi Saimen; Masaki Waga; Kenji Takao; Ichiro Hasuo
        24th International Symposium on Formal Methods, 2021年11月10日, 査読有り
      • Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
        Junya Shijubo; Masaki Waga; Kohei Suenaga
        The 21st International Conference on Runtime Verification, 2021年10月06日, 査読有り
      • 完全準同型暗号を用いた秘匿LTLオンラインモニタリング
        伴野 良太郎; 松岡 航太郎; 松本 直樹; Bian Song; 和賀 正樹; 末永 幸平
        コンピュータセキュリティシンポジウム 2021 (CSS 2021), 2021年10月
      • Constrained Optimization for Falsification and Conjunctive Synthesis.
        Sota Sato; Masaki Waga; Ichiro Hasuo
        6th IFAC Conference on Analysis and Design of Hybrid Systems, 2021年09月09日, 査読有り
      • Model-Bounded Monitoring of Hybrid Systems.
        Masaki Waga; Étienne André; Ichiro Hasuo
        12th ACM/IEEE International Conference on Cyber-Physical Systems, 2021年05月19日, 査読有り, 筆頭著者, 責任著者
      • Falsification of cyber-physical systems with robustness-guided black-box checking.
        Masaki Waga
        HSCC'20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020年, 査読有り
      • Genetic algorithm for the weight maximization problem on weighted automata.
        Elena Gutiérrez; Takamasa Okudono; Masaki Waga; Ichiro Hasuo
        GECCO'20: Genetic and Evolutionary Computation Conference, 2020年, 査読有り
      • Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
        Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo
        The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, 2020年, 査読有り
      • Moore-machine filtering for timed and untimed pattern matching: poster abstract.
        Masaki Waga; Ichiro Hasuo
        Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019年
      • Online Parametric Timed Pattern Matching with Automata-Based Skipping.
        Masaki Waga; Étienne André
        NASA Formal Methods - 11th International Symposium, 2019年, 査読有り
      • Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.
        Masaki Waga
        Formal Modeling and Analysis of Timed Systems - 17th International Conference, 2019年, 査読有り
      • Symbolic Monitoring Against Specifications Parametric in Time and Data.
        Masaki Waga; Étienne André; Ichiro Hasuo
        Computer Aided Verification - 31st International Conference, Part I, 2019年, 査読有り
      • Moore-Machine Filtering for Timed and Untimed Pattern Matching.
        Masaki Waga; Ichiro Hasuo
        IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018年, 査読有り
      • Offline Timed Pattern Matching under Uncertainty.
        Étienne André; Ichiro Hasuo; Masaki Waga
        23rd International Conference on Engineering of Complex Computer Systems, 2018年, 査読有り
      • MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.
        Masaki Waga; Ichiro Hasuo; Kohei Suenaga
        3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018年, 査読有り
      • Efficient Online Timed Pattern Matching by Automata-Based Skipping.
        Masaki Waga; Ichiro Hasuo; Kohei Suenaga
        Formal Modeling and Analysis of Timed Systems - 15th International Conference, 2017年, 査読有り
      • A Boyer-Moore Type Algorithm for Timed Pattern Matching.
        Masaki Waga; Takumi Akazaki; Ichiro Hasuo
        Formal Modeling and Analysis of Timed Systems - 14th International Conference, 2016年, 査読有り, 筆頭著者

      講演・口頭発表等

      • Parametric Timed Pattern Matching.
        Masaki Waga
        ソフトウェアエンジニアリングシンポジウム 2022 (SES 2022), 2022年09月06日, 招待有り
      • Model-Bounded Monitoring of Hybrid Systems.
        Masaki Waga
        12th ACM/IEEE International Conference on Cyber-Physical Systems, 2021年05月20日
      • Model-Bounded Monitoring of Hybrid Systems.
        Masaki Waga
        6th Workshop on Monitoring and Testing of Cyber-Physical Systems, 2021年05月18日
      • Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata
        Masaki Waga
        YR-OWLS (Online Worldwide Seminar on Logic and Semantics), 2021年05月12日, 招待有り
      • 物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化
        第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021), 2021年03月10日
      • Symbolic Monitoring against Specifications Parametric in Time and Data
        Masaki Waga
        日本ソフトウェア科学会第37回大会, 2020年09月10日, 招待有り
      • Falsification of cyber-physical systems with robustness-guided black-box checking
        Masaki Waga
        23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020年04月
      • Symbolic Monitoring against Specifications Parametric in Time and Data
        Masaki Waga
        5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS

      産業財産権

      • 特願2020-072577, オートマトン生成装置、オートマトン生成方法及びプログラム
        和賀 正樹
      • 特願2018-187340, 情報処理装置、情報処理システム及び情報処理方法
        和賀 正樹; 蓮尾 一郎

      Works(作品等)

      • FalCAuN

      受賞

      • 2018年
        ICECCS 2018, Best paper award
      • 2019年
        FORMATS 2019, Oded Maler award for the best paper
      • 2019年09月26日
        国立情報学研究所, 優秀学生賞
      • 2020年09月28日
        総合研究大学院大学, 複合科学研究科長賞

      外部資金:科学研究費補助金

      • オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
        若手研究
        小区分60050:ソフトウェア関連
        京都大学
        和賀 正樹
        自 2022年04月01日, 至 2025年03月31日, 交付
        物理情報システム;軽量形式手法;オートマトン理論;量的検証

      外部資金:その他

      • 近似的数理モデルによる CPS の動的安全機構
        科学技術振興機構 (JST) ACT-X
        自 2020年11月01日, 至 2022年03月31日
        和賀 正樹
      list
        Last Updated :2022/11/23

        教育

        担当科目

        • 自 2022年04月01日, 至 2023年03月31日
          計算機科学実験及演習3
          9084, 前期, 工学部, 4
        • 自 2022年04月01日, 至 2023年03月31日
          システム検証論
          3666, 後期, 情報学研究科, 2
        • 自 2021年04月, 至 2022年03月
          計算機科学実験及演習2(計算機)
          後期, 工学部
        • 自 2021年04月, 至 2022年03月
          計算機科学実験及演習3(計算機)
          前期, 工学部
        list
          Last Updated :2022/11/23

          学術・社会貢献

          委員歴

          • プログラム委員, HSCC 2023
          • プログラム委員, HSCC Poster/Demo 2021
          • プログラム委員, HSCC Poster/Demo 2020
          • プログラム委員, AAAI 2021
          • プログラム委員, FORMATS 2020
          • Artifact Evaluation Committee Member, CAV 2021
          • Artifact Evaluation Committee Member, CAV 2022
          • プログラム委員, RV 2022

          ページ上部へ戻る