Souheib Baarir

	2011
14		M. Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg: Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets 2011: 338-347
13		Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès: Feasibility analysis for robustness quantification by symbolic model checking. Formal Methods in System Design 39(2): 165-184 (2011)
12		Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad: Lumping partially symmetrical stochastic models. Perform. Eval. 68(1): 21-44 (2011)
	2010
11		Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault: Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop 2010: 103-121
	2009
10		Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud: Complementary Formal Approaches for Dependability Analysis. DFT 2009: 331-339
9		Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis: The GreatSPN tool: recent enhancements. SIGMETRICS Performance Evaluation Review 36(4): 4-9 (2009)
8		Julien Sopena, Souheib Baarir, Fabrice Legond-Aubry: Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle. Technique et Science Informatiques 28(9): 1085-1105 (2009)
	2008
7		Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry: Verification of a Hierarchical Generic Mutual Exclusion Algorithm. FORTE 2008: 99-115
6		Souheib Baarir, Marco Beccuti, Giuliana Franceschinis: New Solvers for Asymmetric Systems in GreatSPN. QEST 2008: 235-236
	2007
5		Souheib Baarir, Alexandre Duret-Lutz: Emptiness Check of Powerset Buchi Automata using Inclusion Tests. ACSD 2007: 41-50
	2006
4		Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie: Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220
	2005
3		Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié: On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST 2005: 23-32
2		Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon: On the Formal Verification of Middleware Behavioral Properties. Electr. Notes Theor. Comput. Sci. 133: 139-157 (2005)
	2004
1		Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux: Extended SWN Solvers in GreatSPN. QEST 2004: 324-325

Coauthor Index

1	Marco Beccuti	[1] [4] [6] [9] [12]
2	Cécile Braunstein	[10] [13]
3	Davide Cerotti	[9]
4	Renaud Clavel	[10]
5	M. Colange	[14]
6	C. Delamare	[1]
7	Susanna Donatelli	[1] [9]
8	Alexandre Duret-Lutz	[5]
9	Claude Dutheillet	[1] [3] [12]
10	Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz)	[10] [13]
11	Giuliana Franceschinis	[1] [4] [6] [9] [12]
12	Rossano Gaeta	[1]
13	Serge Haddad	[3] [12]
14	Lom-Messan Hillah (Lom Hillah)	[11]
15	Jérôme Hugues	[2]
16	J-M. Ilie	[4]
17	Jean-Michel Ilié (Jean Michel Ilié)	[1] [3] [10] [13]
18	Fabrice Kordon	[2] [11] [14]
19	Fabrice Legond-Aubry	[7] [8]
20	Régis Leveugle	[10]
21	Patrice Moreaux	[1]
22	Isabelle Mounier	[10] [13]
23	Laurent Pautet	[2]
24	Laurence Pierre (Laurence V. Pierre)	[10]
25	Massimiliano De Pierro	[9]
26	Denis Poitrenaud	[10] [13]
27	Etienne Renault	[11]
28	Julien Sopena	[7] [8]
29	Yann Thierry-Mieg	[2] [14]
30	Thomas Vergnaud	[2]
31	Sana Younès	[13]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page