PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rezine, Ahmed"

Author of the publication

copydeleteadd this publication to your clipboard
Approximated Context-Sensitive Analysis for Parameterized Verification.

, , and . FMOODS/FORTE, volume 5522 of Lecture Notes in Computer Science, page 41-56. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mohamed Osama Helal Ahmed University of Stuttgart

Ahmed Elkelesh University of Stuttgart

Dr. Marwan Abdou Ahmed University of Stuttgart

Ahmed Yassine Karoui University of Stuttgart

Ahmed El Hadi University of Stuttgart

 

Other publications of authors with the same name

Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints., , and . Int. J. Found. Comput. Sci., 22 (4): 761-782 (2011)Automatic Test Program Generation for Out-of-Order Superscalar Processors., , , and . Asian Test Symposium, page 338-343. IEEE Computer Society, (2012)Invariant Synthesis for Programs Manipulating Lists with Unbounded Data., , , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 72-88. Springer, (2010)String Constraints for Verification., , , , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 150-166. Springer, (2014)Automatic Verification of Directory-Based Consistency Protocols., , and . RP, volume 5797 of Lecture Notes in Computer Science, page 36-50. Springer, (2009)Monotonic Abstraction: on Efficient Verification of Parameterized Systems., , , and . Int. J. Found. Comput. Sci., 20 (5): 779-801 (2009)Tree regular model checking: A simulation-based approach., , , and . J. Log. Algebr. Program., 69 (1-2): 93-121 (2006)Quantifying the Information Leakage in Cache Attacks via Symbolic Execution., , , and . ACM Trans. Embedded Comput. Syst., 18 (1): 7:1-7:27 (2019)Safety Verification of Phaser Programs., , , and . CoRR, (2017)Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)., , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 721-736. Springer, (2007)