Searching for authors named "Tayssir Touili" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
