Mouhammad Sakr

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 13

Top Topics

Binary Decision Diagrams

Significantly Greater

Concurrent Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. CoRR (2024)
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
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Swen Jacobs, Mouhammad Sakr, Marcus Völp
Automatic Repair and Deadlock Detection for Parameterized Systems. FMCAD (2022)
Swen Jacobs, Mouhammad Sakr
AIGEN: Random Generation of Symbolic Transition Systems. CAV (2) (2021)
Swen Jacobs, Mouhammad Sakr, Marcus Völp
Parameterized Repair of Concurrent Systems. CoRR (2021)
Swen Jacobs, Mouhammad Sakr
A symbolic algorithm for lazy synthesis of eager strategies. Acta Informatica 57 (1-2) (2020)
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann
Promptness and Bounded Fairness in Concurrent and Parameterized Systems. VMCAI (2020)
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann
Promptness and Bounded Fairness in Concurrent and Parameterized Systems. CoRR (2019)
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
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Swen Jacobs, Mouhammad Sakr
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. ATVA (2018)
Swen Jacobs, Mouhammad Sakr
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. VMCAI (2018)
Paul C. Attie, Kinan Dak-Al-Bab, Mouhammad Sakr
Model and Program Repair via SAT Solving. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Swen Jacobs, Mouhammad Sakr
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. CoRR (2017)
Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi
Model and program repair via SAT solving. MEMOCODE (2015)