Performability evaluation of the ERTMS/ETCS–Level 3 M Biagi, L Carnevali, M Paolieri, E Vicario Transportation Research Part C: Emerging Technologies 82, 314-336, 2017 | 44 | 2017 |
The ORIS tool: quantitative evaluation of non-Markovian systems M Paolieri, M Biagi, L Carnevali, E Vicario IEEE Transactions on Software Engineering 47 (6), 1211-1225, 2019 | 38 | 2019 |
Rare event simulation for non-Markovian repairable fault trees CE Budde, M Biagi, RE Monti, PR D’Argenio, M Stoelinga International Conference on Tools and Algorithms for the Construction and …, 2020 | 13 | 2020 |
Model-based quantitative evaluation of repair procedures in gas distribution networks M Biagi, L Carnevali, F Tarani, E Vicario ACM Transactions on Cyber-Physical Systems 3 (2), 1-26, 2018 | 10 | 2018 |
A continuous-time model-based approach for activity recognition in pervasive environments M Biagi, L Carnevali, M Paolieri, F Patara, E Vicario IEEE Transactions on Human-Machine Systems 49 (4), 293-303, 2019 | 8 | 2019 |
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes M Biagi, L Carnevali, M Paolieri, T Papini, E Vicario Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017 | 7 | 2017 |
An introduction to the ORIS tool M Biagi, L Carnevali, E Vicario, M Paolieri Proceedings of the 11th EAI International Conference on Performance …, 2017 | 6 | 2017 |
Extending the steady state analysis of hierarchical semi-Markov processes with parallel regions M Biagi, E Vicario, R German Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris …, 2018 | 4 | 2018 |
Hospital inventory management through Markov decision processes@ runtime M Biagi, L Carnevali, F Santoni, E Vicario Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018 | 3 | 2018 |
An inspection-based compositional approach to the quantitative evaluation of assembly lines M Biagi, L Carnevali, T Papini, K Tadano, E Vicario Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin …, 2017 | 2 | 2017 |
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling M Biagi, L Carnevali, M Paolieri, F Patara, E Vicario European Workshop on Performance Engineering, 32--47, 2016 | 2 | 2016 |
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow M Biagi, L Carnevali, K Tadano, E Vicario 2018 IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018 | 1 | 2018 |
Analisi e sviluppo di un componente Java per la simulazione interattiva di reti di Petri stocastiche T Scarlatti, E Vicario, M Biagi | | |