CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 54
Titolo Data di pubblicazione Autore(i) File
Reengineering the Editor of the GreatSPN Framework. 2015 Amparore, Elvio Gilberto
Stochastic Path Properties Of Distributed Systems: The CSLTA Approach 2015 E. G. Amparore; S. Donatelli
Markov decision Petri nets with uncertainty 2015 Beccuti, Marco; Amparore, Elvio G.; Donatelli, Susanna; Scheftelowitsch, Dimitri; Buchholz, Peter; Franceschinis, Giuliana
30 Years of GreatSPN 2016 Elvio G, Amparore; Gianfranco, Balbo; Marco, Beccuti; Susanna, Donatelli; Giuliana, Franceschinis
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes 2016 Amparore Elvio Gilberto; Donatelli Susanna
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 2017 Amparore Elvio Gilberto ; Beccuti Marco ; Donatelli Susanna
Decision diagrams for Petri nets: which variable ordering? 2017 Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew
Efficient Solution of Extended Multiple-Phased Systems 2017 Amparore, Elvio and Donatelli, Susanna
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 2017 Amparore Elvio Gilberto ; Donatelli Susanna
Modelling and Evaluation of a Control Room Application 2017 Amparore Elvio Gilberto, Donatelli Susanna, Landini Elisa
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer 2017 Beccuti, Marco; Cordero, Francesca; Arigoni, Maddalena; Panero, Riccardo; Amparore, Elvio G; Donatelli, Susanna; Calogero, Raffaele A.
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 2018 Amparore E.G.; Donatelli S.; Beccuti M.; Garbi G.; Miner A.
MCC’2017 – The Seventh Model Checking Contest 2018 Kordon F.; Garavel H.; Hillah L.M.; Paviot-Adet E.; Jezequel L.; Hulin-Hubard F.; Amparore E.; Beccuti M.; Berthomieu B.; Evrard H.; Jensen P.G.; Le Botlan D.; Liebke T.; Meijer J.; Srba J.; Thierry-Mieg Y.; van de Pol J.; Wolf K.
GreatTeach: a tool for teaching (stochastic) Petri nets 2018 Elvio Gilberto Amparore; Susanna Donatelli
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 2018 Amparore E.G.; Beccuti M.; Botta M.; Donatelli S.; Tango F.
Efficient model checking of the stochastic logic CSLTA 2018 Amparore, E.G.; Donatelli, S.*
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 2019 Amparore Elvio Gilberto , Peter Buchholz , Donatelli Susanna
Heterogeneous Industrial Vehicle Usage Predictions: a Real Case 2019 Dena Markudova and Elena Baralis and Luca Cagliero and Marco Mellia and Luca Vassio and Amparore Elvio Gilberto and Riccardo Loti and Lucia Salvatori
iRank: A Variable Order Metric for DEDS Subject to Linear Invariants 2019 Amparore Elvio Gilberto , Ciardo Gianfranco , Donatelli Susanna , Miner Andrew
Presentation of the 9th Edition of the Model Checking Contest 2019 Amparore Elvio Gilberto , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal{-}Zilio , Francesco Gall{`{a}} , Lom{-}Messan Hillah , Francis Hulin{-}Hubard , Peter Gj{o}l Jensen , Lo{"{i}}g Jezequel , Fabrice Kordon , Didier Le Botlan , Torsten Liebke , Jeroen Meijer , Andrew S. Miner , Emmanuel Paviot{-}Adet , Jir{'{i}} Srba , Yann Thierry{-}Mieg , Tom van Dijk , Karsten Wolf
Mostrati risultati da 21 a 40 di 54
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