Marco Biagi
TitleCited byYear
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
112017
An introduction to the ORIS tool
M Biagi, L Carnevali, E Vicario, M Paolieri
Proceedings of the 11th EAI International Conference on Performance …, 2017
52017
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), 19, 2018
32018
Extending the steady state analysis of hierarchical semi-Markov processes with parallel regions
M Biagi, E Vicario, R German
European Workshop on Performance Engineering, 62-77, 2018
22018
An inspection-based compositional approach to the quantitative evaluation of assembly lines
M Biagi, L Carnevali, T Papini, K Tadano, E Vicario
European Workshop on Performance Engineering, 152-166, 2017
22017
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
International Conference on Quantitative Evaluation of Systems, 20-35, 2017
22017
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
22016
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, 2019
12019
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
M Paolieri, M Biagi, L Carnevali, E Vicario
IEEE Transactions on Software Engineering, 2019
2019
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
2018
Hospital Inventory Management Through Markov Decision Processes@ runtime
M Biagi, L Carnevali, F Santoni, E Vicario
International Conference on Quantitative Evaluation of Systems, 87-103, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–11