 | 2011 |
| 16 |  | Gianfranco Balbo,
Marco Beccuti,
Massimiliano De Pierro,
Giuliana Franceschinis:
Computing first passage time distributions in stochastic well-formed nets.
ICPE 2011: 7-18 |
| 15 |  | Elvio Gilberto Amparore,
Marco Beccuti,
Susanna Donatelli,
Giuliana Franceschinis:
Probe Automata for Passage Time Specification.
QEST 2011: 101-110 |
| 14 |  | Marco Beccuti,
Massimiliano De Pierro,
András Horváth,
Ádám Horváth,
Károly Farkas:
A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks.
VTC Spring 2011: 1-5 |
| 13 |  | Stefano Lonardi,
Denisa Duma,
Matthew Alpert,
Francesca Cordero,
Marco Beccuti,
Prasanna Bhat,
Yonghui Wu,
Gianfranco Ciardo,
Burair Alsaihati,
Yaqin Ma,
Steve Wanamaker,
Josh Resnik,
Timothy J. Close:
Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space
CoRR abs/1112.4438: (2011) |
| 12 |  | Gianfranco Balbo,
Marco Beccuti,
Massimiliano De Pierro,
Giuliana Franceschinis:
First Passage Time Computation in Tagged GSPNs with Queue Places.
Comput. J. 54(5): 653-673 (2011) |
| 11 |  | Souheib Baarir,
Marco Beccuti,
Claude Dutheillet,
Giuliana Franceschinis,
Serge Haddad:
Lumping partially symmetrical stochastic models.
Perform. Eval. 68(1): 21-44 (2011) |
| 2010 |
| 10 |  | Junaid Babar,
Marco Beccuti,
Susanna Donatelli,
Andrew S. Miner:
GreatSPN Enhanced with Decision Diagram Data Structures.
Petri Nets 2010: 308-317 |
| 2009 |
| 9 |  | Marco Beccuti,
Alessio Bottrighi,
Giuliana Franceschinis,
Stefania Montani,
Paolo Terenziani:
Modeling Clinical Guidelines through Petri Nets.
AIME 2009: 61-70 |
| 8 |  | Marco Beccuti,
Giuliana Franceschinis,
Daniele Codetta Raiteri,
Serge Haddad:
Parametric NdRFT for the derivation of optimal repair strategies.
DSN 2009: 399-408 |
| 7 |  | 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) |
| 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 |