| A divide & conquer approach to leads-to model checking Y Phyo, C Minh Do, K Ogata The Computer Journal 65 (6), 1353-1364, 2022 | 15 | 2022 |
| A divide and conquer approach to eventual model checking MN Aung, Y Phyo, CM Do, K Ogata Mathematics 9 (4), 368, 2021 | 14 | 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 | 10 | 2021 |
| A parallel stratified model checking technique/tool for leads-to properties CM Do, Y Phyo, A Riesco, K Ogata 2021 7th International Symposium on System and Software Reliability (ISSSR …, 2021 | 7 | 2021 |
| Parallel Maude-NPA for cryptographic protocol analysis C Minh Do, A Riesco, S Escobar, K Ogata International Workshop on Rewriting Logic and its Applications, 253-273, 2022 | 6 | 2022 |
| Toward development of a tool supporting a 2-layer divide & conquer approach to leads-to model checking Y Phyo, CM Do, K Ogata 2019 International Conference on Advanced Information Technologies (ICAIT …, 2019 | 6 | 2019 |
| Symbolic model checking quantum circuits in maude CM Do, K Ogata The 35th International Conference on Software Engineering and Knowledge …, 2023 | 5 | 2023 |
| A divide & conquer approach to conditional stable model checking Y Phyo, CM Do, K Ogata Theoretical Aspects of Computing–ICTAC 2021: 18th International Colloquium …, 2021 | 5 | 2021 |
| Specification-based Testing with Simulation Relations (S). CM Do, K Ogata SEKE, 107-146, 2019 | 5 | 2019 |
| Hybrid post-quantum tls formal specification in maude-npa-toward its security analysis? DD Tran, CM Do, S Escobar, K Ogata Proceedings http://ceur-ws. org ISSN 1613, 0073, 2022 | 4 | 2022 |
| A divide & conquer approach to testing concurrent Java programs with JPF and Maude C Minh Do, K Ogata International Workshop on Structured Object-Oriented Formal Language and …, 2019 | 4 | 2019 |
| A divide and conquer approach to until and until stable model checking. CM Do, Y Phyo, K Ogata SEKE, 388-393, 2022 | 3 | 2022 |
| A divide & conquer approach to testing concurrent programs with JPF* CM Do, K Ogata 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 356-364, 2020 | 3 | 2020 |
| 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 | 2 | 2023 |
| A tool for model checking eventual model checking in a stratified way MN Aung, Y Phyo, CM Do, K Ogata 2022 9th International Conference on Dependable Systems and Their …, 2022 | 2 | 2022 |
| 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 |
| 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 | 1 | 2022 |
| A Divide and Conquer Approach to Eventual Model Checking. Mathematics 2021, 9, 368 MN Aung, Y Phyo, CM Do, K Ogata Mathematics in Software Reliability and Quality Assurance, 43, 2021 | 1 | 2021 |
| Parallel stratified random testing for concurrent programs CM Do, K Ogata 2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020 | 1 | 2020 |
| Automated Quantum Program Verification in Dynamic Quantum Logic T Takagi, CM Do, K Ogata International Workshop on Dynamic Logic, 68-84, 2023 | | 2023 |
Kazuhiro OgataJAISTVerified email at jaist.ac.jp
Kazuhiro OgataJAISTVerified email at jaist.ac.jp