Yati Phyo

11 papers B 1C 4Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
A Layered and Parallelized Method of Eventual Model Checking.
Inf.
Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata
2023 J jnl
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way.
ACM Trans. Softw. Eng. Methodol.
Canh Minh Do, Yati Phyo, Adrián Riesco, Kazuhiro Ogata
2022 J jnl
A Divide & Conquer Approach to Leads-to Model Checking.
Comput. J.
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
2022 — conf
A Tool for Model Checking Eventual Model Checking in a Stratified Way.
DSA
Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata
2022 C conf
A divide and conquer approach to until and until stable model checking.
SEKE
Canh Minh Do, Yati Phyo, Kazuhiro Ogata
2022 J jnl
Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way.
IEEE Access
Canh Minh Do, Yati Phyo, Kazuhiro Ogata
2021 C conf
A Divide & Conquer Approach to Conditional Stable Model Checking.
ICTAC
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
2021 B conf
A support tool for the L + 1-layer divide & conquer approach to leads-to model checking.
COMPSAC
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
2019 C conf
Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S).
SEKE
Moe Nandi Aung, Yati Phyo, Kazuhiro Ogata
2018 — conf
Analysis of Some Variants of the Anderson Array-Based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations.
DSA
Yati Phyo, Kazuhiro Ogata
2018 C conf
Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks.
APSEC
Yati Phyo, Kazuhiro Ogata