( en | de | ru )

 

Disambiguation of "Sakr, Mouhammad"

Author of the publication

copydeleteadd this publication to your clipboard
Promptness and Bounded Fairness in Concurrent and Parameterized Systems.

, , and . CoRR, (2019)

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.

Mouhammad Alhumaidi

Hamed Sakr

Ibrahim Sakr

Yasser Sakr

Laila Sakr

 

Other publications of authors with the same name

Automatic Repair and Deadlock Detection for Parameterized Systems., , and . FMCAD, page 225-234. IEEE, (2022)The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results., , , , , , , , , and 4 other author(s). CoRR, (2019)Model and program repair via SAT solving., , , , and . MEMOCODE, page 148-157. IEEE, (2015)A symbolic algorithm for lazy synthesis of eager strategies., and . Acta Inf., 57 (1-2): 81-106 (2020)Model and Program Repair via SAT Solving., , and . ACM Trans. Embed. Comput. Syst., 17 (2): 32:1-32:25 (2018)Parameterized Repair of Concurrent Systems., , and . CoRR, (2021)The Reactive Synthesis Competition (SYNTCOMP): 2018-2021., , , , , , , , , and 15 other author(s). CoRR, (2022)Promptness and Bounded Fairness in Concurrent and Parameterized Systems., , and . CoRR, (2019)Promptness and Bounded Fairness in Concurrent and Parameterized Systems., , and . VMCAI, volume 11990 of Lecture Notes in Computer Science, page 337-359. Springer, (2020)Parameterized verification and repair of concurrent systems.. Saarland University, Saarbrücken, Germany, (2021)