Tayssir Touili

2008
24	EE	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	EE	Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: On the Reachability Analysis of Acyclic Networks of Pushdown Systems. CONCUR 2008: 356-371
22	EE	Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: Analyzing Asynchronous Programs with Preemption. FSTTCS 2008
21	EE	Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps: Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298
2007
20	EE	Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky: Attenuation Regulation as a Term Rewriting System. AB 2007: 81-94
19	EE	Gaël Patin, Mihaela Sighireanu, Tayssir Touili: Spade: Verification of Multithreaded Dynamic and Recursive Programs. CAV 2007: 254-257
18	EE	Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Abstract Error Projection. SAS 2007: 200-217
17	EE	Ahmed Bouajjani, Jan Strejcek, Tayssir Touili: On Symbolic Verification of Weakly Extended PAD. Electr. Notes Theor. Comput. Sci. 175(3): 47-64 (2007)
16	EE	Ahmed Bouajjani, Anca Muscholl, Tayssir Touili: Permutation rewriting and algorithmic verification. Inf. Comput. 205(2): 199-224 (2007)
2006
15	EE	Julien d'Orso, Tayssir Touili: Regular Hedge Model Checking. IFIP TCS 2006: 213-230
14	EE	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	EE	Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili: Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. CONCUR 2005: 473-487
12	EE	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	EE	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	EE	Ahmed Bouajjani, Javier Esparza, Tayssir Touili: Reachability Analysis of Synchronized PA Systems. Electr. Notes Theor. Comput. Sci. 138(3): 153-178 (2005)
2004
8	EE	Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith: Verification by Network Decomposition. CONCUR 2004: 276-291
2003
7	EE	Ahmed Bouajjani, Tayssir Touili: Reachability Analysis of Process Rewrite Systems. FSTTCS 2003: 74-87
6	EE	Ahmed Bouajjani, Javier Esparza, Tayssir Touili: A generic approach to the static analysis of concurrent programs with procedures. POPL 2003: 62-73
5	EE	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	EE	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	EE	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]
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]
13	Akash Lal	[18] [21]
14	Vassily A. Lyubetsky	[20]
15	Markus Müller-Olm	[13]
16	Anca Muscholl	[3] [16]
17	Marcus Nilsson	[1]
18	Joël Ouaknine	[12]
19	Gaël Patin	[19]
20	Thomas W. Reps	[14] [18] [21]
21	Alexander Seliverstov	[20]
22	Natasha Sharygina	[12]
23	Mihaela Sighireanu	[19]
24	Jan Strejcek	[17]
25	Muralidhar Talupur	[8]
26	Helmut Veith	[8] [12]
27	Tomás Vojnar	[24]
28	Julien d'Orso	[15]

Colors in the list of coauthors