A Boyer-Moore Type Algorithm for Timed Pattern Matching. - Masaki Waga; Takumi Akazaki; Ichiro Hasuo (FORMATS, 2016)

Efficient Online Timed Pattern Matching by Automata-Based Skipping. - Masaki Waga; Ichiro Hasuo; Kohei Suenaga (FORMATS, 2017)

MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. - Masaki Waga; Ichiro Hasuo; Kohei Suenaga (MT@CPSWeek, 2018)

Offline Timed Pattern Matching under Uncertainty. - Étienne André; Ichiro Hasuo; Masaki Waga (ICECCS, 2018)

Moore-Machine Filtering for Timed and Untimed Pattern Matching. - Masaki Waga; Ichiro Hasuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Symbolic Monitoring Against Specifications Parametric in Time and Data. - Masaki Waga; Étienne André; Ichiro Hasuo (CAV (1), 2019)

Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. - Masaki Waga (FORMATS, 2019)

Moore-machine filtering for timed and untimed pattern matching: poster abstract. - Masaki Waga; Ichiro Hasuo (HSCC, 2019)

Online Parametric Timed Pattern Matching with Automata-Based Skipping. - Masaki Waga; Étienne André (NFM, 2019)

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. - Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo (AAAI, 2020)

Genetic algorithm for the weight maximization problem on weighted automata. - Elena Gutiérrez; Takamasa Okudono; Masaki Waga; Ichiro Hasuo (GECCO, 2020)

Falsification of cyber-physical systems with robustness-guided black-box checking. - Masaki Waga (HSCC, 2020)

Constrained Optimization for Falsification and Conjunctive Synthesis. - Sota Sato 001; Masaki Waga; Ichiro Hasuo (CoRR, 2020)

Empowering Runtime Verification with Polyhedra. - Masaki Waga (2020)

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. - Sota Sato 001; Masaki Waga; Ichiro Hasuo (ADHS, 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 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. - Sota Sato 001; Atsuyoshi Saimen; Masaki Waga; Kenji Takao; Ichiro Hasuo (FM, 2021)

Efficient Black-Box Checking via Model Checking with Strengthened Specifications. - Junya Shijubo; Masaki Waga; Kohei Suenaga (RV, 2021)

Artifact of "Model-Bounded Monitoring of Hybrid Systems". - Masaki Waga; Étienne André (Zenodo, 2021)

BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. - Atsushi Kikuchi; Kotaro Uchida; Masaki Waga; Kohei Suenaga (ACCV (7), 2022)

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. - Gidon Ernst; Paolo Arcaini; Georgios Fainekos; Federico Formica; Jun Inoue 001; Tanmay Khandait; Mohammad Mahdi Mahboob; Claudio Menghi; Giulia Pedrielli; Masaki Waga; Yoriyuki Yamagata; Zhenya Zhang (ARCH@SAFECOMP, 2022)

Dynamic Shielding for Reinforcement Learning in Black-Box Environments. - Masaki Waga; Ezequiel Castellano; Sasinee Pruekprasert; Stefan Klikovits; Toru Takisaka; Ichiro Hasuo (ATVA, 2022)

Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. - Ryotaro Banno; Kotaro Matsuoka; Naoki Matsumoto; Song Bian 001; Masaki Waga; Kohei Suenaga (CAV (1), 2022)

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (NFM, 2022)

Model-bounded Monitoring of Hybrid Systems. - Masaki Waga; Étienne André; Ichiro Hasuo (ACM Trans. Cyber Phys. Syst., 2022)

Data for "Exemplifying parametric timed specifications over signals with bounded behavior". - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (Zenodo, 2022)

Data for "Exemplifying parametric timed specifications over signals with bounded behavior". - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (Zenodo, 2022)

ARCH-COMP23 Category Report: Falsification. - Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; Sauvik Gon; Tanmay Khandait; Atanu Kundu 002; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; et al. (ARCH, 2023)

Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. - Amit Gurung; Masaki Waga; Kohei Suenaga (ATVA (1), 2023)

Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. - Masaki Waga (CAV (1), 2023)

Parametric Timed Pattern Matching. - Masaki Waga; Étienne André; Ichiro Hasuo (ACM Trans. Softw. Eng. Methodol., 2023)

Probabilistic Black-Box Checking via Active MDP Learning. - Junya Shijubo; Masaki Waga; Kohei Suenaga (ACM Trans. Embed. Comput. Syst., 2023)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. - Masaki Waga; Kotaro Matsuoka; Takashi Suwa; Naoki Matsumoto; Ryotaro Banno; Song Bian 001; Kohei Suenaga (RV, 2024)

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 001; Masaki Waga; Étienne André; Ichiro Hasuo; Naoki Ueda; Yosuke Yokoyama (SAC, 2024)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. - Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo (CoRR, 2024)

CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction. - Song Bian 001; Zian Zhao; Ruiyu Shen; Zhou Zhang 016; Ran Mao; Dawei Li 009; Yizhong Liu; Masaki Waga; Kohei Suenaga; Zhenyu Guan; Jiafeng Hua; Yier Jin; et al. (IACR Cryptol. ePrint Arch., 2024)

Hyper Parametric Timed CTL. - Masaki Waga; Étienne André (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis. - Chiao Hsieh; Masaki Waga; Kohei Suenaga (HSCC, 2025)

SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches. - Hiroyuki Deguchi 002; Go Kamoda; Yusuke Matsushita 002; Chihiro Taguchi; Kohei Suenaga; Masaki Waga; Sho Yokoi (ICLR, 2025)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version). - Chiao Hsieh; Masaki Waga; Kohei Suenaga (CoRR, 2025)

Hyper pattern matching. - Masaki Waga; Étienne André (CoRR, 2025)

Componentwise Automata Learning for System Integration (Extended Version). - Hiroya Fujinami; Masaki Waga; Jie An 001; Kohei Suenaga; Nayuta Yanagisawa; Hiroki Iseri; Ichiro Hasuo (CoRR, 2025)