Availability Modeling and Evaluation of Cloud Virtual Data Centers. - Mohammad Roohitavaf; Reza Entezari-Maleki; Ali Movaghar 001 (ICPADS, 2013)

Ensuring Average Recovery with Adversarial Scheduler. - Jingshu Chen; Mohammad Roohitavaf; Sandeep S. Kulkarni (OPODIS, 2015)

Auditable Restoration of Distributed Programs. - Reza Hajisheykhi; Mohammad Roohitavaf; Sandeep S. Kulkarni (SRDS, 2015)

A framework for verification of SystemC TLM programs with model slicing: a case study. - Reza Hajisheykhi; Mohammad Roohitavaf; Ali Ebnenasir; Sandeep S. Kulkarni (DAC, 2016)

Stabilization and fault-tolerance in presence of unchangeable environment actions. - Mohammad Roohitavaf; Sandeep S. Kulkarni (ICDCN, 2016)

Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. - Mohammad Roohitavaf; Yiyan Lin; Sandeep S. Kulkarni (IPDPS, 2016)

Collaborative Stabilization. - Mohammad Roohitavaf; Sandeep S. Kulkarni (SRDS, 2016)

Automatic Addition of Conflicting Properties. - Mohammad Roohitavaf; Sandeep S. Kulkarni (SSS, 2016)

Consistency in Distributed Data Stores. - Mohammad Roohitavaf (CoRR, 2016)

GentleRain+: Making GentleRain Robust on Clock Anomalies. - Mohammad Roohitavaf; Sandeep S. Kulkarni (CoRR, 2016)

CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. - Mohammad Roohitavaf; Murat Demirbas; Sandeep S. Kulkarni (SRDS, 2017)

Bounded Auditable Restoration of Distributed Systems. - Reza Hajisheykhi; Mohammad Roohitavaf; Sandeep S. Kulkarni (IEEE Trans. Computers, 2017)

NetSynth: a framework for synthesizing customized network protocols using genetic programming. - Mohammad Roohitavaf; Ling Zhu 001; Sandeep S. Kulkarni; Subir Biswas (GECCO (Companion), 2018)

Synthesizing customized network protocols using genetic programming. - Mohammad Roohitavaf; Ling Zhu 001; Sandeep S. Kulkarni; Subir Biswas (GECCO (Companion), 2018)

DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. - Mohammad Roohitavaf; Sandeep S. Kulkarni (ASE, 2018)

Toward Adaptive Causal Consistency for Replicated Data Stores. - Mohammad Roohitavaf; Sandeep S. Kulkarni (CoRR, 2018)

CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. - Mohammad Roohitavaf; Murat Demirbas; Sandeep S. Kulkarni (CoRR, 2018)

Session guarantees with raft and hybrid logical clocks. - Mohammad Roohitavaf; Jung-Sang Ahn; Woon-Hak Kang; Kun Ren; Gene Zhang; Sami Ben-Romdhane; Sandeep S. Kulkarni (ICDCN, 2019)

LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming. - Mohammad Roohitavaf; Kun Ren; Gene Zhang; Sami Ben-Romdhane (CoRR, 2019)

Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †. - Mohammad Roohitavaf; Sandeep S. Kulkarni (Future Internet, 2019)