Mouhammad Sakr

About Me

I was a Ph.D. student at Saarland University.
I was also a research assistant CISPA – Helmholtz Center for Information Security.
Currently I am a postdoctoral researcher at University of Luxembourg.

Contact

Reactive Systems Group

Saarland University

Building: E 1.1, Room: 1.16.1

Phone:	+49 681 302 5662
eMail:	sakr at react.uni-saarland.de

Office Hours:

Whenever the door is open

Publications

• AIGEN: Random Generation of Symbolic Transition Systems
  Swen Jacobs, Mouhammad Sakr
  in CAV 2021.

• Promptness and Bounded Fairness in Concurrent and Parameterized Systems
  Swen Jacobs, Mouhammad Sakr, and Martin Zimmerman
  in VMCAI 2020.

• Symbolic Algorithm for Lazy Synthesis of Eager Strategies
  Swen Jacobs, Mouhamamd Sakr
  in Acta Informatica.

• The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
  R. Bloem, M. Colange, P. Faymonville, B. Finkbeiner, A. Khalimov, F. Klein, M. Luttenberger, P. J. Meyer, T. Michaud, M. Sakr, S. Sickert, L. Tentrup, A. Walker
  arXiv preprint, 2019.

• Symbolic Algorithm for Lazy Synthesis of Eager Strategies
  Swen Jacobs and Mouhammad Sakr
  in ATVA 2018, LNCS 11138, 2018, pages 211-227.

• Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
  Swen Jacobs and Mouhammad Sakr
  in VMCAI 2018, LNCS 10747, 2018, pages 247-268.

• Model and Program Repair via SAT Solving
  Paul C. Attie, Kinan Dak Al Bab, and Mouhammad Sakr
  in ACM Transactions on Embedded Computing Systems

• Model and Program Repair via SAT Solving
  Paul C. Attie, Ali Cherri, Kinan Dak Al Bab, Mouhammad Sakr, and Jad Saklawi
  13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE’15)
  September 2015, Austin, Texas, USA.

Teaching