Mouhammad Sakr

19 papers B 4C 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automatic WSTS-based repair and deadlock detection of parameterized systems.
Formal Methods Syst. Des.
Tom Baumeister, Swen Jacobs, Mouhammad Sakr, Marcus Völp
2025 — conf
Termination in Extended Probabilistic Threshold Automata.
Principles of Formal Quantitative Analysis
Mouhammad Sakr, Marcus Völp
2024 — conf
Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.
FM (1)
Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp
2024 J jnl
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata.
CoRR
Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2022 B conf
Automatic Repair and Deadlock Detection for Parameterized Systems.
FMCAD
Swen Jacobs, Mouhammad Sakr, Marcus Völp
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2021 — conf
AIGEN: Random Generation of Symbolic Transition Systems.
CAV (2)
Swen Jacobs, Mouhammad Sakr
2021 J jnl
Parameterized Repair of Concurrent Systems.
CoRR
Swen Jacobs, Mouhammad Sakr, Marcus Völp
2021 — —
Parameterized verification and repair of concurrent systems.
Mouhammad Sakr
2020 J jnl
A symbolic algorithm for lazy synthesis of eager strategies.
Acta Informatica
Swen Jacobs, Mouhammad Sakr
2020 B conf
Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
VMCAI
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann
2019 J jnl
Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
CoRR
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
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
2018 B conf
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies.
ATVA
Swen Jacobs, Mouhammad Sakr
2018 B conf
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.
VMCAI
Swen Jacobs, Mouhammad Sakr
2018 J jnl
Model and Program Repair via SAT Solving.
ACM Trans. Embed. Comput. Syst.
Paul C. Attie, Kinan Dak-Al-Bab, Mouhammad Sakr
2017 J jnl
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.
CoRR
Swen Jacobs, Mouhammad Sakr
2015 C conf
Model and program repair via SAT solving.
MEMOCODE
Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi