Follow
Mouhammad Sakr
Mouhammad Sakr
Postdoctoral Researcher, CritiX, Luxembourg University
Verified email at uni.lu
Title
Cited by
Cited by
Year
Model and program repair via sat solving
PC Attie, KDA Bab, M Sakr
ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-25, 2017
222017
The reactive synthesis competition (SYNTCOMP): 2018-2021
S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
arXiv preprint arXiv:2206.00251, 2022
212022
Analyzing guarded protocols: Better cutoffs, more systems, more expressivity
S Jacobs, M Sakr
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
212018
A symbolic algorithm for lazy synthesis of eager strategies
S Jacobs, M Sakr
Acta Informatica 57 (1), 81-106, 2020
62020
Aigen: Random generation of symbolic transition systems
S Jacobs, M Sakr
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
42021
Model and program repair via SAT solving. In 13. ACM
PC Attie, A Cherri, K Dak-Al-Bab, M Sakr, J Saklawi
IEEE International Conference on Formal Methods and Models for Codesign …, 2015
32015
Automatic Repair and Deadlock Detection for Parameterized Systems.
S Jacobs, M Sakr, M Völp
FMCAD, 225-234, 2022
22022
Promptness and bounded fairness in concurrent and parameterized systems
S Jacobs, M Sakr, M Zimmermann
International Conference on Verification, Model Checking, and Abstract …, 2020
22020
The 5th reactive synthesis competition (SYNTCOMP 2018): Benchmarks, participants & results. CoRR, abs/1904.07736
S Jacobs, R Bloem, M Colange, P Faymonville, B Finkbeiner, A Khalimov, ...
arXiv preprint arXiv:1904.07736, 2019
22019
Parameterized repair of concurrent systems
S Jacobs, M Sakr, M Völp
CoRR, 2021
12021
To verify or tolerate, that’s the question
I Pinto Gouveia, M Sakr, R Graczyk, M Volp
PAVeTrust – Program Analysis and Verification on Trusted Platforms, 2021
2021
AIGEN: Random Generation of Symbolic Transition Systems
M Sakr, S Jacobs
AIGEN: Random Generation of Symbolic Transition Systems, 2021
2021
Parameterized verification and repair of concurrent systems
M Sakr
Saarländische Universitäts-und Landesbibliothek, 2021
2021
Model repair via SAT solving
MI Sakr
Theses, Dissertations, and Projects, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–14