Search the dblp DataBase

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]