Search
Home // SnT // People // Mouhammad Sakr
Imprimer

Mouhammad Sakr

Mouhammad Sakr

Postdoctoral researcher

Department CritiX
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E02 0245-020
Email
Telephone (+352) 46 66 44 6571
powered by
orbilu.uni.lu

2022

See detailThe Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Jacobs, Swen; Perez, Guillermo; Abraham; Bruyere, Veronique; Cadilhac, Michael; Colange, Maximilien; Delfosse, Charly; Tom, van Dijk; Duret-Lutz, Alexandre; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Luttenberger, Michael; Meyer, Klara; Michaud, Thibaud; Pommellet, Adrien; Renkin, Florian; Schlehuber-Caissier, Philipp; Sakr, Mouhammad; Sickert, Salomon; Staquet, Gaetan; Tamines, Clement; Tentrup, Leander; Walker, Adam

Report (2022)

Full Text
See detailAutomatic Repair and Deadlock Detection for Parameterized Systems
Jacobs, Swen; Sakr, Mouhammad; Volp, Marcus

in Automatic Repair and Deadlock Detection for Parameterized Systems (2022, October 15)

Top of Page

2021

Full Text
See detailTo verify or tolerate, that’s the question
Pinto Gouveia, Ines; Sakr, Mouhammad; Graczyk, Rafal; Volp, Marcus

Scientific Conference (2021, December 06)

Full Text
See detailAIGEN: Random Generation of Symbolic Transition Systems
Sakr, Mouhammad; Jacobs, Swen

in Sakr, Mouhammad; Jacobs, Swen (Eds.) AIGEN: Random Generation of Symbolic Transition Systems (2021, July 18)

Top of Page