| 2008 |
|---|
| 7 | EE | Souheib Baarir,
Julien Sopena,
Fabrice Legond-Aubry:
Verification of a Hierarchical Generic Mutual Exclusion Algorithm.
FORTE 2008: 99-115 |
| 6 | EE | Souheib Baarir,
Marco Beccuti,
Giuliana Franceschinis:
New Solvers for Asymmetric Systems in GreatSPN.
QEST 2008: 235-236 |
| 2007 |
|---|
| 5 | EE | Souheib Baarir,
Alexandre Duret-Lutz:
Emptiness Check of Powerset Buchi Automata using Inclusion Tests.
ACSD 2007: 41-50 |
| 2006 |
|---|
| 4 | EE | Marco Beccuti,
Giuliana Franceschinis,
Souheib Baarir,
J-M. Ilie:
Efficient lumpability check in partially symmetric systems.
QEST 2006: 211-220 |
| 2005 |
|---|
| 3 | EE | 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 | EE | 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 | EE | 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 |
