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
Monotonic Abstraction: on Efficient Verification of Parameterized Systems.

, , , and . Int. J. Found. Comput. Sci., 20 (5): 779-801 (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 Test Program Generation for Out-of-Order Superscalar Processors., , , and . Asian Test Symposium, page 338-343. IEEE Computer Society, (2012)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)Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints., , and . Int. J. Found. Comput. Sci., 22 (4): 761-782 (2011)Invariant Synthesis for Programs Manipulating Lists with Unbounded Data., , , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 72-88. Springer, (2010)Tree regular model checking: A simulation-based approach., , , and . J. Log. Algebr. Program., 69 (1-2): 93-121 (2006)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)Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO., , , , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 530-536. Springer, (2013)Approximated Context-Sensitive Analysis for Parameterized Verification., , and . FMOODS/FORTE, volume 5522 of Lecture Notes in Computer Science, page 41-56. Springer, (2009)Lazy Constrained Monotonic Abstraction., , , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 147-165. Springer, (2016)