Masaki Waga

According to our database, Masaki Waga authored at least 28 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama

CoRR, 2024

2023

Probabilistic Black-Box Checking via Active MDP Learning.

Junya Shijubo, Masaki Waga, Kohei Suenaga

ACM Trans. Embed. Comput. Syst., October, 2023

Parametric Timed Pattern Matching.

Masaki Waga, Étienne André, Ichiro Hasuo

ACM Trans. Softw. Eng. Methodol., January, 2023

Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization.

Masaki Waga

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data.

Amit Gurung, Masaki Waga, Kohei Suenaga

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Model-bounded Monitoring of Hybrid Systems.

Masaki Waga, Étienne André, Ichiro Hasuo

ACM Trans. Cyber Phys. Syst., 2022

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.

Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.

Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo

Proceedings of the Automated Technology for Verification and Analysis, 2022

BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models.

Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga

Proceedings of the Computer Vision - ACCV 2022, 2022

2021

Efficient Black-Box Checking via Model Checking with Strengthened Specifications.

Junya Shijubo, Masaki Waga, Kohei Suenaga

Proceedings of the Runtime Verification - 21st International Conference, 2021

Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.

Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo

Proceedings of the Formal Methods - 24th International Symposium, 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, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.

Sota Sato, Masaki Waga, Ichiro Hasuo

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Empowering Runtime Verification with Polyhedra.

Masaki Waga

PhD thesis, 2020

Constrained Optimization for Falsification and Conjunctive Synthesis.

Sota Sato, Masaki Waga, Ichiro Hasuo

CoRR, 2020

Falsification of cyber-physical systems with robustness-guided black-box checking.

Masaki Waga

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Genetic algorithm for the weight maximization problem on weighted automata.

Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Online Parametric Timed Pattern Matching with Automata-Based Skipping.

Masaki Waga, Étienne André

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Moore-machine filtering for timed and untimed pattern matching: poster abstract.

Masaki Waga, Ichiro Hasuo

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.

Masaki Waga

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Symbolic Monitoring Against Specifications Parametric in Time and Data.

Masaki Waga, Étienne André, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Moore-Machine Filtering for Timed and Untimed Pattern Matching.

Masaki Waga, Ichiro Hasuo

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Offline Timed Pattern Matching under Uncertainty.

Étienne André, Ichiro Hasuo, Masaki Waga

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.

Masaki Waga, Ichiro Hasuo, Kohei Suenaga

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

Efficient Online Timed Pattern Matching by Automata-Based Skipping.

Masaki Waga, Ichiro Hasuo, Kohei Suenaga

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

A Boyer-Moore Type Algorithm for Timed Pattern Matching.

Masaki Waga, Takumi Akazaki, Ichiro Hasuo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016