Searching for authors named "Tayssir Touili" – sorted by Relevance.
-
Extrapolating Tree Transformations
- Extrapolating Tree Transformations # Ahmed Bouajjani and Tayssir Touili Liafa, Univ. of Paris 7
- Cited by 14 (3 self) – Add To MetaCart
-
Weighted Pushdown Systems and Weighted Transducers
- Weighted Pushdown Systems and Weighted Transducers Akash Lal 1 , Tayssir Touili 2 , Nicholas Kidd
- Add To MetaCart
-
Regular symbolic analysis of dynamic networks of pushdown systems
- Müller-Olm 2 , and Tayssir Touili 1 1 LIAFA, University of Paris 7, 2 place Jussieu, 75251 Paris cedex 5
- Cited by 15 (6 self) – Add To MetaCart
-
Permutation Rewriting and Algorithmic Verification
- Permutation Rewriting and Algorithmic Verication Ahmed Bouajjani, Anca Muscholl, and Tayssir Touili
- Cited by 8 (4 self) – Add To MetaCart
-
Regular Model Checking
- Touili 1 1 Liafa, Univ. Paris 7, Case 7014, 2 place Jussieu, 75251 Paris Cedex 05, France fAhmed.Bouajjani,Tayssir
- Cited by 75 (17 self) – Add To MetaCart
-
A Generic Approach to the Static Analysis of Concurrent Programs with Procedures
- , 70569 Stuttgart, Germany esparza@(email omitted); and Tayssir Touili LIAFA, University
- Cited by 45 (9 self) – Add To MetaCart
-
Interprocedural analysis of concurrent programs under a context bound
- Interprocedural Analysis of Concurrent Programs Under a Context Bound ⋆ Akash Lal 1⋆⋆ , Tayssir
- Cited by 5 (4 self) – Add To MetaCart
-
Abstract error projection
- Abstract Error Projection Akash Lal 1 , Nicholas Kidd 1 , Thomas Reps 1 , and Tayssir Touili 2 1
- Cited by 4 (4 self) – Add To MetaCart
-
Reachability analysis of synchronized PA systems
- , and Tayssir Touili 3 1 LIAFA, University of Paris 7, 2 place Jussieu, 75251 Paris cedex 5, France. 2
- Cited by 6 (2 self) – Add To MetaCart
-
Improving Communicating Pushdown System Model Checking
- ,2 , and Tayssir Touili 3 1 University of Wisconsin; Madison, WI; USA. {kidd,reps}@(email omitted); 2 GrammaTech, Inc
- Add To MetaCart

