| 2026 | CAV | TACO: A Toolsuite for the Verification of Threshold Automata. | Paul Eichler, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Vlp, Swen Jacobs |
| 2024 | FM | Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. | Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Vlp |
| 2022 | FMCAD | Automatic Repair and Deadlock Detection for Parameterized Systems. | Swen Jacobs, Mouhammad Sakr, Marcus Vlp |
| 2021 | CAV | AIGEN: Random Generation of Symbolic Transition Systems. | Swen Jacobs, Mouhammad Sakr |
| 2020 | VMCAI | Promptness and Bounded Fairness in Concurrent and Parameterized Systems. | Swen Jacobs, Mouhammad Sakr, Martin Zimmermann |
| 2018 | ATVA | A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. | Swen Jacobs, Mouhammad Sakr |
| 2018 | VMCAI | Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. | Swen Jacobs, Mouhammad Sakr |
| 2015 | MEMOCODE | Model and program repair via SAT solving. | Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi |