default search action
Masaki 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
2020 – today
- 2024
- [c26]Masaki Waga
, Kotaro Matsuoka
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. RV 2024: 59-69 - [c25]Jesse Reimann
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC 2024: 186-195 - [e1]Jane Hillston
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] - [i25]Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. CoRR abs/2403.18764 (2024) - [i24]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) - [i23]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) - [i22]Masaki Waga, Étienne André:
Hyper parametric timed CTL. CoRR abs/2407.21321 (2024) - 2023
- [j4]Junya Shijubo
Probabilistic Black-Box Checking via Active MDP Learning. ACM Trans. Embed. Comput. Syst. 22(5s): 148:1-148:26 (2023) - [j3]Masaki Waga
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32(1): 10:1-10:35 (2023) - [c24]Claudio Menghi
ARCH-COMP23 Category Report: Falsification. ARCH 2023: 151-169 - [c23]Amit Gurung
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 - [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
Probabilistic Black-Box Checking via Active MDP Learning. CoRR abs/2308.07930 (2023) - 2022
- [j2]Masaki Waga
Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. 6(4): 30:1-30:26 (2022) - [c21]Atsushi Kikuchi, Kotaro Uchida, Masaki Waga
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. ACCV (7) 2022: 274-290 - [c20]Gidon Ernst
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP 2022: 204-221 - [c19]Masaki Waga
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA 2022: 25-41 - [c18]Ryotaro Banno
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CAV (1) 2022: 447-468 - [c17]Étienne André
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM 2022: 470-488 - [d2]Étienne André
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Zenodo, 2022 - [d1]Étienne André
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Zenodo, 2022 - [i18]Étienne André, Masaki Waga
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
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CoRR abs/2206.03582 (2022) - [i16]Masaki Waga
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR abs/2207.13446 (2022) - [i15]Atsushi Kikuchi, Kotaro Uchida, Masaki Waga
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. CoRR abs/2210.17130 (2022) - 2021
- [c16]Sota Sato, Masaki Waga
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS 2021: 217-222 - [c15]Gidon Ernst
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS 2021: 133-152 - [c14]Sota Sato, Atsuyoshi Saimen, Masaki Waga
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. FM 2021: 313-329 - [c13]Masaki Waga
Model-bounded monitoring of hybrid systems. ICCPS 2021: 21-32 - [c12]Junya Shijubo
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. RV 2021: 100-120 - [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
- [b1]Masaki Waga:
Empowering Runtime Verification with Polyhedra. Graduate University for Advanced Studies, Japan, 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
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 - [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)
2010 – 2019
- 2019
- [c8]Masaki Waga
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
Moore-machine filtering for timed and untimed pattern matching: poster abstract. HSCC 2019: 272-273 - [c5]Masaki Waga
Online Parametric Timed Pattern Matching with Automata-Based Skipping. NFM 2019: 371-389 - [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
- [j1]Masaki Waga
Moore-Machine Filtering for Timed and Untimed Pattern Matching. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2649-2660 (2018) - [c4]Masaki Waga
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MT@CPSWeek 2018: 14-15 - [c3]Étienne André, Ichiro Hasuo
Offline Timed Pattern Matching under Uncertainty. ICECCS 2018: 10-20 - [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
- [c2]Masaki Waga
Efficient Online Timed Pattern Matching by Automata-Based Skipping. FORMATS 2017: 224-243 - [i2]Masaki Waga, Ichiro Hasuo, Kohei Suenaga
Efficient Online Timed Pattern Matching by Automata-Based Skipping. CoRR abs/1706.09174 (2017) - 2016
- [c1]Masaki Waga
A Boyer-Moore Type Algorithm for Timed Pattern Matching. FORMATS 2016: 121-139 - [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 2024-11-07 20:24 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: