Sfoglia per Autore
New GreatSPN Graphical Editor
2014-01-01 Elvio Gilberto Amparore
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets
2013-01-01 E. G. Amparore;B. Barbot;M. Beccuti;S. Donatelli;G. Franceschinis
States, actions and path properties in Markov chains
2013-01-01 E. G. Amparore
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker
2013-01-01 Amparore, Elvio Gilberto; and Donatelli, Susanna
Expressing and computing passage time measures of GSPN models with HASL
2013-01-01 E. G. Amparore; P. Ballarini; M. Beccuti; S. Donatelli; G. Franceschinis
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications
2012-01-01 Elvio Gilberto Amparore; Susanna Donatelli
A component-based solution for reducible Markov regenerative processes
2012-01-01 Elvio Gilberto Amparore; Susanna Donatelli
Probe Automata for Passage Time Specification
2011-01-01 E. G. Amparore; M. Beccuti; S. Donatelli; G. Franceschinis
Revisiting the matrix‐free solution of Markov regenerative processes
2011-01-01 Elvio Gilberto Amparore; Susanna Donatelli
MC4CSLTA
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
Model checking CSLTA with Deterministic and Stochastic Petri Nets
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
MC4CSLTA: An Efficient Model Checking Tool for CSLTA
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
DSPN-Tool
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
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