| A divide & conquer approach to leads-to model checking Y Phyo, C Minh Do, K Ogata The Computer Journal 65 (6), 1353-1364, 2021 | 17 | 2021 |
| A divide and conquer approach to eventual model checking MN Aung, Y Phyo, CM Do, K Ogata Mathematics 9 (4), 368, 2021 | 16 | 2021 |
| A support tool for the L+ 1-layer divide & conquer approach to leads-to model checking Y Phyo, CM Do, K Ogata 2021 IEEE 45th Annual Computers, Software, and Applications Conference …, 2021 | 12 | 2021 |
| A parallel stratified model checking technique/tool for leads-to properties CM Do, Y Phyo, A Riesco, K Ogata The 7th International Symposium on System and Software Reliability (ISSSR …, 2021 | 9 | 2021 |
| Parallel Maude-NPA for cryptographic protocol analysis C Minh Do, A Riesco, S Escobar, K Ogata The 14th International Workshop on Rewriting Logic and Its Applications …, 2022 | 8 | 2022 |
| Symbolic Model Checking Quantum Circuits in Maude CM Do, K Ogata The 35th International Conference on Software Engineering and Knowledge …, 2023 | 7 | 2023 |
| A divide & conquer approach to conditional stable model checking Y Phyo, CM Do, K Ogata The 18th International Colloquium on Theoretical Aspects of Computing (ICTAC …, 2021 | 6 | 2021 |
| Toward development of a tool supporting a 2-layer divide & conquer approach to leads-to model checking Y Phyo, CM Do, K Ogata The 3rd International Conference on Advanced Information Technologies (ICAIT …, 2019 | 6 | 2019 |
| Optimization techniques for model checking leads-to properties in a stratified way CM Do, Y Phyo, A Riesco, K Ogata ACM Transactions on Software Engineering and Methodology 32 (6), 1-38, 2023 | 5 | 2023 |
| Specification-based Testing with Simulation Relations CM Do, K Ogata The 31st International Conference on Software Engineering and Knowledge …, 2019 | 5 | 2019 |
| Sequential and parallel tools for model checking conditional stable properties in a layered way CM Do, Y Phyo, K Ogata IEEE Access 10, 133749-133765, 2022 | 4 | 2022 |
| A divide and conquer approach to until and until stable model checking CM Do, Y Phyo, K Ogata The 34th International Conference on Software Engineering and Knowledge …, 2022 | 4 | 2022 |
| Hybrid post-quantum tls formal specification in Maude-NPA - toward its security analysis DD Tran, CM Do, S Escobar, K Ogata The 1st International Workshop on Formal Analysis and Verification of Post …, 2022 | 4 | 2022 |
| A divide & conquer approach to testing concurrent Java programs with JPF and Maude C Minh Do, K Ogata The 9th International Workshop on Structured Object-Oriented Formal Language …, 2019 | 4 | 2019 |
| A tool for model checking eventual model checking in a stratified way MN Aung, Y Phyo, CM Do, K Ogata The 9th International Conference on Dependable Systems and Their …, 2022 | 3 | 2022 |
| A divide & conquer approach to testing concurrent programs with JPF CM Do, K Ogata The 27th Asia-Pacific Software Engineering Conference (APSEC), 356-364, 2020 | 3 | 2020 |
| Automated Quantum Program Verification in Dynamic Quantum Logic T Takagi, CM Do, K Ogata DaLí: Dynamic Logic – New Trends and Applications, 68-84, 2023 | 2 | 2023 |
| Theoretical Foundation for Equivalence Checking of Quantum Circuits CM Do, K Ogata The 2nd International Workshop on Formal Analysis and Verification of Post …, 2023 | 2* | 2023 |
| Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version DD Tran, CM Do, S Escobar, K Ogata PeerJ Computer Science 9, e1556, 2023 | 1 | 2023 |
| A Layered and Parallelized Method of Eventual Model Checking Y Phyo, MN Aung, CM Do, K Ogata Information 14 (7), 384, 2023 | 1 | 2023 |
Kazuhiro OgataJAIST在 jaist.ac.jp 的电子邮件经过验证
