Search the dblp DataBase

Publications of Author

1. M. Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie
   Efficient lumpability check in partially symmetric systems. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:211-220 [Conf]
   
2. Jean-Michel Ilié, Souheib Baarir, M. Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
   Extended SWN Solvers in GreatSPN. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:324-325 [Conf]
   
3. M. Beccuti, Giuliana Franceschinis, Serge Haddad
   Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2007, pp:43-62 [Conf]
   
4. 
   Modeling Clinical Guidelines through Petri Nets. [Citation Graph (, )][DBLP]
   
   
5. 
   GreatSPN Enhanced with Decision Diagram Data Structures. [Citation Graph (, )][DBLP]
   
   
6. 
   Parametric NdRFT for the derivation of optimal repair strategies. [Citation Graph (, )][DBLP]
   
   
7. 
   A framework to design and solve Markov Decision Well-formed Net models. [Citation Graph (, )][DBLP]
   
   
8. 
   New Solvers for Asymmetric Systems in GreatSPN. [Citation Graph (, )][DBLP]
   
   
9. 
   Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. [Citation Graph (, )][DBLP]