Segui
Marco Biagi
Titolo
Citata da
Citata da
Anno
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
432017
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
282019
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
112020
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
92018
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
72019
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
72017
An introduction to the ORIS tool
M Biagi, L Carnevali, E Vicario, M Paolieri
Proceedings of the 11th EAI International Conference on Performance …, 2017
62017
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
42018
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
32018
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
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
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
12018
Analisi e sviluppo di un componente Java per la simulazione interattiva di reti di Petri stocastiche
T Scarlatti, E Vicario, M Biagi
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–13