| A divide & conquer approach to leads-to model checking Y Phyo, C Minh Do, K Ogata The Computer Journal 65 (6), 1353-1364, 2022 | 17 | 2022 |
| 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 |
| Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S). MN Aung, Y Phyo, K Ogata SEKE 2019, 159-208, 2019 | 11 | 2019 |
| 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 | 9 | 2021 |
| 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 | 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 2019 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 |
| Formal specification and model checking of the Walter-Welch-Vaidya mutual exclusion protocol for ad hoc mobile networks Y Phyo, K Ogata 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 89-98, 2018 | 5 | 2018 |
| 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 SEKE, 388-393, 2022 | 4 | 2022 |
| 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 | 3 | 2022 |
| Analysis of some variants of the Anderson array-based queuing mutual exclusion protocol with model checking and graphical animations Y Phyo, K Ogata 2018 5th International Conference on Dependable Systems and Their …, 2018 | 2 | 2018 |
| A Layered and Parallelized Method of Eventual Model Checking Y Phyo, MN Aung, CM Do, K Ogata Information 14 (7), 384, 2023 | 1 | 2023 |
| A Divide and Conquer Approach to Eventual Model Checking. Mathematics 2021, 9, 368 MN Aung, Y Phyo, CM Do, K Ogata s Note: MDPI stays neutral with regard to jurisdictional claims in published …, 2021 | 1 | 2021 |
| Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way C Minh Do, Y Phyo, K Ogata, A Riesco Rodríguez ACM, 2023 | | 2023 |
| A Layered and Parallelized Method of Eventual Model Checking. Information 2023, 14, 384 Y Phyo, MN Aung, CM Do, K Ogata | | 2023 |
