×

zbMATH — the first resource for mathematics

Touili, Tayssir

Compute Distance To:
Author ID: touili.tayssir Recent zbMATH articles by "Touili, Tayssir"
Published as: Touili, T.; Touili, Tayssir
Documents Indexed: 37 Publications since 2000, including 2 Books

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 192 times in 115 Documents Cited by Year
Regular model checking. Zbl 0974.68118
Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus; Touili, Tayssir
24
2000
Regular symbolic analysis of dynamic networks of pushdown systems. Zbl 1134.68427
Bouajjani, Ahmed; Müller-Olm, Markus; Touili, Tayssir
17
2005
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1321.68185
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
14
2003
Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109
Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T.
12
2006
Verification by network decomposition. Zbl 1099.68653
Clarke, Edmund; Talupur, Muralidhar; Touili, Tayssir; Veith, Helmut
12
2004
Reachability analysis of process rewrite systems. Zbl 1205.68183
Bouajjani, Ahmed; Touili, Tayssir
12
2003
Interprocedural analysis of concurrent programs under a context bound. Zbl 1134.68349
Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas
11
2008
Permutation rewriting and algorithmic verification. Zbl 1107.68052
Bouajjani, Ahmed; Muscholl, Anca; Touili, Tayssir
11
2007
Regular model checking using widening techniques. Zbl 1262.68130
Touili, Tayssir
11
2001
On computing reachability sets of process rewrite systems. Zbl 1078.68652
Bouajjani, Ahmed; Touili, Tayssir
10
2005
On the reachability analysis of acyclic networks of pushdown systems. Zbl 1160.68451
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
9
2008
Extrapolating tree transformations. Zbl 1010.68085
Bouajjani, Ahmed; Touili, Tayssir
9
2002
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
7
2008
Efficient CTL model-checking for pushdown systems. Zbl 1343.68156
Song, Fu; Touili, Tayssir
4
2011
Analyzing asynchronous programs with preemption. Zbl 1248.68348
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
3
2008
Reachability analysis of synchronized PA systems. Zbl 1272.68290
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
3
2005
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
3
2005
Efficient CTL model-checking for pushdown systems. Zbl 1360.68599
Song, Fu; Touili, Tayssir
2
2014
Model checking dynamic pushdown networks. Zbl 1426.68176
Song, Fu; Touili, Tayssir
2
2013
LTL model-checking for malware detection. Zbl 1381.68182
Song, Fu; Touili, Tayssir
2
2013
Efficient malware detection using model-checking. Zbl 1372.68177
Song, Fu; Touili, Tayssir
2
2012
Pushdown model checking for malware detection. Zbl 1352.68163
Song, Fu; Touili, Tayssir
2
2012
Verifying parallel programs with dynamic communication structures. Zbl 1209.68114
Touili, Tayssir; Atig, Mohamed Faouzi
2
2010
Verifying parallel programs with dynamic communication structures. Zbl 1248.68138
Atig, Mohamed Faouzi; Touili, Tayssir
2
2009
BCARET model checking for malware detection. Zbl 07142681
Nguyen, Huu-Vu; Touili, Tayssir
1
2019
CARET analysis of multithreaded programs. Zbl 06932824
Nguyen, Huu-Vu; Touili, Tayssir
1
2018
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
1
2018
Model checking dynamic pushdown networks. Zbl 1332.68142
Song, Fu; Touili, Tayssir
1
2015
Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15–19, 2010. Proceedings. Zbl 1193.68016
Touili, Tayssir (ed.); Cook, Byron (ed.); Jackson, Paul (ed.)
1
2010
Abstract error projection. Zbl 1211.68091
Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir
1
2007
BCARET model checking for malware detection. Zbl 07142681
Nguyen, Huu-Vu; Touili, Tayssir
1
2019
CARET analysis of multithreaded programs. Zbl 06932824
Nguyen, Huu-Vu; Touili, Tayssir
1
2018
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
1
2018
Model checking dynamic pushdown networks. Zbl 1332.68142
Song, Fu; Touili, Tayssir
1
2015
Efficient CTL model-checking for pushdown systems. Zbl 1360.68599
Song, Fu; Touili, Tayssir
2
2014
Model checking dynamic pushdown networks. Zbl 1426.68176
Song, Fu; Touili, Tayssir
2
2013
LTL model-checking for malware detection. Zbl 1381.68182
Song, Fu; Touili, Tayssir
2
2013
Efficient malware detection using model-checking. Zbl 1372.68177
Song, Fu; Touili, Tayssir
2
2012
Pushdown model checking for malware detection. Zbl 1352.68163
Song, Fu; Touili, Tayssir
2
2012
Efficient CTL model-checking for pushdown systems. Zbl 1343.68156
Song, Fu; Touili, Tayssir
4
2011
Verifying parallel programs with dynamic communication structures. Zbl 1209.68114
Touili, Tayssir; Atig, Mohamed Faouzi
2
2010
Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15–19, 2010. Proceedings. Zbl 1193.68016
Touili, Tayssir (ed.); Cook, Byron (ed.); Jackson, Paul (ed.)
1
2010
Verifying parallel programs with dynamic communication structures. Zbl 1248.68138
Atig, Mohamed Faouzi; Touili, Tayssir
2
2009
Interprocedural analysis of concurrent programs under a context bound. Zbl 1134.68349
Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas
11
2008
On the reachability analysis of acyclic networks of pushdown systems. Zbl 1160.68451
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
9
2008
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
7
2008
Analyzing asynchronous programs with preemption. Zbl 1248.68348
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
3
2008
Permutation rewriting and algorithmic verification. Zbl 1107.68052
Bouajjani, Ahmed; Muscholl, Anca; Touili, Tayssir
11
2007
Abstract error projection. Zbl 1211.68091
Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir
1
2007
Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109
Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T.
12
2006
Regular symbolic analysis of dynamic networks of pushdown systems. Zbl 1134.68427
Bouajjani, Ahmed; Müller-Olm, Markus; Touili, Tayssir
17
2005
On computing reachability sets of process rewrite systems. Zbl 1078.68652
Bouajjani, Ahmed; Touili, Tayssir
10
2005
Reachability analysis of synchronized PA systems. Zbl 1272.68290
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
3
2005
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
3
2005
Verification by network decomposition. Zbl 1099.68653
Clarke, Edmund; Talupur, Muralidhar; Touili, Tayssir; Veith, Helmut
12
2004
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1321.68185
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
14
2003
Reachability analysis of process rewrite systems. Zbl 1205.68183
Bouajjani, Ahmed; Touili, Tayssir
12
2003
Extrapolating tree transformations. Zbl 1010.68085
Bouajjani, Ahmed; Touili, Tayssir
9
2002
Regular model checking using widening techniques. Zbl 1262.68130
Touili, Tayssir
11
2001
Regular model checking. Zbl 0974.68118
Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus; Touili, Tayssir
24
2000
all top 5

