Back
  1. Home
  2. Profile of Mouhammad SAKR (Unilu)
Profil

SAKR Mouhammad

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

ORCID
0000-0002-5160-0327
Main Referenced Co-authors
Jacobs, Swen (6)
VÖLP, Marcus  (4)
Baumeister, Tom (2)
Colange, Maximilien (2)
Delfosse, Charly (2)
Main Referenced Keywords
Algorithmic verification (1); Binary Decision Diagrams (1); Boolean functions (1); Canonical Disjunctive Normal Form (1); Computational modelling (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 (7)

Publications (total 7)

The most downloaded
126 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

3 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

Baumeister, T., Eichler, P., Jacobs, S., SAKR, M., & VÖLP, M. (2025). Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. In A. Platzer (Ed.), Formal Methods - 26th International Symposium, FM 2024, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-71162-6_33
Peer reviewed

Jacobs, S., Pérez, G. A., Abraham, R., Bruyère, V., Cadilhac, M., Colange, M., Delfosse, C., van Dijk, T., 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. (October 2024). The Reactive Synthesis Competition (SYNTCOMP): 2018–2021. International Journal on Software Tools for Technology Transfer, 26 (5), 551 - 567. doi:10.1007/s10009-024-00754-1
Peer Reviewed verified by ORBi

Baumeister, T., Jacobs, S., SAKR, M., & VÖLP, M. (2024). Automatic WSTS-based Repair and Deadlock Detection of Parameterized Systems. Formal Methods in System Design. doi:10.21203/rs.3.rs-4635496/v1
Peer Reviewed verified by ORBi

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. https://orbilu.uni.lu/handle/10993/52893

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