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 (36)：

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
Masaki Waga, Étienne André, Ichiro Hasuo. Parametric Timed Pattern Matching. ACM Transactions on Software Engineering and Methodology. 2023. 32. 1. 1-35
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu 0002, Giulia Pedrielli, et al. ARCH-COMP23 Category Report: Falsification. ARCH. 2023. 151-169

ｍore...

Patents (7)：

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

ｍore...

Lectures and oral presentations (12)：

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)
Dynamic Shielding for Reinforcement Learning in Black-Box Environments
(International Symposium on Automated Technology for Verification and Analysis 2022)
Parametric Timed Pattern Matching.
(ソフトウェアエンジニアリングシンポジウム 2022 (SES 2022) 2022)

ｍ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 (6)：

2021/10 - CSEC: Computer Security Group CSS2021優秀論文賞完全準同型暗号を用いた秘匿LTLオンラインモニタリング
2021/10 - CSEC: Computer Security Group PWS優秀論文賞完全準同型暗号を用いた秘匿LTLオンラインモニタリング
2020/09 - The Graduate University for Advanced Studies (SOKENDAI) Dean award, School of Multidisciplinary Sciences
2019/09 - National Institute of Informatics Best student award
2019/08 - FORMATS 2019 Oded Maler award for the best paper Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata

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