Cited by 205 Authors

10 Touili, Tayssir
8 Abdulla, Parosh Aziz
8 Atig, Mohamed Faouzi
6 Bouajjani, Ahmed
4 Ganty, Pierre
4 Héam, Pierre-Cyrille
4 Kröning, Daniel
4 Raskin, Jean-François
4 Saivasan, Prakash
4 Schnoebelen, Philippe
3 Cook, Byron
3 Delzanno, Giorgio
3 Ibarra, Oscar H.
3 Jacquemard, Florent
3 Konnov, Igor V.
3 La Torre, Salvatore
3 Lin, Anthony Widjaja
3 Majumdar, Rupak
3 Meseguer Guaita, José
3 Meyer, Roland
3 Rezine, Ahmed
3 Seidl, Helmut
3 Song, Fu
3 Veith, Helmut
3 Vojnar, Tomáš
2 Aminof, Benjamin
2 Bollig, Benedikt
2 Bozzelli, Laura
2 Bultan, Tevfik
2 Chatterjee, Krishnendu
2 Chini, Peter
2 Duan, Zhenhua
2 Esparza, Javier
2 Gawlitza, Thomas Martin
2 Göller, Stefan
2 Guaiana, Giovanna
2 Habermehl, Peter
2 Holík, Lukáš
2 Kahlon, Vineet
2 Kaiser, Alexander D.
2 Kiefer, Stefan
2 Klay, Francis
2 Lugiez, Denis
2 Luttenberger, Michael
2 Maquet, Nicolas
2 Muscholl, Anca
2 Napoli, Margherita
2 Parlato, Gennaro
2 Peron, Adriano
2 Qadeer, Shaz
2 Rezine, Othmane
2 Robbana, Riadh
2 Rubin, Sasha
2 Sharygina, Natasha
2 Spegni, Francesco
2 Strejček, Jan
2 Tian, Cong
2 Vacher, Camille
2 Wahl, Thomas
2 Widder, Josef
2 Yu, Fang
1 Alkhalaf, Muath
1 Alur, Rajeev
1 Amavi, Joshua
1 Bae, Kyungmin
1 Ban, Shao-Huan
1 Barone-Adesi, Katerina
1 Ben Rajeb, Narjes
1 Bertrand, Nathalie
1 Berwanger, Dietmar
1 Biere, Armin
1 Boichut, Yohan
1 Boigelot, Bernard
1 Braghin, Chiara
1 Cano, Antonio
1 Carotenuto, Dario
1 Cécé, Gérard
1 Chabin, Jacques
1 Chakraborty, Supratik
1 Courbis, Romeo
1 Dams, Dennis René
1 De Wulf, Martin
1 Degbomont, Jean-François
1 Diaz, Marcio
1 Donaldson, Alastair F.
1 d’Orso, Julien
1 Doyen, Laurent
1 Du, Hongwei
1 Fiedor, Tomáš
1 Figueira, Diego
1 Filali, Mamoun
1 Finkel, Alain
1 Gange, Graeme
1 Geeraerts, Gilles
1 Genet, Thomas
1 Gmeiner, Annu
1 Godoy, Guillem
1 Grindei, Manuela-Lidia
1 Grumberg, Orna
1 Gulavani, Bhargav S.
...and 105 more Authors

Citations by Year