Waga Masaki

ワガマサキ | Waga Masaki

Affiliation and department：
Job title： Assistant Professor
Homepage URL (1)： https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/

Research field (1)： Software

Research keywords (5)： formal verification , automata learning , runtime verification , model checking , timed automata

Research theme for competitive and other funds (4)：

2022 - 2026 Techniques toward reliable AI systems with quality assurance and explanation
2022 - 2025 オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
2020 - 2023 近似的数理モデルによる CPS の動的安全機構
2018 - 2021 物理情報システムに対する軽量検証の、オートマトン的技法を用いた実用的発展

Papers (38)：

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo. Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR. 2024. abs/2407.09775
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian 0001, Kohei Suenaga. Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. CoRR. 2024. abs/2405.16767
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato 0001, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, et al. Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC. 2024. 186-195
Junya Shijubo, Masaki Waga, Kohei Suenaga. Probabilistic Black-Box Checking via Active MDP Learning. ACM Transactions on Embedded Computing Systems. 2023. 22. 5s. 148-26
Masaki Waga. Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. 35th International Conference on Computer-Aided Verification. 2023. 3-26

ｍore...

Patents (7)：

オートマトン生成装置、オートマトン生成方法及びプログラム
ブラックボックスシステムのテストのためのコンピュータ実装方法及びコンピュータシステム
情報処理装置、情報処理回路、情報処理システム及び情報処理方法
情報処理装置、情報処理方法および情報処理プログラム
Information processing apparatus, information processing circuit, information processing system, and information processing method

ｍore...

Lectures and oral presentations (14)：

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
(The 24th International Conference on Runtime Verification (RV 2024) 2024)
Hyper parametric timed CTL
(International Conference on Embedded Software (EMSOFT 2024) 2024)
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
(International Conference on Formal Modeling and Analysis of Timed Systems 2023)
信頼されるAI-CPSのためのオートマトン学習によるアプローチ
(人工知能学会第125回人工知能基本問題研究会(SIG-FPAI) 2023)
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
(35th International Conference on Computer Aided Verification 2023)

ｍore...

Works (1)：

Education (4)：

2018 - 2020 The Graduate University for Advanced Studies School of Multidisciplinary Sciences Department of Informatics
2016 - 2018 The University of Tokyo The Graduate School of Information Science and Technology Department of Computer Science
2014 - 2016 The University of Tokyo Faculty of Science Department of Information Science
2012 - 2014 The University of Tokyo College of Arts and Sciences

Professional career (1)：

Work history (5)：

2021/04 - 現在 National Institute of Informatics Visiting Assistant Professor
2020/10 - 現在 Kyoto University Graduate School of Informatics Assistant Professor
2023/09 - 2023/09 University Sorbonne Paris Nord LIPN Visiting academic fellow/professor
2018/04 - 2020/09 Japan Society for the Promotion of Science Research Fellow (DC1)
2017/04 - 2020/09 National Institute of Informatics Research Assistant

Committee career (16)：

Show all

Awards (8)：

2024/09 - YANS (Young Researcher Association for NLP Studies) YANS 2024 Recuruit Co., Ltd. award 柔らかいgrep/KWICに向けて:高速単語列マッチングの埋め込み表現による連続化
2024/09 - YANS (Young Researcher Association for NLP Studies) YANS 2024 demonstration award 柔らかいgrep/KWICに向けて:高速単語列マッチングの埋め込み表現による連続化
2021/10 - CSEC: Computer Security Group CSS2021/PWS outstanding paper award 完全準同型暗号を用いた秘匿 LTL オンラインモニタリング
2021/10 - CSEC: Computer Security Group PWS優秀論文賞完全準同型暗号を用いた秘匿LTLオンラインモニタリング
2020/09 - The Graduate University for Advanced Studies (SOKENDAI) Dean award, School of Multidisciplinary Sciences

Show all

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page