Tayssir Touili

2008
20	EE	Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps: Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298
2007
19	EE	Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky: Attenuation Regulation as a Term Rewriting System. AB 2007: 81-94
18	EE	Gaël Patin, Mihaela Sighireanu, Tayssir Touili: Spade: Verification of Multithreaded Dynamic and Recursive Programs. CAV 2007: 254-257
17	EE	Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Abstract Error Projection. SAS 2007: 200-217
16	EE	Ahmed Bouajjani, Jan Strejcek, Tayssir Touili: On Symbolic Verification of Weakly Extended PAD. Electr. Notes Theor. Comput. Sci. 175(3): 47-64 (2007)
15	EE	Ahmed Bouajjani, Anca Muscholl, Tayssir Touili: Permutation rewriting and algorithmic verification. Inf. Comput. 205(2): 199-224 (2007)
2006
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	[19]
2	Ahmed Bouajjani	[1] [3] [4] [5] [6] [7] [9] [11] [13] [15] [16]
3	Thierry Cachat	[19]
4	Sagar Chaki	[12] [14]
5	Edmund M. Clarke	[8] [12] [14]
6	Javier Esparza	[5] [6] [9]
7	Orna Grumberg	[12]
8	Bengt Jonsson	[1]
9	Nicholas Kidd	[14] [17] [20]
10	Akash Lal	[17] [20]
11	Vassily A. Lyubetsky	[19]
12	Markus Müller-Olm	[13]
13	Anca Muscholl	[3] [15]
14	Marcus Nilsson	[1]
15	Joël Ouaknine	[12]
16	Gaël Patin	[18]
17	Thomas W. Reps	[14] [17] [20]
18	Alexander Seliverstov	[19]
19	Natasha Sharygina	[12]
20	Mihaela Sighireanu	[18]
21	Jan Strejcek	[16]
22	Muralidhar Talupur	[8]
23	Helmut Veith	[8] [12]

Colors in the list of coauthors