The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002