Mouhammad Sakr

According to our database, Mouhammad Sakr authored at least 14 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automatic WSTS-based repair and deadlock detection of parameterized systems.

Tom Baumeister, Swen Jacobs, Mouhammad Sakr, Marcus Völp

Formal Methods Syst. Des., September, 2025

Termination in Extended Probabilistic Threshold Automata.

Mouhammad Sakr, Marcus Völp

Proceedings of the Principles of Formal Quantitative Analysis, 2025

2024

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., October, 2024

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.

Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp

Proceedings of the Formal Methods - 26th International Symposium, 2024

2022

Automatic Repair and Deadlock Detection for Parameterized Systems.

Swen Jacobs, Mouhammad Sakr, Marcus Völp

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Parameterized verification and repair of concurrent systems.

Mouhammad Sakr

PhD thesis, 2021

Parameterized Repair of Concurrent Systems.

Swen Jacobs, Mouhammad Sakr, Marcus Völp

CoRR, 2021

AIGEN: Random Generation of Symbolic Transition Systems.

Swen Jacobs, Mouhammad Sakr

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Promptness and Bounded Fairness in Concurrent and Parameterized Systems.

Swen Jacobs, Mouhammad Sakr, Martin Zimmermann

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker

CoRR, 2019

2018

Model and Program Repair via SAT Solving.

Paul C. Attie, Kinan Dak-Al-Bab, Mouhammad Sakr

ACM Trans. Embed. Comput. Syst., 2018

Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.

Swen Jacobs, Mouhammad Sakr

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

A Symbolic Algorithm for Lazy Synthesis of Eager Strategies.

Swen Jacobs, Mouhammad Sakr

Proceedings of the Automated Technology for Verification and Analysis, 2018

2015

Model and program repair via SAT solving.

Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015