| Analyzing guarded protocols: Better cutoffs, more systems, more expressivity S Jacobs, M Sakr Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 25 | 2018 |
| 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 | 24 | 2017 |
| The reactive synthesis competition (syntcomp): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International Journal on Software Tools for Technology Transfer, 1-17, 2024 | 23 | 2024 |
| 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 | 5 | 2021 |
| Automatic Repair and Deadlock Detection for Parameterized Systems. S Jacobs, M Sakr, M Völp FMCAD, 225-234, 2022 | 4 | 2022 |
| 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 |
| 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 |
| Automatic WSTS-based Repair and Deadlock Detection of Parameterized Systems T Baumeister, S Jacobs, M Sakr, M Völp | | 2024 |
| Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata T Baumeister, P Eichler, S Jacobs, M Sakr, M Völp arXiv preprint arXiv:2406.19880, 2024 | | 2024 |
| 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 33rd International Conference on Computer-Aided Verification-CAV, 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 |
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerified email at cispa.saarland