Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 55
Titolo Data di pubblicazione Autore(i) File
MC4CSLTA 2010 Elvio Gilberto Amparore; Susanna Donatelli
Model checking CSLTA with Deterministic and Stochastic Petri Nets 2010 Elvio Gilberto Amparore; Susanna Donatelli
MC4CSLTA: An Efficient Model Checking Tool for CSLTA 2010 Elvio Gilberto Amparore; Susanna Donatelli
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 2010 Elvio Gilberto Amparore; Susanna Donatelli
DSPN-Tool 2010 Elvio Gilberto Amparore; Susanna Donatelli
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 2010 Elvio Gilberto Amparore; Susanna Donatelli
Probe Automata for Passage Time Specification 2011 E. G. Amparore; M. Beccuti; S. Donatelli; G. Franceschinis
Revisiting the matrix‐free solution of Markov regenerative processes 2011 Elvio Gilberto Amparore; Susanna Donatelli
A component-based solution for reducible Markov regenerative processes 2012 Elvio Gilberto Amparore; Susanna Donatelli
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 2012 Elvio Gilberto Amparore; Susanna Donatelli
States, actions and path properties in Markov chains 2013 E. G. Amparore
Expressing and computing passage time measures of GSPN models with HASL 2013 E. G. Amparore; P. Ballarini; M. Beccuti; S. Donatelli; G. Franceschinis
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets 2013 E. G. Amparore;B. Barbot;M. Beccuti;S. Donatelli;G. Franceschinis
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 2013 Amparore, Elvio Gilberto; and Donatelli, Susanna
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 2014 Amparore, Elvio; Beccuti, Marco; Collina, Simona; De Simone, Flavia; Donatelli, Susanna; Tango, Fabio
(Stochastic) Model Checking in GreatSPN 2014 E. Amparore;M. Beccuti;S. Donatelli
New GreatSPN Graphical Editor 2014 Elvio Gilberto Amparore
The New GreatSPN Graphical User Interface. 2014 E. G. Amparore
A Structured Solution Approach for Markov Regenerative Processes 2014 E. Amparore;P. Buchholz;S. Donatelli
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking 2014 E. Amparore
Mostrati risultati da 1 a 20 di 55
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