Login / Signup
Yati Phyo
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 11
Top Topics
Temporal Properties
Pspace Complete
Model Checking
Timed Automata
Top Venues
SEKE
DSA
Inf.
APSEC
</>
Publications
</>
Yati Phyo
,
Moe Nandi Aung
,
Canh Minh Do
,
Kazuhiro Ogata
A Layered and Parallelized Method of Eventual Model Checking.
Inf.
14 (7) (2023)
Canh Minh Do
,
Yati Phyo
,
Adrián Riesco
,
Kazuhiro Ogata
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way.
ACM Trans. Softw. Eng. Methodol.
32 (6) (2023)
Canh Minh Do
,
Yati Phyo
,
Kazuhiro Ogata
A divide and conquer approach to until and until stable model checking.
SEKE
(2022)
Moe Nandi Aung
,
Yati Phyo
,
Canh Minh Do
,
Kazuhiro Ogata
A Tool for Model Checking Eventual Model Checking in a Stratified Way.
DSA
(2022)
Yati Phyo
,
Canh Minh Do
,
Kazuhiro Ogata
A Divide & Conquer Approach to Leads-to Model Checking.
Comput. J.
65 (6) (2022)
Canh Minh Do
,
Yati Phyo
,
Kazuhiro Ogata
Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way.
IEEE Access
10 (2022)
Yati Phyo
,
Canh Minh Do
,
Kazuhiro Ogata
A Divide & Conquer Approach to Conditional Stable Model Checking.
ICTAC
(2021)
Yati Phyo
,
Canh Minh Do
,
Kazuhiro Ogata
A support tool for the L + 1-layer divide & conquer approach to leads-to model checking.
COMPSAC
(2021)
Moe Nandi Aung
,
Yati Phyo
,
Kazuhiro Ogata
Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S).
SEKE
(2019)
Yati Phyo
,
Kazuhiro Ogata
Analysis of Some Variants of the Anderson Array-Based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations.
DSA
(2018)
Yati Phyo
,
Kazuhiro Ogata
Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks.
APSEC
(2018)