The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tayssir Touili: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili
    Regular Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:403-418 [Conf]
  2. Ahmed Bouajjani, Tayssir Touili
    Extrapolating Tree Transformations. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:539-554 [Conf]
  3. Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili
    Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:473-487 [Conf]
  4. Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith
    Verification by Network Decomposition. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:276-291 [Conf]
  5. Ahmed Bouajjani, Tayssir Touili
    Reachability Analysis of Process Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2003, pp:74-87 [Conf]
  6. Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
    State/Event Software Verification for Branching-Time Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:53-69 [Conf]
  7. Ahmed Bouajjani, Anca Muscholl, Tayssir Touili
    Permutation Rewriting and Algorithmic Verification. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:- [Conf]
  8. Ahmed Bouajjani, Javier Esparza, Tayssir Touili
    A generic approach to the static analysis of concurrent programs with procedures. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:62-73 [Conf]
  9. Ahmed Bouajjani, Tayssir Touili
    On Computing Reachability Sets of Process Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:484-499 [Conf]
  10. Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
    Verifying Concurrent Message-Passing C Programs with Recursive Calls. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:334-349 [Conf]
  11. Tayssir Touili
    Dealing with Communication for Dynamic Multithreaded Recursive Programs. [Citation Graph (0, 0)][DBLP]
    VISSAS, 2005, pp:213-227 [Conf]
  12. Ahmed Bouajjani, Javier Esparza, Tayssir Touili
    Reachability Analysis of Synchronized PA Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:3, pp:153-178 [Journal]
  13. Tayssir Touili
    Regular Model Checking using Widening Techniques. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, pp:- [Journal]
  14. Ahmed Bouajjani, Anca Muscholl, Tayssir Touili
    Permutation rewriting and algorithmic verification. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:2, pp:199-224 [Journal]
  15. Ahmed Bouajjani, Javier Esparza, Tayssir Touili
    A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:551-0 [Journal]
  16. Gaël Patin, Mihaela Sighireanu, Tayssir Touili
    Spade: Verification of Multithreaded Dynamic and Recursive Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:254-257 [Conf]
  17. Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
    Abstract Error Projection. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:200-217 [Conf]
  18. Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky
    Attenuation Regulation as a Term Rewriting System. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:81-94 [Conf]
  19. Ahmed Bouajjani, Jan Strejcek, Tayssir Touili
    On Symbolic Verification of Weakly Extended PAD. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:47-64 [Journal]

  20. On the Reachability Analysis of Acyclic Networks of Pushdown Systems. [Citation Graph (, )][DBLP]


  21. Analyzing Asynchronous Programs with Preemption. [Citation Graph (, )][DBLP]


  22. Constrained Reachability of Process Rewrite Systems. [Citation Graph (, )][DBLP]


  23. Regular Hedge Model Checking. [Citation Graph (, )][DBLP]


  24. A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. [Citation Graph (, )][DBLP]


  25. Interprocedural Analysis of Concurrent Programs Under a Context Bound. [Citation Graph (, )][DBLP]


  26. Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. [Citation Graph (, )][DBLP]


  27. Verifying Parallel Programs with Dynamic Communication Structures. [Citation Graph (, )][DBLP]


  28. Verifying Multithreaded Recursive Programs with Integer Variables. [Citation Graph (, )][DBLP]


  29. Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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