PAOLIERI, MARCO
PAOLIERI, MARCO
Ingegneria dell'Informazione
A continuous-time model-based approach for activity recognition in pervasive environments
2019 Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Patara, Fulvio; Vicario, Enrico
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
A stochastic model-based approach to online event prediction and response scheduling
2016 Biagi, M.; Carnevali, L.; Paolieri, M.; Patara, F.; Vicario, E.
An introduction to the ORIS tool
2017 Biagi, Marco; Carnevali, Laura; Vicario, Enrico; Paolieri, Marco
Analysis and Verification of Regenerative Stochastic Systems
2015 Marco Paolieri
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows
2023 Carnevali, Laura; Paolieri, Marco; Reali, Riccardo; 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
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
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software
2013 L. Carnevali; M. Paolieri; A. Santoni; E. Vicario
Non-Markovian performability evaluation of ERTMS/ETCS level 3
2015 Carnevali, Laura; Flammini, Francesco; Paolieri, Marco; Vicario, Enrico
Performability evaluation of the ERTMS/ETCS - Level 3
2017 Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Vicario, Enrico
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 non-Markovian Models with Concurrent Generally Distributed Timers
2011 Andras Horvath; Marco Paolieri; Lorenzo Ridi; Enrico Vicario
Probabilistic Model Checking of Regenerative Concurrent Systems
2015 Paolieri, Marco; Horvath, Andras; Vicario, Enrico
Probabilistic Model Checking of Regenerative Concurrent Systems
2016 Paolieri, Marco; Horváth, András; Vicario, Enrico
Quantitative Evaluation of Availability Measures of Gas Distribution Networks
2013 Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario
Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration
2013 S. Ballerini; L. Carnevali; M. Paolieri; K. Tadano; F. Machida
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
2021 Paolieri M.; Biagi M.; Carnevali L.; Vicario E.
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis
2013 L. Carnevali; M. Paolieri; K. Tadano; E. Vicario