Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks. - Yati Phyo; Kazuhiro Ogata 001 (APSEC, 2018)

Analysis of Some Variants of the Anderson Array-Based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations. - Yati Phyo; Kazuhiro Ogata 001 (DSA, 2018)

Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S). - Moe Nandi Aung; Yati Phyo; Kazuhiro Ogata 001 (SEKE, 2019)

A support tool for the L + 1-layer divide & conquer approach to leads-to model checking. - Yati Phyo; Canh Minh Do; Kazuhiro Ogata 001 (COMPSAC, 2021)

A Divide & Conquer Approach to Conditional Stable Model Checking. - Yati Phyo; Canh Minh Do; Kazuhiro Ogata 001 (ICTAC, 2021)

A Tool for Model Checking Eventual Model Checking in a Stratified Way. - Moe Nandi Aung; Yati Phyo; Canh Minh Do; Kazuhiro Ogata 001 (DSA, 2022)

A divide and conquer approach to until and until stable model checking. - Canh Minh Do; Yati Phyo; Kazuhiro Ogata 001 (SEKE, 2022)

Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way. - Canh Minh Do; Yati Phyo; Kazuhiro Ogata 001 (IEEE Access, 2022)

A Divide & Conquer Approach to Leads-to Model Checking. - Yati Phyo; Canh Minh Do; Kazuhiro Ogata 001 (Comput. J., 2022)

A Layered and Parallelized Method of Eventual Model Checking. - Yati Phyo; Moe Nandi Aung; Canh Minh Do; Kazuhiro Ogata 001 (Inf., 2023)

Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way. - Canh Minh Do; Yati Phyo; Adrián Riesco 001; Kazuhiro Ogata 001 (ACM Trans. Softw. Eng. Methodol., 2023)