Masaki Waga

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 54

Top Topics

Homomorphic Encryption

Top Venues

Publications

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR (2024)
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC (2024)
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. CoRR (2024)
Masaki Waga, Étienne André
Hyper parametric timed CTL. CoRR (2024)
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. CoRR (2024)
Masaki Waga
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. CAV (1) (2023)
Junya Shijubo, Masaki Waga, Kohei Suenaga
Probabilistic Black-Box Checking via Active MDP Learning. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Masaki Waga
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. CoRR (2023)
Amit Gurung, Masaki Waga, Kohei Suenaga
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) (2023)
Junya Shijubo, Masaki Waga, Kohei Suenaga
Probabilistic Black-Box Checking via Active MDP Learning. CoRR (2023)
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
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Masaki Waga, Étienne André, Ichiro Hasuo
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Amit Gurung, Masaki Waga, Kohei Suenaga
Learning nonlinear hybrid automata from input-output time-series data. CoRR (2023)
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
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP (2022)
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
Exemplifying parametric timed specifications over signals with bounded behavior. CoRR (2022)
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA (2022)
Masaki Waga, Étienne André, Ichiro Hasuo
Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. 6 (4) (2022)
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CoRR (2022)
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM (2022)
Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. CoRR (2022)
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CAV (1) (2022)
Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. ACCV (7) (2022)
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR (2022)
Masaki Waga, Étienne André, Ichiro Hasuo
Model-bounded monitoring of hybrid systems. ICCPS (2021)
Masaki Waga, Étienne André, Ichiro Hasuo
Model-bounded monitoring of hybrid systems. CoRR (2021)
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
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Sota Sato, Masaki Waga, Ichiro Hasuo
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS (2021)
Junya Shijubo, Masaki Waga, Kohei Suenaga
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. CoRR (2021)
Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. FM (2021)
Junya Shijubo, Masaki Waga, Kohei Suenaga
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. RV (2021)
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. AAAI (2020)
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
Genetic algorithm for the weight maximization problem on weighted automata. GECCO (2020)
Masaki Waga
Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking. CoRR (2020)
Masaki Waga
Falsification of cyber-physical systems with robustness-guided black-box checking. HSCC (2020)
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata. CoRR (2020)
Sota Sato, Masaki Waga, Ichiro Hasuo
Constrained Optimization for Falsification and Conjunctive Synthesis. CoRR (2020)
Masaki Waga, Étienne André, Ichiro Hasuo
Symbolic Monitoring against Specifications Parametric in Time and Data. CoRR (2019)
Masaki Waga, Ichiro Hasuo
Moore-machine filtering for timed and untimed pattern matching: poster abstract. HSCC (2019)
Masaki Waga
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. FORMATS (2019)
Masaki Waga
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. CoRR (2019)
Masaki Waga, Étienne André
Online Parametric Timed Pattern Matching with Automata-Based Skipping. NFM (2019)
Masaki Waga, Étienne André, Ichiro Hasuo
Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) (2019)
Masaki Waga, Étienne André
Online Parametric Timed Pattern Matching with Automata-Based Skipping. CoRR (2019)
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. CoRR (2019)
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. CoRR (2018)
Étienne André, Ichiro Hasuo, Masaki Waga
Offline Timed Pattern Matching under Uncertainty. ICECCS (2018)
Masaki Waga, Ichiro Hasuo
Moore-Machine Filtering for Timed and Untimed Pattern Matching. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Étienne André, Ichiro Hasuo, Masaki Waga
Offline timed pattern matching under uncertainty. CoRR (2018)
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MT@CPSWeek (2018)
Masaki Waga, Ichiro Hasuo
Moore-Machine Filtering for Timed and Untimed Pattern Matching. CoRR (2018)
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
Efficient Online Timed Pattern Matching by Automata-Based Skipping. CoRR (2017)
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
Efficient Online Timed Pattern Matching by Automata-Based Skipping. FORMATS (2017)
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
A Boyer-Moore Type Algorithm for Timed Pattern Matching. CoRR (2016)
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
A Boyer-Moore Type Algorithm for Timed Pattern Matching. FORMATS (2016)