Researchers Information System

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

Waga, Masaki

Graduate School of Informatics, Department of Communications and Computer Engineering Assistant Professor

Waga, Masaki
list
    Last Updated :2022/08/06

    Basic Information

    Faculty

    • 工学部

    Academic Degree

    • (The University of Tokyo)
    • (The Graduate University for Advanced Studies, SOKENDAI)

    Academic Resume (Graduate Schools)

    • The Graduate University for Advanced Studies, SOKENDAI, 複合科学研究科情報学専攻博士課程(3年次編入), 修了
    • The University of Tokyo, 大学院情報理工学系研究科コンピュータ科学専攻修士課程, 修了

    Academic Resume (Undergraduate School/Majors)

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

    High School

    • High School

      開成高校

    Research History

    • From Apr. 2021, To Present
      National Institute of Informatics, Visiting Assistant Professor
    • From Oct. 2020, To Present
      Kyoto University, Graduate School of Informatics, Assistant Professor
    • From Apr. 2018, To Sep. 2020
      Japan Society for the Promotion of Science, Research Fellow (DC1)
    • From Apr. 2017, To Sep. 2020
      National Institute of Informatics, アーキテクチャ科学研究系, Research Assistant

    Language of Instruction

    • English
    • Japanese

    ID,URL

    researchmap URL

    list
      Last Updated :2022/08/06

      Research

      Research Topics, Overview of the research

      • Research Topics

        Formal Verification

      Research Interests

      • formal verification
      • automata learning
      • runtime verification
      • model checking
      • timed automata

      Research Areas

      • Informatics, Software

      Papers

      • Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
        Ryotaro Banno; Kotaro Matsuoka; Naoki Matsumoto; Song Bian 0001; Masaki Waga; Kohei Suenaga
        CoRR, 2022
      • Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
        Junya Shijubo; Masaki Waga; Kohei Suenaga
        CoRR, 2021
      • 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, 06 Dec. 2021
      • 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, 10 Nov. 2021, Peer-reviewed
      • Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
        Junya Shijubo; Masaki Waga; Kohei Suenaga
        The 21st International Conference on Runtime Verification, 06 Oct. 2021, Peer-reviewed
      • 完全準同型暗号を用いた秘匿LTLオンラインモニタリング
        伴野 良太郎; 松岡 航太郎; 松本 直樹; Bian Song; 和賀 正樹; 末永 幸平
        コンピュータセキュリティシンポジウム 2021 (CSS 2021), Oct. 2021
      • Constrained Optimization for Falsification and Conjunctive Synthesis.
        Sota Sato; Masaki Waga; Ichiro Hasuo
        6th IFAC Conference on Analysis and Design of Hybrid Systems, 09 Sep. 2021, Peer-reviewed
      • Model-Bounded Monitoring of Hybrid Systems.
        Masaki Waga; Étienne André; Ichiro Hasuo
        12th ACM/IEEE International Conference on Cyber-Physical Systems, 19 May 2021, Peer-reviewed, Lead author, Corresponding author
      • 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(HSCC), 2020, Peer-reviewed
      • 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(GECCO), 2020, Peer-reviewed
      • 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, Peer-reviewed
      • Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
        Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo
        CoRR, 2019
      • 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(HSCC), 2019
      • Online Parametric Timed Pattern Matching with Automata-Based Skipping.
        Masaki Waga; Étienne André
        NASA Formal Methods - 11th International Symposium(NFM), 2019, Peer-reviewed
      • Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.
        Masaki Waga
        Formal Modeling and Analysis of Timed Systems - 17th International Conference(FORMATS), 2019, Peer-reviewed
      • Symbolic Monitoring Against Specifications Parametric in Time and Data
        Masaki Waga; Etienne Andre; Ichiro Hasuo
        COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, Peer-reviewed
      • Moore-Machine Filtering for Timed and Untimed Pattern Matching
        Masaki Waga; Ichiro Hasuo
        IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, Nov. 2018, Peer-reviewed
      • Offline timed pattern matching under uncertainty
        Etienne Andre; Ichiro Hasuo; Masaki Waga
        2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2018, Peer-reviewed
      • MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration
        Masaki Waga; Ichiro Hasuo; Kohei Suenaga
        2018 IEEE 3RD WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2018), 2018, Peer-reviewed
      • 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(FORMATS), 2017, Peer-reviewed
      • A Boyer-Moore Type Algorithm for Timed Pattern Matching
        Masaki Waga; Takumi Akazaki; Ichiro Hasuo
        FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016, 2016, Peer-reviewed, Lead author

      Presentations

      • Model-Bounded Monitoring of Hybrid Systems.
        Masaki Waga
        12th ACM/IEEE International Conference on Cyber-Physical Systems, 20 May 2021
      • Model-Bounded Monitoring of Hybrid Systems.
        Masaki Waga
        6th Workshop on Monitoring and Testing of Cyber-Physical Systems, 18 May 2021
      • Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata
        Masaki Waga
        YR-OWLS (Online Worldwide Seminar on Logic and Semantics), 12 May 2021, Invited
      • 物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化
        第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021), 10 Mar. 2021
      • Symbolic Monitoring against Specifications Parametric in Time and Data
        Masaki Waga
        JSSST 2020, 10 Sep. 2020, Invited
      • Falsification of cyber-physical systems with robustness-guided black-box checking
        Masaki Waga
        23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr. 2020
      • Symbolic Monitoring Against Specifications Parametric in Time and Data
        Masaki Waga
        5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS

      Industrial Property Rights

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

      Works

      • FalCAuN

      Awards

      • 2018
        ICECCS 2018, Best paper award
      • 2019
        FORMATS 2019, Oded Maler award for the best paper
      • 26 Sep. 2019
        National Institute of Informatics, Best Student Award
      • 28 Sep. 2020
        The Graduate University for Advanced Studies (SOKENDAI), Dean Award, School of Multidisciplinary Sciences

      External funds: Kakenhi

      • オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
        Grant-in-Aid for Early-Career Scientists
        Basic Section 60050:Software-related
        Kyoto University
        和賀 正樹
        From 01 Apr. 2022, To 31 Mar. 2025, Granted
        物理情報システム;軽量形式手法;オートマトン理論;量的検証

      External funds: others

      • 近似的数理モデルによる CPS の動的安全機構
        科学技術振興機構 (JST) ACT-X
        From 01 Nov. 2020, To 31 Mar. 2022
        和賀 正樹
      list
        Last Updated :2022/08/06

        Education

        Teaching subject(s)

        • From 01 Apr. 2022, To 31 Mar. 2023
          Computer Science Laboratory and Exercise 3
          9084, Spring, Faculty of Engineering, 4
        • From 01 Apr. 2022, To 31 Mar. 2023
          System Verification
          3666, Fall, Graduate School of Informatics, 2
        • From Apr. 2021, To Mar. 2022
          Computer Science Laboratory and Exercise 2
          Fall, 工学部
        • From Apr. 2021, To Mar. 2022
          Computer Science Laboratory and Exercise 3
          Spring, 工学部
        list
          Last Updated :2022/08/06

          Academic, Social Contribution

          Committee Memberships

          • PC Member, HSCC Poster/Demo 2021
          • PC Member, HSCC Poster/Demo 2020
          • PC Member, AAAI 2021
          • PC Member, FORMATS 2020
          • Artifact Evaluation Committee Member, CAV 2021
          • Artifact Evaluation Committee Member, CAV 2022
          • PC Member, RV 2022

          ページ上部へ戻る