Follow
Yati Phyo
Yati Phyo
Verified email at jaist.ac.jp
Title
Cited by
Cited by
Year
A divide & conquer approach to leads-to model checking
Y Phyo, C Minh Do, K Ogata
The Computer Journal 65 (6), 1353-1364, 2022
172022
A divide and conquer approach to eventual model checking
MN Aung, Y Phyo, CM Do, K Ogata
Mathematics 9 (4), 368, 2021
152021
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
122021
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
112019
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
92021
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
62021
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
62019
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
52023
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
52018
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
42022
A divide and conquer approach to until and until stable model checking.
CM Do, Y Phyo, K Ogata
SEKE, 388-393, 2022
42022
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
32022
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
22018
A Layered and Parallelized Method of Eventual Model Checking
Y Phyo, MN Aung, CM Do, K Ogata
Information 14 (7), 384, 2023
12023
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
12021
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
The system can't perform the operation now. Try again later.
Articles 1–17