Yati Phyo

Comput. J., 2022

Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way.

[BibT_eX]

[DOI]

IEEE Access, 2022

A divide and conquer approach to until and until stable model checking.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

A Tool for Model Checking Eventual Model Checking in a Stratified Way.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

A Divide & Conquer Approach to Conditional Stable Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

A support tool for the L + 1-layer divide & conquer approach to leads-to model checking.

[BibT_eX]

[DOI]

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2019

Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S).

[BibT_eX]

[DOI]

Moe Nandi Aung

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

2018

Analysis of Some Variants of the Anderson Array-Based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks.

[BibT_eX]

[DOI]