| 2025 | ATVA | Componentwise Automata Learning for System Integration. | Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo |
| 2025 | ICLR | SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches. | Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi |
| 2025 | ICTAC | A Variety of Request-Response Specifications. | Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo |
| 2025 | ICTAC | Active Learning of Symbolic Mealy Automata. | Kengo Irie, Masaki Waga, Kohei Suenaga |
| 2025 | SP | CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction. | Song Bian, Zian Zhao, Ruiyu Shen, Zhou Zhang, Ran Mao, Dawei Li, Yizhong Liu, Masaki Waga, Kohei Suenaga, Zhenyu Guan, Jiafeng Hua, Yier Jin, Jianwei Liu |
| 2025 | RV | Hyper Pattern Matching. | Masaki Waga, tienne Andr |
| 2024 | SAC | Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. | Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, tienne Andr, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama |
| 2024 | RV | Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. | Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga |
| 2023 | ATVA | Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. | Amit Gurung, Masaki Waga, Kohei Suenaga |
| 2023 | CAV | Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. | Masaki Waga |
| 2022 | ACCV | BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. | Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga |
| 2022 | ATVA | Dynamic Shielding for Reinforcement Learning in Black-Box Environments. | Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo |
| 2022 | CAV | Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. | Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga |
| 2021 | FM | Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. | Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo |
| 2021 | RV | Efficient Black-Box Checking via Model Checking with Strengthened Specifications. | Junya Shijubo, Masaki Waga, Kohei Suenaga |
| 2020 | AAAI | Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. | Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo |
| 2020 | GECCO | Genetic algorithm for the weight maximization problem on weighted automata. | Elena Gutirrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo |
| 2019 | CAV | Symbolic Monitoring Against Specifications Parametric in Time and Data. | Masaki Waga, tienne Andr, Ichiro Hasuo |
| 2018 | ICECCS | Offline Timed Pattern Matching under Uncertainty. | tienne Andr, Ichiro Hasuo, Masaki Waga |