Yati Phyo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2018–2022
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SEKE | A divide and conquer approach to until and until stable model checking. | Canh Minh Do, Yati Phyo, Kazuhiro Ogata |
| 2021 | COMPSAC | A support tool for the L + 1-layer divide & conquer approach to leads-to model checking. | Yati Phyo, Canh Minh Do, Kazuhiro Ogata |
| 2021 | ICTAC | A Divide & Conquer Approach to Conditional Stable Model Checking. | Yati Phyo, Canh Minh Do, Kazuhiro Ogata |
| 2019 | SEKE | Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S). | Moe Nandi Aung, Yati Phyo, Kazuhiro Ogata |
| 2018 | APSEC | Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks. | Yati Phyo, Kazuhiro Ogata |