( en | de | ru )

 

Disambiguation of "Roohitavaf, Mohammad"

Author of the publication

copydeleteadd this publication to your clipboard
A framework for verification of SystemC TLM programs with model slicing: a case study.

, , , and . DAC, page 22:1-22:6. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mohammad Mohammad

Mohammad Sadeghi

Metallogenic modeling and mineral potential mapping in the Takab district, NW Iran. Uni Halle-Wittenberg, (2009)

Mohammad Reza Mohammad Khorasani

Mohammad Tahbasian

Mohammad Mohammady

 

Other publications of authors with the same name

A framework for verification of SystemC TLM programs with model slicing: a case study., , , and . DAC, page 22:1-22:6. ACM, (2016)DKVF: a framework for rapid prototyping and evaluating distributed key-value stores., and . ASE, page 912-915. ACM, (2018)Lazy Repair for Addition of Fault-Tolerance to Distributed Programs., , and . IPDPS, page 1071-1080. IEEE Computer Society, (2016)NetSynth: a framework for synthesizing customized network protocols using genetic programming., , , and . GECCO (Companion), page 243-244. ACM, (2018)Availability Modeling and Evaluation of Cloud Virtual Data Centers., , and . ICPADS, page 675-680. IEEE Computer Society, (2013)Ensuring Average Recovery with Adversarial Scheduler., , and . OPODIS, volume 46 of LIPIcs, page 23:1-23:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Stabilization and fault-tolerance in presence of unchangeable environment actions., and . ICDCN, page 19:1-19:10. ACM, (2016)Auditable Restoration of Distributed Programs., , and . SRDS, page 37-46. IEEE Computer Society, (2015)CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks., , and . SRDS, page 184-193. IEEE Computer Society, (2017)Synthesizing customized network protocols using genetic programming., , , and . GECCO (Companion), page 1616-1623. ACM, (2018)