default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMasaki Waga
Person information
- affiliation: Kyoto University, Japan
- affiliation (former): National Institute of Informatics, Tokyo, Japa
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2020
[b1]Masaki Waga:
Empowering Runtime Verification with Polyhedra. Graduate University for Advanced Studies, Japan, 2020
Journal Articles
- 2024
- [j5]Masaki Waga
, Étienne André:
Hyper Parametric Timed CTL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 4286-4297 (2024) - 2023
- [j4]Junya Shijubo, Masaki Waga, Kohei Suenaga:
Probabilistic Black-Box Checking via Active MDP Learning. ACM Trans. Embed. Comput. Syst. 22(5s): 148:1-148:26 (2023) - [j3]Masaki Waga, Étienne André, Ichiro Hasuo:
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32(1): 10:1-10:35 (2023) - 2022
- [j2]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. 6(4): 30:1-30:26 (2022) - 2018
- [j1]Masaki Waga, Ichiro Hasuo:
Moore-Machine Filtering for Timed and Untimed Pattern Matching. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2649-2660 (2018)
Conference and Workshop Papers
- 2024
- [c26]Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga:
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. RV 2024: 59-69 - [c25]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: 186-195 - 2023
- [c24]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: 151-169 - [c23]Amit Gurung, Masaki Waga, Kohei Suenaga:
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) 2023: 33-52 - [c22]Masaki Waga:
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. CAV (1) 2023: 3-26 - 2022
- [c21]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: 274-290 - [c20]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: 204-221 - [c19]Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA 2022: 25-41 - [c18]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: 447-468 - [c17]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM 2022: 470-488 - 2021
- [c16]Sota Sato, Masaki Waga, Ichiro Hasuo:
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS 2021: 217-222 - [c15]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: 133-152 - [c14]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: 313-329 - [c13]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. ICCPS 2021: 21-32 - [c12]Junya Shijubo, Masaki Waga, Kohei Suenaga:
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. RV 2021: 100-120 - 2020
- [c11]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. AAAI 2020: 5306-5314 - [c10]Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo:
Genetic algorithm for the weight maximization problem on weighted automata. GECCO 2020: 699-707 - [c9]Masaki Waga:
Falsification of cyber-physical systems with robustness-guided black-box checking. HSCC 2020: 11:1-11:13 - 2019
- [c8]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) 2019: 520-539 - [c7]Masaki Waga:
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. FORMATS 2019: 3-22 - [c6]Masaki Waga, Ichiro Hasuo:
Moore-machine filtering for timed and untimed pattern matching: poster abstract. HSCC 2019: 272-273 - [c5]Masaki Waga, Étienne André:
Online Parametric Timed Pattern Matching with Automata-Based Skipping. NFM 2019: 371-389 - 2018
- [c4]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MT@CPSWeek 2018: 14-15 - [c3]Étienne André, Ichiro Hasuo, Masaki Waga:
Offline Timed Pattern Matching under Uncertainty. ICECCS 2018: 10-20 - 2017
- [c2]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
Efficient Online Timed Pattern Matching by Automata-Based Skipping. FORMATS 2017: 224-243 - 2016
- [c1]Masaki Waga, Takumi Akazaki, Ichiro Hasuo:
A Boyer-Moore Type Algorithm for Timed Pattern Matching. FORMATS 2016: 121-139
Editorship
- 2024
- [e1]Jane Hillston, Sadegh Soudjani, Masaki Waga:
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. Lecture Notes in Computer Science 14996, Springer 2024, ISBN 978-3-031-68415-9 [contents]
Data and Artifacts
- 2022
- [d2]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Version 1. Zenodo, 2022 [all versions]
- [d1]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Version 2. Zenodo, 2022 [all versions]
Informal and Other Publications
- 2024
- [i26]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 abs/2403.18764 (2024) - [i25]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 abs/2405.16767 (2024) - [i24]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR abs/2407.09775 (2024) - [i23]Masaki Waga, Étienne André:
Hyper parametric timed CTL. CoRR abs/2407.21321 (2024) - [i22]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:
CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction. IACR Cryptol. ePrint Arch. 2024: 1991 (2024) - 2023
- [i21]Amit Gurung, Masaki Waga, Kohei Suenaga:
Learning nonlinear hybrid automata from input-output time-series data. CoRR abs/2301.03915 (2023) - [i20]Masaki Waga:
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. CoRR abs/2305.17742 (2023) - [i19]Junya Shijubo, Masaki Waga, Kohei Suenaga:
Probabilistic Black-Box Checking via Active MDP Learning. CoRR abs/2308.07930 (2023) - 2022
- [i18]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying parametric timed specifications over signals with bounded behavior. CoRR abs/2203.13247 (2022) - [i17]Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga:
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CoRR abs/2206.03582 (2022) - [i16]Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR abs/2207.13446 (2022) - [i15]Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga:
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. CoRR abs/2210.17130 (2022) - 2021
- [i14]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. CoRR abs/2102.07401 (2021) - [i13]Junya Shijubo, Masaki Waga, Kohei Suenaga:
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. CoRR abs/2109.04656 (2021) - 2020
- [i12]Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo:
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata. CoRR abs/2004.06581 (2020) - [i11]Masaki Waga:
Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking. CoRR abs/2005.02126 (2020) - [i10]Sota Sato, Masaki Waga, Ichiro Hasuo:
Constrained Optimization for Falsification and Conjunctive Synthesis. CoRR abs/2012.00319 (2020) - 2019
- [i9]Masaki Waga, Étienne André:
Online Parametric Timed Pattern Matching with Automata-Based Skipping. CoRR abs/1903.07328 (2019) - [i8]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. CoRR abs/1904.02931 (2019) - [i7]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring against Specifications Parametric in Time and Data. CoRR abs/1905.04486 (2019) - [i6]Masaki Waga:
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. CoRR abs/1906.12133 (2019) - 2018
- [i5]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. CoRR abs/1810.09351 (2018) - [i4]Masaki Waga, Ichiro Hasuo:
Moore-Machine Filtering for Timed and Untimed Pattern Matching. CoRR abs/1810.09633 (2018) - [i3]Étienne André, Ichiro Hasuo, Masaki Waga:
Offline timed pattern matching under uncertainty. CoRR abs/1812.08940 (2018) - 2017
- [i2]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
Efficient Online Timed Pattern Matching by Automata-Based Skipping. CoRR abs/1706.09174 (2017) - 2016
- [i1]Masaki Waga, Takumi Akazaki, Ichiro Hasuo:
A Boyer-Moore Type Algorithm for Timed Pattern Matching. CoRR abs/1606.07207 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
