Home   |   Projects   |   Publication   |   Software Products   |   Contact and Social Network

Papers

 

Journal Papers

Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, and Sandeep Kulkarni, "Bounded Auditable Restoration of Distributed Systemsin IEEE Transactions on Computers, 2016.

Conference Papers

Mohammad Roohitavaf, Murat Demirbas, and Sandeep Kulkarni, “CausalSpartan: Causal Consistency for Distributed Data Stores using Hybrid Logical Clocks”, 36th IEEE International Symposium on Reliable Distributed Systems (SRDS 17), Hong Kong, China, 26-29 September 2017

Mohammad Roohitavaf and Sandeep Kulkarni, “Automatic Addition of Conflicting Properties”, 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 16), Lyon, France, November 7-10, 2016.

Mohammad Roohitavaf and Sandeep Kulkarni, “Collaborative Stabilization”, The 35th Symposium on Reliable Distributed Systems (SRDS 16), Budapest, Hungary, September 26-29, 2016.

Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, and Sandeep Kulkarni, “A Framework for Verification of SystemC TLM Programs with Model Slicing” in 53rd Design Automation Conference (DAC 16) Austin, TX, USA, June 5-9, 2016.

Mohammad Roohitavaf , Yiyan Lin, and Sandeep S. Kulkarni. "Lazy Repair for Addition of Fault-tolerance to Distributed Programs". In The 30th International Parallerl and Distributed Processing Symposium (IPDPS 16), Chicago, IL, USA, May 23-27, 2016.

Mohammad, Roohitavaf  and  Sandeep  S.  Kulkarni.   "Stabilization  and  fault-tolerance in  presence  of  unchangeable  environment  actions".    In  International Conference on Distributed Computing and Networking, (ICDCN 16), Singapore, January 4-7, 2016.

Jingshu Chen, Mohammad Roohitavaf, and Sandeep S. Kulkarni. "Ensuring Average Recovery with Adversarial Scheduler". In The 19th International Conferene on Principles of Distributed Systems (OPODIS 15), Rennes, France, December 14-17, 2015.

Reza Hajisheykhi, Mohammad Roohitavaf and Sandeep Kulkarni, “Auditable Restoration of Distributed Programs,” The 34th Symposium on Reliable Distributed Systems (SRDS 15), Montreal, Canada, Sept. 2015.

Mohammad Roohitavaf, Reza Entezari-Maleki, and Ali Movaghar, "Availability Modeling and Evaluation of Cloud Virtual Data Centers," in The 19th IEEE Interenational Conference on Parallel and Distributed Systems (ICPADS 13), Seoul, South Korea, Dec. 15, 2013.

ArXiv Papers

Mohammad Roohitavaf, "Consistency in Distributed Data Stores." arXiv preprint arXiv:1604.07805 (2016).

Roohitavaf, Mohammad, and Sandeep Kulkarni. "GentleRain+: Making GentleRain Robust on Clock Anomalies." arXiv preprint arXiv:1612.05205 (2016).