Login / Signup
May Thu Aung
Publication Activity (10 Years)
Years Active: 2009-2018
Publications (10 Years): 3
Top Topics
Mutual Exclusion
Temporal Properties
Model Checking
Grid Technology
Top Venues
ICSCA
MTAGS@SC
</>
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)
Ei Ei Mon
,
Myint Myint Thein
,
May Thu Aung
Clustering Based on Task Dependency for Data-Intensive Workflow Scheduling Optimization.
MTAGS@SC
(2016)
May Thu Aung
An Efficient Data Transfer Protocol for Distributed Systems.
ICETC
(2009)