| Weighted automata extraction from recurrent neural networks via regression on state spaces T Okudono, M Waga, T Sekiyama, I Hasuo Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5306-5314, 2020 | 57 | 2020 |
| Falsification of cyber-physical systems with robustness-guided black-box checking M Waga Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 50 | 2020 |
| Efficient online timed pattern matching by automata-based skipping M Waga, I Hasuo, K Suenaga International Conference on Formal Modeling and Analysis of Timed Systems …, 2017 | 40 | 2017 |
| ARCH-COMP 2021 Category Report: Falsification with Validation of Results. G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ... ARCH@ ADHS, 133-152, 2021 | 36 | 2021 |
| Offline timed pattern matching under uncertainty É André, I Hasuo, M Waga 2018 23rd International Conference on Engineering of Complex Computer …, 2018 | 31 | 2018 |
| A Boyer-Moore type algorithm for timed pattern matching M Waga, T Akazaki, I Hasuo Formal Modeling and Analysis of Timed Systems: 14th International Conference …, 2016 | 29 | 2016 |
| Arch-comp 2022 category report: Falsification with ubounded resources G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ... Proceedings of 9th International Workshop on Applied Verification of …, 2022 | 25 | 2022 |
| Model-bounded monitoring of hybrid systems M Waga, É André, I Hasuo ACM Transactions on Cyber-Physical Systems 6 (4), 1-26, 2022 | 22 | 2022 |
| Symbolic monitoring against specifications parametric in time and data M Waga, É André, I Hasuo Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 18 | 2019 |
| Arch-comp 2023 category report: Falsification C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ... 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023 | 16 | 2023 |
| Online parametric timed pattern matching with automata-based skipping M Waga, É André NASA Formal Methods Symposium, 371-389, 2019 | 15 | 2019 |
| MONAA: A tool for timed pattern matching with automata-based acceleration M Waga, I Hasuo, K Suenaga 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018 | 12 | 2018 |
| Active learning of deterministic timed automata with myhill-nerode style characterization M Waga International Conference on Computer Aided Verification, 3-26, 2023 | 10 | 2023 |
| Online quantitative timed pattern matching with semiring-valued weighted automata M Waga International Conference on Formal Modeling and Analysis of Timed Systems, 3-22, 2019 | 10 | 2019 |
| Dynamic shielding for reinforcement learning in black-box environments M Waga, E Castellano, S Pruekprasert, S Klikovits, T Takisaka, I Hasuo International Symposium on Automated Technology for Verification and …, 2022 | 8 | 2022 |
| Efficient black-box checking via model checking with strengthened specifications J Shijubo, M Waga, K Suenaga International Conference on Runtime Verification, 100-120, 2021 | 8 | 2021 |
| Learning nonlinear hybrid automata from input–output time-series data A Gurung, M Waga, K Suenaga International Symposium on Automated Technology for Verification and …, 2023 | 7 | 2023 |
| Parametric timed pattern matching M Waga, É André, I Hasuo ACM Transactions on Software Engineering and Methodology 32 (1), 1-35, 2023 | 7 | 2023 |
| Moore-machine filtering for timed and untimed pattern matching M Waga, I Hasuo Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 6 | 2019 |
| Oblivious online monitoring for safety LTL specification via fully homomorphic encryption R Banno, K Matsuoka, N Matsumoto, S Bian, M Waga, K Suenaga International Conference on Computer Aided Verification, 447-468, 2022 | 5 | 2022 |
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerificeret mail på acm.org