Masaki Waga

75 papers A* 3A 1B 7C 2Misc 1Journal 40Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Case Study on Runtime Verification of a Continuous Deployment Process.
CoRR
Shoma Ansai, Masaki Waga
2026 J jnl
SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora.
CoRR
Masataka Yoneda, Yusuke Matsushita, Go Kamoda, Kohei Suenaga, Takuya Akiba, Masaki Waga, Sho Yokoi
2025 C conf
A Variety of Request-Response Specifications.
ICTAC
Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo
2025 J jnl
A Variety of Request-Response Specifications.
CoRR
Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo
2025 C conf
Active Learning of Symbolic Mealy Automata.
ICTAC
Kengo Irie, Masaki Waga, Kohei Suenaga
2025 J jnl
Active Learning of Symbolic Mealy Automata.
CoRR
Kengo Irie, Masaki Waga, Kohei Suenaga
2025 A* conf
CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction.
SP
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 J jnl
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version).
CoRR
Chiao Hsieh, Masaki Waga, Kohei Suenaga
2025 — conf
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis.
HSCC
Chiao Hsieh, Masaki Waga, Kohei Suenaga
2025 J jnl
Componentwise Automata Learning for System Integration (Extended Version).
CoRR
Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo
2025 B conf
Componentwise Automata Learning for System Integration.
ATVA
Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo
2025 J jnl
Efficient Black-Box Checking with Specification-Guided Abstraction.
ACM Trans. Embed. Comput. Syst.
Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, Masaki Waga
2025 B conf
Hyper Pattern Matching.
RV
Masaki Waga, Étienne André
2025 J jnl
Hyper pattern matching.
CoRR
Masaki Waga, Étienne André
2025 A* conf
SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches.
ICLR
Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi
2025 J jnl
SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches.
CoRR
Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi
2024 J jnl
CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction.
IACR Cryptol. ePrint Arch.
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
2024 J jnl
Hyper Parametric Timed CTL.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Masaki Waga, Étienne André
2024 J jnl
Hyper parametric timed CTL.
CoRR
Masaki Waga, Étienne André
2024 J jnl
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination.
CoRR
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
2024 B conf
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
RV
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga
2024 J jnl
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
CoRR
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga
2024 — ed.
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
QEST+FORMATS
Jane Hillston, Sadegh Soudjani, Masaki Waga
2024 Misc conf
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
SAC
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
2024 J jnl
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
CoRR
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
2023 — conf
ARCH-COMP23 Category Report: Falsification.
ARCH
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
2023 — conf
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization.
CAV (1)
Masaki Waga
2023 J jnl
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization.
CoRR
Masaki Waga
2023 — conf
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data.
ATVA (1)
Amit Gurung, Masaki Waga, Kohei Suenaga
2023 J jnl
Learning nonlinear hybrid automata from input-output time-series data.
CoRR
Amit Gurung, Masaki Waga, Kohei Suenaga
2023 J jnl
Parametric Timed Pattern Matching.
ACM Trans. Softw. Eng. Methodol.
Masaki Waga, Étienne André, Ichiro Hasuo
2023 J jnl
Probabilistic Black-Box Checking via Active MDP Learning.
CoRR
Junya Shijubo, Masaki Waga, Kohei Suenaga
2023 J jnl
Probabilistic Black-Box Checking via Active MDP Learning.
ACM Trans. Embed. Comput. Syst.
Junya Shijubo, Masaki Waga, Kohei Suenaga
2022 — conf
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.
ARCH@SAFECOMP
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
2022 — conf
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models.
ACCV (7)
Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga
2022 J jnl
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models.
CoRR
Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga
2022 B conf
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
ATVA
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022 J jnl
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
CoRR
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022 — conf
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.
NFM
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
2022 J jnl
Exemplifying parametric timed specifications over signals with bounded behavior.
CoRR
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
2022 J jnl
Model-bounded Monitoring of Hybrid Systems.
ACM Trans. Cyber Phys. Syst.
Masaki Waga, Étienne André, Ichiro Hasuo
2022 — conf
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
CAV (1)
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
2022 J jnl
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
CoRR
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
2021 — conf
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
ARCH@ADHS
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2021 — conf
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.
ADHS
Sota Sato, Masaki Waga, Ichiro Hasuo
2021 B conf
Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
RV
Junya Shijubo, Masaki Waga, Kohei Suenaga
2021 J jnl
Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
CoRR
Junya Shijubo, Masaki Waga, Kohei Suenaga
2021 B conf
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.
FM
Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo
2021 — conf
Model-bounded monitoring of hybrid systems.
ICCPS
Masaki Waga, Étienne André, Ichiro Hasuo
2021 J jnl
Model-bounded monitoring of hybrid systems.
CoRR
Masaki Waga, Étienne André, Ichiro Hasuo
2020 J jnl
Constrained Optimization for Falsification and Conjunctive Synthesis.
CoRR
Sota Sato, Masaki Waga, Ichiro Hasuo
2020 — —
Empowering Runtime Verification with Polyhedra.
Masaki Waga
2020 J jnl
Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking.
CoRR
Masaki Waga
2020 — conf
Falsification of cyber-physical systems with robustness-guided black-box checking.
HSCC
Masaki Waga
2020 J jnl
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata.
CoRR
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
2020 A conf
Genetic algorithm for the weight maximization problem on weighted automata.
GECCO
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
2020 A* conf
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
AAAI
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
2019 — conf
Moore-machine filtering for timed and untimed pattern matching: poster abstract.
HSCC
Masaki Waga, Ichiro Hasuo
2019 — conf
Online Parametric Timed Pattern Matching with Automata-Based Skipping.
NFM
Masaki Waga, Étienne André
2019 J jnl
Online Parametric Timed Pattern Matching with Automata-Based Skipping.
CoRR
Masaki Waga, Étienne André
2019 — conf
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.
FORMATS
Masaki Waga
2019 J jnl
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.
CoRR
Masaki Waga
2019 — conf
Symbolic Monitoring Against Specifications Parametric in Time and Data.
CAV (1)
Masaki Waga, Étienne André, Ichiro Hasuo
2019 J jnl
Symbolic Monitoring against Specifications Parametric in Time and Data.
CoRR
Masaki Waga, Étienne André, Ichiro Hasuo
2019 J jnl
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
CoRR
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
2018 — conf
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.
MT@CPSWeek
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2018 J jnl
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.
CoRR
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2018 J jnl
Moore-Machine Filtering for Timed and Untimed Pattern Matching.
CoRR
Masaki Waga, Ichiro Hasuo
2018 J jnl
Moore-Machine Filtering for Timed and Untimed Pattern Matching.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Masaki Waga, Ichiro Hasuo
2018 B conf
Offline Timed Pattern Matching under Uncertainty.
ICECCS
Étienne André, Ichiro Hasuo, Masaki Waga
2018 J jnl
Offline timed pattern matching under uncertainty.
CoRR
Étienne André, Ichiro Hasuo, Masaki Waga
2017 — conf
Efficient Online Timed Pattern Matching by Automata-Based Skipping.
FORMATS
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2017 J jnl
Efficient Online Timed Pattern Matching by Automata-Based Skipping.
CoRR
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2016 — conf
A Boyer-Moore Type Algorithm for Timed Pattern Matching.
FORMATS
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
2016 J jnl
A Boyer-Moore Type Algorithm for Timed Pattern Matching.
CoRR
Masaki Waga, Takumi Akazaki, Ichiro Hasuo