Sfoglia per Autore
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
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
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes
2010-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
A component-based solution for reducible Markov regenerative processes
2012-01-01 Elvio Gilberto Amparore; Susanna Donatelli
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications
2012-01-01 Elvio Gilberto Amparore; Susanna Donatelli
States, actions and path properties in Markov chains
2013-01-01 E. G. Amparore
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
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
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker
2013-01-01 Amparore, Elvio Gilberto; and Donatelli, Susanna
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving
2014-01-01 Amparore, Elvio; Beccuti, Marco; Collina, Simona; De Simone, Flavia; Donatelli, Susanna; Tango, Fabio
(Stochastic) Model Checking in GreatSPN
2014-01-01 E. Amparore;M. Beccuti;S. Donatelli
New GreatSPN Graphical Editor
2014-01-01 Elvio Gilberto Amparore
The New GreatSPN Graphical User Interface.
2014-01-01 E. G. Amparore
A Structured Solution Approach for Markov Regenerative Processes
2014-01-01 E. Amparore;P. Buchholz;S. Donatelli
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
2014-01-01 E. Amparore
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