Profil

SAKR Mouhammad

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > CritiX

Main Referenced Co-authors
Jacobs, Swen (3)
VÖLP, Marcus  (2)
Abraham (1)
Bruyere, Veronique (1)
Cadilhac, Michael (1)
Main Referenced Keywords
Binary Decision Diagrams (1); Boolean functions (1); Canonical Disjunctive Normal Form (1); Hardware Model Checking (1); resilience (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Critical and Extreme Security and Dependability Research Group (CritiX) (1)
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
88 downloads
Pinto Gouveia, I., Sakr, M., Graczyk, R., & Volp, M. (06 December 2021). To verify or tolerate, that’s the question [Paper presentation]. Program Analysis and Verification on Trusted Platforms (PAVeTrust) Workshop (co-located with ACSAC21). https://hdl.handle.net/10993/50425

The most cited

1 citations (Scopus®)

Jacobs, S., Sakr, M., & Volp, M. (2022). Automatic Repair and Deadlock Detection for Parameterized Systems. In Automatic Repair and Deadlock Detection for Parameterized Systems. https://hdl.handle.net/10993/52892

Jacobs, S., Sakr, M., & Volp, M. (2022). Automatic Repair and Deadlock Detection for Parameterized Systems. In Automatic Repair and Deadlock Detection for Parameterized Systems.
Peer reviewed

Jacobs, S., Perez, G., Abraham, Bruyere, V., Cadilhac, M., Colange, M., Delfosse, C., Tom, V. D., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P., ... Walker, A. (2022). The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Pinto Gouveia, I., Sakr, M., Graczyk, R., & Volp, M. (06 December 2021). To verify or tolerate, that’s the question [Paper presentation]. Program Analysis and Verification on Trusted Platforms (PAVeTrust) Workshop (co-located with ACSAC21).

Sakr, M., & Jacobs, S. (2021). AIGEN: Random Generation of Symbolic Transition Systems. In M. Sakr & S. Jacobs, AIGEN: Random Generation of Symbolic Transition Systems. doi:10.1007/978-3-030-81688-9_20
Peer reviewed

Contact ORBilu