| 2008 |
|---|
| 5 | EE | Souheib Baarir,
Marco Beccuti,
Giuliana Franceschinis:
New Solvers for Asymmetric Systems in GreatSPN.
QEST 2008: 235-236 |
| 2007 |
|---|
| 4 | EE | Marco Beccuti,
Giuliana Franceschinis,
Serge Haddad:
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.
ICATPN 2007: 43-62 |
| 3 | EE | Marco Beccuti,
Daniele Codetta Raiteri,
Giuliana Franceschinis,
Serge Haddad:
A framework to design and solve Markov Decision Well-formed Net models.
QEST 2007: 165-166 |
| 2006 |
|---|
| 2 | EE | Marco Beccuti,
Giuliana Franceschinis,
Souheib Baarir,
J-M. Ilie:
Efficient lumpability check in partially symmetric systems.
QEST 2006: 211-220 |
| 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 |
