( en | de | ru )

 

Disambiguierung von "Sakr, Mouhammad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model and Program Repair via SAT Solving.

, , und . ACM Trans. Embed. Comput. Syst., 17 (2): 32:1-32:25 (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mouhammad Alhumaidi

Hamed Sakr

Ibrahim Sakr

Yasser Sakr

Laila Sakr

 

Weitere Publikationen von Autoren mit dem selben Namen

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