 | 2009 |
|---|
| 7 |       | Marco Beccuti,
Alessio Bottrighi,
Giuliana Franceschinis,
Stefania Montani,
Paolo Terenziani:
Modeling Clinical Guidelines through Petri Nets.
AIME 2009: 61-70 |
| 2008 |
|---|
| 6 | | Marco Beccuti,
Giuliana Franceschinis,
Mohamed Kaâniche,
Karama Kanoun:
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures.
CRITIS 2008: 48-59 |
| 5 | | Souheib Baarir,
Marco Beccuti,
Giuliana Franceschinis:
New Solvers for Asymmetric Systems in GreatSPN.
QEST 2008: 235-236 |
| 2007 |
|---|
| 4 | | Marco Beccuti,
Giuliana Franceschinis,
Serge Haddad:
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.
ICATPN 2007: 43-62 |
| 3 | | 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 | | Marco Beccuti,
Giuliana Franceschinis,
Souheib Baarir,
J-M. Ilie:
Efficient lumpability check in partially symmetric systems.
QEST 2006: 211-220 |
| 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 |
