Mouhammad Sakr

According to our database1, Mouhammad Sakr authored at least 8 papers between 2015 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Parameterized verification and repair of concurrent systems.
PhD thesis, 2021

AIGEN: Random Generation of Symbolic Transition Systems.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
A symbolic algorithm for lazy synthesis of eager strategies.
Acta Informatica, 2020

Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

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

2018
Model and Program Repair via SAT Solving.
ACM Trans. Embed. Comput. Syst., 2018

Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2015
Model and program repair via SAT solving.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015


  Loading...