Tayssir Touili

	2009
29		Mohamed Faouzi Atig, Tayssir Touili: Verifying Parallel Programs with Dynamic Communication Structures. CIAA 2009: 145-154
28		Tayssir Touili: Constrained Reachability of Process Rewrite Systems. ICTAC 2009: 307-321
27		Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN 2009: 125-142
26		Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili: Verifying Multithreaded Recursive Programs with Integer Variables. Electr. Notes Theor. Comput. Sci. 239: 143-154 (2009)
25		Mihaela Sighireanu, Tayssir Touili: Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. Electr. Notes Theor. Comput. Sci. 239: 43-56 (2009)
	2008
24		Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar: Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. CIAA 2008: 57-67
23		Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: On the Reachability Analysis of Acyclic Networks of Pushdown Systems. CONCUR 2008: 356-371
22		Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: Analyzing Asynchronous Programs with Preemption. FSTTCS 2008
21		Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps: Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298
	2007
20		Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky: Attenuation Regulation as a Term Rewriting System. AB 2007: 81-94
19		Gaël Patin, Mihaela Sighireanu, Tayssir Touili: Spade: Verification of Multithreaded Dynamic and Recursive Programs. CAV 2007: 254-257
18		Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Abstract Error Projection. SAS 2007: 200-217
17		Ahmed Bouajjani, Jan Strejcek, Tayssir Touili: On Symbolic Verification of Weakly Extended PAD. Electr. Notes Theor. Comput. Sci. 175(3): 47-64 (2007)
16		Ahmed Bouajjani, Anca Muscholl, Tayssir Touili: Permutation rewriting and algorithmic verification. Inf. Comput. 205(2): 199-224 (2007)
	2006
15		Julien d'Orso, Tayssir Touili: Regular Hedge Model Checking. IFIP TCS 2006: 213-230
14		Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Verifying Concurrent Message-Passing C Programs with Recursive Calls. TACAS 2006: 334-349
	2005
13		Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili: Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. CONCUR 2005: 473-487
12		Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith: State/Event Software Verification for Branching-Time Specifications. IFM 2005: 53-69
11		Ahmed Bouajjani, Tayssir Touili: On Computing Reachability Sets of Process Rewrite Systems. RTA 2005: 484-499
10		Tayssir Touili: Dealing with Communication for Dynamic Multithreaded Recursive Programs. VISSAS 2005: 213-227
9		Ahmed Bouajjani, Javier Esparza, Tayssir Touili: Reachability Analysis of Synchronized PA Systems. Electr. Notes Theor. Comput. Sci. 138(3): 153-178 (2005)
	2004
8		Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith: Verification by Network Decomposition. CONCUR 2004: 276-291
	2003
7		Ahmed Bouajjani, Tayssir Touili: Reachability Analysis of Process Rewrite Systems. FSTTCS 2003: 74-87
6		Ahmed Bouajjani, Javier Esparza, Tayssir Touili: A generic approach to the static analysis of concurrent programs with procedures. POPL 2003: 62-73
5		Ahmed Bouajjani, Javier Esparza, Tayssir Touili: A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. Int. J. Found. Comput. Sci. 14(4): 551- (2003)
	2002
4		Ahmed Bouajjani, Tayssir Touili: Extrapolating Tree Transformations. CAV 2002: 539-554
	2001
3		Ahmed Bouajjani, Anca Muscholl, Tayssir Touili: Permutation Rewriting and Algorithmic Verification. LICS 2001
2		Tayssir Touili: Regular Model Checking using Widening Techniques. Electr. Notes Theor. Comput. Sci. 50(4): (2001)
	2000
1		Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili: Regular Model Checking. CAV 2000: 403-418

Coauthor Index

1	Eugene Asarin	[20]
2	Mohamed Faouzi Atig	[22] [23] [29]
3	Ahmed Bouajjani	[1] [3] [4] [5] [6] [7] [9] [11] [13] [16] [17] [22] [23] [24]
4	Thierry Cachat	[20]
5	Sagar Chaki	[12] [14]
6	Edmund M. Clarke	[8] [12] [14]
7	Javier Esparza	[5] [6] [9]
8	Orna Grumberg	[12]
9	Peter Habermehl	[24]
10	Lukás Holík	[24]
11	Bengt Jonsson	[1]
12	Nicholas Kidd	[14] [18] [21] [27]
13	Akash Lal	[18] [21]
14	Peter Lammich	[27]
15	Vassily A. Lyubetsky	[20]
16	Markus Müller-Olm	[13]
17	Anca Muscholl	[3] [16]
18	Brahim Nasraoui	[26]
19	Marcus Nilsson	[1]
20	Joël Ouaknine	[12]
21	Gaël Patin	[19]
22	Narjes Ben Rajeb	[26]
23	Thomas W. Reps	[14] [18] [21] [27]
24	Riadh Robbana	[26]
25	Alexander Seliverstov	[20]
26	Natasha Sharygina	[12]
27	Mihaela Sighireanu	[19] [25]
28	Jan Strejcek	[17]
29	Muralidhar Talupur	[8]
30	Helmut Veith	[8] [12]
31	Tomás Vojnar	[24]
32	Julien d'Orso	[15]