Tam Thi Thanh Nguyen

According to our database, Tam Thi Thanh Nguyen authored at least 5 papers between 2017 and 2018.

Collaborative distances:

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

2018

Analysis of Two Flawed Versions of A Mutual Exclusion Protocol with Maude and SMGA.

May Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata

Proceedings of the 7th International Conference on Software and Computer Applications, 2018

Guessing Properties of the Qlock Mutual Exclusion Protocol based on its Graphical Animations and confirming the Properties by Model Checking.

May Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata

Proceedings of the 7th International Conference on Software and Computer Applications, 2018

2017

Graphically Perceiving Characteristics of the MCS Lock and Model Checking Them.

Tam Thi Thanh Nguyen, Kazuhiro Ogata

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker.

Tam Thi Thanh Nguyen, Kazuhiro Ogata

Proceedings of the 2017 International Conference on Software Analysis, 2017

Graphical Animations of State Machines.

Tam Thi Thanh Nguyen, Kazuhiro Ogata

Proceedings of the 15th IEEE Intl Conf on Dependable, 2017