Sfoglia per Autore
Extended SWN Solvers in GreatSPN
2004-01-01 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-01-01 M. BECCUTI; G. FRANCESCHINIS; S. BAARIR; J.-M. ILIE
Efficient lumpability check in partially symmetric systems
2006-01-01 M. BECCUTI
A framework to design and solve Markov Decision Well-formed Net models
2007-01-01 M. Beccuti; D. Codetta-Raiter; G. Franceschinis; S. Haddad
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
2007-01-01 M. Beccuti; G. Franceschinis; S. Haddad
Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures
2008-01-01 M. Beccuti; G. Franceschinis; M. Kaaniche; K. Kanoun
New solvers for asymmetric systems in GreatSPN
2008-01-01 S. Baarir; M. Beccuti; G. Franceschinis
Non deterministic Repairable Fault Trees for computing optimal repair strategy
2008-01-01 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis; S. Haddad
The GreatSPN Tool: Recent Enhancements
2009-01-01 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-01-01 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis
WP5 D19: Model-based evaluation of the middleware services andprotocols & architectural patterns
2009-01-01 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-01-01 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis; S. Haddad
Parametric NdRFT for the derivation of optimal repair strategies
2009-01-01 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis; S. Haddad.
Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach
2009-01-01 M. Beccuti; G. Franceschinis; S. Donatelli; S. Chiaradonna; F. Di Giandomenico; P. Lollini; G. Dondossola; F. Garrone
Modeling clinical guidelines through Petri Nets
2009-01-01 M. Beccuti; A. Bottrighi; G. Franceschinis; S. Montani; P.Terenziani
Multiple abstraction levels in performance analysis of WSN monitoring systems
2009-01-01 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-01-01 M. Beccuti; S. Donatelli; R.A. Calogero; F. Cordero
SeqMDD
2010-01-01 F. Cordero; M. Beccuti;S. Donatelli; R.A. Calogero
GreatSPN solver based on MDD
2010-01-01 J. Babar; M. Beccuti; S. Donatelli; A. Miner
DSGen
2010-01-01 M. Beccuti; S. Donatelli; R.A. Calogero; F. Cordero
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 |
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