The SCEAS System
Navigation Menu

Search the dblp DataBase


Ahmed Rezine: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena
    Proving Liveness by Backwards Reachability. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:95-109 [Conf]
  2. Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
    Simulation-Based Iteration of Tree Transducers. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:30-44 [Conf]
  3. Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
    Parameterized Verification of Infinite-State Processes with Global Conditions. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:145-157 [Conf]
  4. Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
    Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:721-736 [Conf]
  5. Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
    Tree regular model checking: A simulation-based approach. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:69, n:1-2, pp:93-121 [Journal]

  6. Monotonic Abstraction for Programs with Dynamic Memory Heaps. [Citation Graph (, )][DBLP]

  7. Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. [Citation Graph (, )][DBLP]

  8. Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. [Citation Graph (, )][DBLP]

  9. Parameterized Tree Systems. [Citation Graph (, )][DBLP]

  10. Approximated Context-Sensitive Analysis for Parameterized Verification. [Citation Graph (, )][DBLP]

  11. Monotonic Abstraction in Action. [Citation Graph (, )][DBLP]

  12. Handling Parameterized Systems with Non-atomic Global Conditions. [Citation Graph (, )][DBLP]

  13. Automatic Verification of Directory-Based Consistency Protocols. [Citation Graph (, )][DBLP]

  14. Monotonic Abstraction in Parameterized Verification. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002