Send email Copy Email Address
PhD Student

Mouhammad Sakr

Email

Address

Campus E1.1
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Mouhammad Sakr

Year 2020

2020-01-19

Promptness and Bounded Fairness in Concurrent and Parameterized Systems

Conference / Medium

VMCAI 2020

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2019

2019-10-04

A symbolic algorithm for lazy synthesis of eager strategies

Article

Acta Informatica

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2018

2018-10-07

A Symbolic Algorithm for Lazy Synthesis of Eager Strategies

Conference / Medium

ATVA
International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
ASDPS Reliable Security Guarantees
Authors
Download Visit Detail Page
2018-01-07

Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity

Conference / Medium

Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings

Tags
ASDPS Reliable Security Guarantees
Authors
Download Visit Detail Page