Login / Signup
Hadi Moloodi
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Distributed Query Processing
Node Failures
Fault Tolerant
High Scalability
Top Venues
SRDS
</>
Publications
</>
Hadi Moloodi
,
Fathiyeh Faghih
,
Borzoo Bonakdarpour
Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction.
SRDS
(2021)