| Falsification of cyber-physical systems with robustness-guided black-box checking M Waga Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 65 | 2020 |
| 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 | 60 | 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 | 45 | 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 | 43 | 2021 |
| 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 | 36 | 2022 |
| A Boyer-Moore type algorithm for timed pattern matching M Waga, T Akazaki, I Hasuo International Conference on Formal Modeling and Analysis of Timed Systems …, 2016 | 35 | 2016 |
| Offline timed pattern matching under uncertainty É André, I Hasuo, M Waga 2018 23rd International Conference on Engineering of Complex Computer …, 2018 | 34 | 2018 |
| ARCH-COMP 2023 category report: Falsification C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ... International Workshop on Applied Verification of Continuous and Hybrid …, 2023 | 26 | 2023 |
| Model-bounded monitoring of hybrid systems M Waga, É André, I Hasuo ACM Transactions on Cyber-Physical Systems 6 (4), 1-26, 2022 | 25 | 2022 |
| Symbolic monitoring against specifications parametric in time and data M Waga, É André, I Hasuo International Conference on Computer Aided Verification, 520-539, 2019 | 24 | 2019 |
| Active learning of deterministic timed automata with myhill-nerode style characterization M Waga International Conference on Computer Aided Verification, 3-26, 2023 | 22 | 2023 |
| Online parametric timed pattern matching with automata-based skipping M Waga, É André NASA Formal Methods Symposium, 371-389, 2019 | 17 | 2019 |
| Arch-comp 2024 category report: Falsification T Khandait, F Formica, P Arcaini, S Chotaliya, G Fainekos, A Hekal, ... International Workshop on Applied Verification for Continuous and Hybrid …, 2024 | 16 | 2024 |
| Efficient black-box checking via model checking with strengthened specifications J Shijubo, M Waga, K Suenaga International Conference on Runtime Verification, 100-120, 2021 | 16 | 2021 |
| 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 | 16 | 2018 |
| 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 | 15 | 2022 |
| 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 | 15 | 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 | 11 | 2022 |
| Parametric timed pattern matching M Waga, É André, I Hasuo ACM Transactions on Software Engineering and Methodology 32 (1), 1-35, 2023 | 10 | 2023 |
| 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 | 9 | 2023 |
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
