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 | 23 | 2022 |
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 | 22 | 2017 |
Analyzing guarded protocols: Better cutoffs, more systems, more expressivity S Jacobs, M Sakr Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 21 | 2018 |
A symbolic algorithm for lazy synthesis of eager strategies S Jacobs, M Sakr Acta Informatica 57 (1), 81-106, 2020 | 6 | 2020 |
Aigen: Random generation of symbolic transition systems S Jacobs, M Sakr Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 4 | 2021 |
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 | 3 | 2015 |
Automatic Repair and Deadlock Detection for Parameterized Systems. S Jacobs, M Sakr, M Völp FMCAD, 225-234, 2022 | 2 | 2022 |
Promptness and bounded fairness in concurrent and parameterized systems S Jacobs, M Sakr, M Zimmermann International Conference on Verification, Model Checking, and Abstract …, 2020 | 2 | 2020 |
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 | 2 | 2019 |
Parameterized repair of concurrent systems S Jacobs, M Sakr, M Völp CoRR, 2021 | 1 | 2021 |
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 |