PAOLIERI, MARCO

PAOLIERI, MARCO  

Ingegneria dell'Informazione  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
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 2016 Paolieri, Marco; Horváth, András; Vicario, Enrico
Probabilistic Model Checking of Regenerative Concurrent Systems 2015 Paolieri, Marco; Horvath, Andras; 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