Sfoglia per Autore
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers
2011 Andras Horvath; Marco Paolieri; Lorenzo Ridi; Enrico Vicario
Transient analysis of non-Markovian models using stochastic state classes
2012 András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
2013 Paolo Ballarini; Nathalie Bertrand; Andras Horvath; Marco Paolieri; Enrico Vicario
Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration
2013 S. Ballerini; L. Carnevali; M. Paolieri; K. Tadano; F. Machida
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software
2013 L. Carnevali; M. Paolieri; A. Santoni; E. Vicario
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis
2013 L. Carnevali; M. Paolieri; K. Tadano; E. Vicario
Quantitative Evaluation of Availability Measures of Gas Distribution Networks
2013 Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters
2014 Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario; Kumiko Tadano
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids
2014 Alberto Avritzer; Laura Carnevali; Lucia Happe; Anne Koziolek; Daniel Sadoc Menasche; Marco Paolieri; Sindhu Suresh
Analysis and Verification of Regenerative Stochastic Systems
2015 Marco Paolieri
Probabilistic Model Checking of Regenerative Concurrent Systems
2015 Paolieri, Marco; Horvath, Andras; Vicario, Enrico
Non-Markovian performability evaluation of ERTMS/ETCS level 3
2015 Carnevali, Laura; Flammini, Francesco; Paolieri, Marco; Vicario, Enrico
A stochastic model-based approach to online event prediction and response scheduling
2016 Biagi, M.; Carnevali, L.; Paolieri, M.; Patara, F.; Vicario, E.
Performance evaluation of Fischer's protocol through steady-state analysis of Markov regenerative processes
2016 Martina, Stefano; Paolieri, Marco; Papini, Tommaso; Vicario, Enrico
Probabilistic Model Checking of Regenerative Concurrent Systems
2016 Paolieri, Marco; Horváth, András; Vicario, Enrico
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes
2017 Biagi, Marco; Carnevali, Laura*; Paolieri, Marco; Papini, Tommaso; Vicario, Enrico
Guest Editorial: Special issue on formal modeling and analysis of timed systems
2017 Paolieri, Marco; Sankaranarayanan, Sriram; Vicario, Enrico
An introduction to the ORIS tool
2017 Biagi, Marco; Carnevali, Laura; Vicario, Enrico; Paolieri, Marco
Performability evaluation of the ERTMS/ETCS - Level 3
2017 Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Vicario, Enrico
A continuous-time model-based approach for activity recognition in pervasive environments
2019 Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Patara, Fulvio; Vicario, Enrico
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