default search action
Mohammad Roohitavaf
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [j2]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †. Future Internet 11(7): 144 (2019) - [c13]Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni:
Session guarantees with raft and hybrid logical clocks. ICDCN 2019: 100-109 - [i9]Mohammad Roohitavaf, Kun Ren, Gene Zhang, Sami Ben-Romdhane:
LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming. CoRR abs/1911.11286 (2019) - 2018
- [c12]Mohammad Roohitavaf, Ling Zhu
, Sandeep S. Kulkarni, Subir Biswas:
NetSynth: a framework for synthesizing customized network protocols using genetic programming. GECCO (Companion) 2018: 243-244 - [c11]Mohammad Roohitavaf, Ling Zhu
Synthesizing customized network protocols using genetic programming. GECCO (Companion) 2018: 1616-1623 - [c10]Mohammad Roohitavaf, Sandeep S. Kulkarni:
DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. ASE 2018: 912-915 - [i8]Mohammad Roohitavaf, Sandeep S. Kulkarni:
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. CoRR abs/1801.05064 (2018) - [i7]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Toward Adaptive Causal Consistency for Replicated Data Stores. CoRR abs/1803.08609 (2018) - [i6]Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni:
Session Guarantees with Raft and Hybrid Logical Clocks. CoRR abs/1808.05698 (2018) - [i5]Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni:
CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. CoRR abs/1812.07123 (2018) - 2017
- [j1]Reza Hajisheykhi
Bounded Auditable Restoration of Distributed Systems. IEEE Trans. Computers 66(2): 240-255 (2017) - [c9]Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni:
CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. SRDS 2017: 184-193 - 2016
- [c8]Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni:
A framework for verification of SystemC TLM programs with model slicing: a case study. DAC 2016: 22:1-22:6 - [c7]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Stabilization and fault-tolerance in presence of unchangeable environment actions. ICDCN 2016: 19:1-19:10 - [c6]Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni:
Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. IPDPS 2016: 1071-1080 - [c5]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Collaborative Stabilization. SRDS 2016: 259-268 - [c4]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Automatic Addition of Conflicting Properties. SSS 2016: 310-326 - [i4]Mohammad Roohitavaf:
Consistency in Distributed Data Stores. CoRR abs/1604.07805 (2016) - [i3]Mohammad Roohitavaf, Sandeep S. Kulkarni:
GentleRain+: Making GentleRain Robust on Clock Anomalies. CoRR abs/1612.05205 (2016) - 2015
- [c3]Jingshu Chen
Ensuring Average Recovery with Adversarial Scheduler. OPODIS 2015: 23:1-23:18 - [c2]Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Auditable Restoration of Distributed Programs. SRDS 2015: 37-46 - [i2]Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Auditable Restoration of Distributed Programs. CoRR abs/1506.07957 (2015) - [i1]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Stabilization and Fault-Tolerance in Presence of Unchangeable Environment Actions. CoRR abs/1508.00864 (2015) - 2013
- [c1]Mohammad Roohitavaf, Reza Entezari-Maleki
Availability Modeling and Evaluation of Cloud Virtual Data Centers. ICPADS 2013: 675-680
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: