Items where Author is "Sakr, Mouhammad"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 6.

Conference or Workshop Item (A Paper)

Jacobs, Swen and Sakr, Mouhammad and Völp, Marcus
(2022) Automatic Repair and Deadlock Detection for Parameterized Systems.
In: Formal Methods in Computer-Aided Design 2022.
Conference: FMCAD Formal Methods in Computer-Aided Design
(In Press)

Jacobs, Swen and Sakr, Mouhammad
(2021) AIGEN: Random Generation of Symbolic Transition Systems.
In: 33rd International Conference on Computer-Aided Verification.
Conference: CAV Computer Aided Verification
(In Press)

Jacobs, Swen and Sakr, Mouhammad and Zimmermann, Martin
(2020) Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
In: VMCAI 2020.
Conference: VMCAI Verification, Model Checking and Abstract Interpretation
(In Press)

Jacobs, Swen and Sakr, Mouhammad
(2018) A Symbolic Algorithm for Lazy Synthesis of Eager Strategies.
In: International Symposium on Automated Technology for Verification and Analysis (ATVA), October 7-10, 2018, Los Angeles.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis
(In Press)

Jacobs, Swen and Sakr, Mouhammad
(2018) Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.
In: Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings.
Conference: VMCAI Verification, Model Checking and Abstract Interpretation

Article

Jacobs, Swen and Sakr, Mouhammad
(2019) A symbolic algorithm for lazy synthesis of eager strategies.
Acta Informatica. ISSN 1432-0525

This list was generated on Sat Dec 21 19:02:04 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.