Moe Nandi Aung

According to our database, Moe Nandi Aung authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A Layered and Parallelized Method of Eventual Model Checking.

Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata

Inf., 2023

2022

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

Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata

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

2019

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

Moe Nandi Aung, Yati Phyo, Kazuhiro Ogata

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