Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 135
Titolo Data di pubblicazione Autore(i) File
Extended SWN Solvers in GreatSPN 2004 J.M. Ilie; S. Baarir; M. Beccuti; C. Delamare; S. Donatelli; C. Dutheillet; G. Franceschinis; R. Gaeta; P. Moreaux
Efficient lumpability check in partially symmetric systems 2006 M. BECCUTI; G. FRANCESCHINIS; S. BAARIR; J.-M. ILIE
Efficient lumpability check in partially symmetric systems 2006 M. BECCUTI
A framework to design and solve Markov Decision Well-formed Net models 2007 M. Beccuti; D. Codetta-Raiter; G. Franceschinis; S. Haddad
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 2007 M. Beccuti; G. Franceschinis; S. Haddad
Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures 2008 M. Beccuti; G. Franceschinis; M. Kaaniche; K. Kanoun
New solvers for asymmetric systems in GreatSPN 2008 S. Baarir; M. Beccuti; G. Franceschinis
Non deterministic Repairable Fault Trees for computing optimal repair strategy 2008 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis; S. Haddad
The GreatSPN Tool: Recent Enhancements 2009 Soheib Baarir; M. Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis
From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets 2009 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis
WP5 D19: Model-based evaluation of the middleware services andprotocols & architectural patterns 2009 S. Donatelli (Editor); E. Alata; A. Bondavalli; M. Beccuti; D. Cerotti; S. Chiaradonna; A. Daidone; F. Di Giandomenico; G. Franceschinis; O. Hamouda; M. Kaaniche; P. Lollini; V. Nicomette
Performance analysis of partially symmetric SWNs: efficiency characterization through some case studies 2009 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis; S. Haddad
Parametric NdRFT for the derivation of optimal repair strategies 2009 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis; S. Haddad.
Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach 2009 M. Beccuti; G. Franceschinis; S. Donatelli; S. Chiaradonna; F. Di Giandomenico; P. Lollini; G. Dondossola; F. Garrone
Modeling clinical guidelines through Petri Nets 2009 M. Beccuti; A. Bottrighi; G. Franceschinis; S. Montani; P.Terenziani
Multiple abstraction levels in performance analysis of WSN monitoring systems 2009 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis
DS-gen: a tool to generate SOLiD and ILLUMINA synthetic NGS datasets to test mapping tools behavio 2010 M. Beccuti; S. Donatelli; R.A. Calogero; F. Cordero
SeqMDD 2010 F. Cordero; M. Beccuti;S. Donatelli; R.A. Calogero
GreatSPN solver based on MDD 2010 J. Babar; M. Beccuti; S. Donatelli; A. Miner
DSGen 2010 M. Beccuti; S. Donatelli; R.A. Calogero; F. Cordero
Mostrati risultati da 1 a 20 di 135
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile