IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 111
Titolo Data di pubblicazione Autore(i) File
From Symmetric Nets to Differential Equations exploiting Model Symmetries 1-gen-2015 M., Beccuti; C., Fornari; Franceschinis, Giuliana Annamaria; S. M., Halawani; O., Ba Rukab; A. R., Ahmad; G., Balbo
Modeling and Verification of Distributed Systems Using Markov Decision Processes 1-gen-2015 Beccuti, Marco; Franceschinis, Giuliana; Sproston, Jeremy
Markov Decision Petri Nets with Uncertainty 1-gen-2015 Beccuti, Marco; Amparore, Elvio G.; Donatelli, Susanna; Scheftelowitsch, Dimitri; Buchholz, Peter; Franceschinis, Giuliana Annamaria
Advances in the GINSENG project 1-gen-2014 Terenziani, Paolo; Bottrighi, Alessio; Giordano, Laura; Franceschinis, Giuliana Annamaria; Montani, Stefania; Piovesan, Luca; Portinale, Luigi; S., Rubrichi; M., Spiotta; THESEIDER DUPRE', Daniele
Towards a Second Generation of Computer Interpretable Guidelines 1-gen-2013 Terenziani, Paolo; Bottrighi, Alessio; Franceschinis, Giuliana Annamaria; Giordano, Laura; Montani, Stefania; Portinale, Luigi; THESEIDER DUPRE', Daniele
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets 1-gen-2013 Elvio Gilberto, Amparore; Benoit, Barbot; Marco, Beccuti; Susanna, Donatelli; Franceschinis, Giuliana Annamaria
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis 1-gen-2013 M., Beccuti; Franceschinis, Giuliana Annamaria; CODETTA RAITERI, Daniele; S., Haddad
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 1-gen-2013 Beccuti, M.; Chiaradonna, S.; Di Giandomenico, F.; Donatelli, S.; Dondossola, G.; Franceschinis, Giuliana Annamaria
Expressing and Computing Passage Time Measures of GSPN Models with HASL 1-gen-2013 Elvio Gilberto, Amparore; Paolo, Ballarini; Marco, Beccuti; Susanna, Donatelli; Franceschinis, Giuliana Annamaria
A new symbolic approach for network reliability analysis 1-gen-2012 Beccuti, Marco; Bobbio, Andrea; Franceschinis, Giuliana Annamaria; Terruggia, Roberta
Transactions on Petri Nets and Other Models of Concurrency VI 1-gen-2012 W., van der Aalst; M., Ajmone Marsan; Franceschinis, Giuliana Annamaria; J., Kleijn; L. M., Kristensen
A new symbolic approach for network reliability analysis 1-gen-2012 Beccuti, Marco; Bobbio, Andrea; Franceschinis, Giuliana Annamaria; Terruggia, Roberta
Quantification of Dependencies between Electrical and Information Infrastructures 1-gen-2012 Beccuti, M; Chiaradonna, S; Di Giandomenico, F; Donatelli, S; Dondossola, G; Franceschinis, Giuliana Annamaria
Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation 1-gen-2012 Marco, Beccuti; Franceschinis, Giuliana Annamaria
First Passage Time Computation in Tagged GSPN with Queue Places 1-gen-2011 Balbo, G; Beccuti, M; De Pierro, M; Franceschinis, Giuliana Annamaria
Computing first passage time distributions in Stochastic Well-Formed Nets 1-gen-2011 Balbo, G; Beccuti, M; De Pierro, M; Franceschinis, Giuliana Annamaria
E-learning e alta formazione in medicina dei disastri: l’esperienza dello European Master in Disaster Medicine 1-gen-2011 Franceschinis, Giuliana Annamaria; Ingrassia, Pier Luigi; Tengattini, M; DELLA CORTE, Francesco
Lumping Partially Symmetrical Stochastic Models 1-gen-2011 Baarir, S; Beccuti, M; Dutheillet, C; Franceschinis, Giuliana Annamaria; Haddad, S.
Dynamic simulations of kidney exchanges 1-gen-2011 Beccuti, M; Fragnelli, Vito; Franceschinis, Giuliana Annamaria; Villa, S.
Probe Automata for Passage Time Specification 1-gen-2011 Amparore, E. G.; Beccuti, M; Donatelli, S; Franceschinis, Giuliana Annamaria
Mostrati risultati da 21 a 40 di 111
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