Masaki Waga |
Masaki Waga |
Masaki Waga |
Falsification of cyber-physical systems with robustness-guided black-box checking. |
Falsification of cyber-physical systems with robustness-guided black-box checking. |
Falsification of cyber-physical systems with robustness-guided black-box checking. |
, 11-13 |
, 11-13 |
, 11-13 |
2020 |
有 |
|
研究論文(国際会議プロシーディングス) |
公開 |
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo |
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo |
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo |
Genetic algorithm for the weight maximization problem on weighted automata. |
Genetic algorithm for the weight maximization problem on weighted automata. |
Genetic algorithm for the weight maximization problem on weighted automata. |
, 699-707 |
, 699-707 |
, 699-707 |
2020 |
有 |
|
研究論文(国際会議プロシーディングス) |
公開 |
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo |
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo |
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo |
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. |
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. |
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. |
, 5306-5314 |
, 5306-5314 |
, 5306-5314 |
2020 |
有 |
|
研究論文(国際会議プロシーディングス) |
公開 |
Masaki Waga, Étienne André |
Masaki Waga, Étienne André |
Masaki Waga, Étienne André |
Online Parametric Timed Pattern Matching with Automata-Based Skipping. |
Online Parametric Timed Pattern Matching with Automata-Based Skipping. |
Online Parametric Timed Pattern Matching with Automata-Based Skipping. |
, 371-389 |
, 371-389 |
, 371-389 |
2019 |
有 |
|
研究論文(国際会議プロシーディングス) |
公開 |
Masaki Waga |
Masaki Waga |
Masaki Waga |
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. |
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. |
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. |
, 3-22 |
, 3-22 |
, 3-22 |
2019 |
有 |
|
研究論文(国際会議プロシーディングス) |
公開 |
Masaki Waga, Étienne André, Ichiro Hasuo |
Masaki Waga, Étienne André, Ichiro Hasuo |
Masaki Waga, Étienne André, Ichiro Hasuo |
Symbolic Monitoring Against Specifications Parametric in Time and Data. |
Symbolic Monitoring Against Specifications Parametric in Time and Data. |
Symbolic Monitoring Against Specifications Parametric in Time and Data. |
, 520-539 |
, 520-539 |
, 520-539 |
2019 |
有 |
|
研究論文(国際会議プロシーディングス) |
公開 |
Étienne André, Ichiro Hasuo, Masaki Waga |
Étienne André, Ichiro Hasuo, Masaki Waga |
Étienne André, Ichiro Hasuo, Masaki Waga |
Offline Timed Pattern Matching under Uncertainty. |
Offline Timed Pattern Matching under Uncertainty. |
Offline Timed Pattern Matching under Uncertainty. |
, 10-20 |
, 10-20 |
, 10-20 |
2018 |
有 |
|
研究論文(国際会議プロシーディングス) |
公開 |
Masaki Waga, Ichiro Hasuo, Kohei Suenaga |
Masaki Waga, Ichiro Hasuo, Kohei Suenaga |
Masaki Waga, Ichiro Hasuo, Kohei Suenaga |
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. |
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. |
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. |
, 14-15 |
, 14-15 |
, 14-15 |
2018 |
有 |
|
研究論文(国際会議プロシーディングス) |
公開 |
Masaki Waga, Ichiro Hasuo |
Masaki Waga, Ichiro Hasuo |
Masaki Waga, Ichiro Hasuo |
Moore-Machine Filtering for Timed and Untimed Pattern Matching. |
Moore-Machine Filtering for Timed and Untimed Pattern Matching. |
Moore-Machine Filtering for Timed and Untimed Pattern Matching. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37, 11, 2649-2660 |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37, 11, 2649-2660 |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37, 11, 2649-2660 |
2018 |
有 |
|
研究論文(学術雑誌) |
公開 |
Masaki Waga, Ichiro Hasuo, Kohei Suenaga |
Masaki Waga, Ichiro Hasuo, Kohei Suenaga |
Masaki Waga, Ichiro Hasuo, Kohei Suenaga |
Efficient Online Timed Pattern Matching by Automata-Based Skipping. |
Efficient Online Timed Pattern Matching by Automata-Based Skipping. |
Efficient Online Timed Pattern Matching by Automata-Based Skipping. |
, 224-243 |
, 224-243 |
, 224-243 |
2017 |
有 |
|
研究論文(国際会議プロシーディングス) |
公開 |