Tam Thi Thanh Nguyen

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 5

Top Topics

Deterministic Finite Automaton

Mutual Exclusion

Temporal Properties

Top Venues

DASC/PiCom/DataCom/CyberSciTech

Publications

May Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata
Analysis of Two Flawed Versions of A Mutual Exclusion Protocol with Maude and SMGA. ICSCA (2018)
May Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata
Guessing Properties of the Qlock Mutual Exclusion Protocol based on its Graphical Animations and confirming the Properties by Model Checking. ICSCA (2018)
Tam Thi Thanh Nguyen, Kazuhiro Ogata
Graphically Perceiving Characteristics of the MCS Lock and Model Checking Them. SOFL+MSVL (2017)
Tam Thi Thanh Nguyen, Kazuhiro Ogata
A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker. SATE (2017)
Tam Thi Thanh Nguyen, Kazuhiro Ogata
Graphical Animations of State Machines. DASC/PiCom/DataCom/CyberSciTech (2017)