Marco Biagi

According to our database, Marco Biagi authored at least 11 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems.

Marco Paolieri, Marco Biagi, Laura Carnevali, Enrico Vicario

IEEE Trans. Software Eng., 2021

2020

Rare Event Simulation for Non-Markovian Repairable Fault Trees.

Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.

Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario

IEEE Trans. Hum. Mach. Syst., 2019

Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks.

Marco Biagi, Laura Carnevali, Fabio Tarani, Enrico Vicario

ACM Trans. Cyber Phys. Syst., 2019

2018

Hospital Inventory Management Through Markov Decision Processes @runtime.

Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow.

Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.

Marco Biagi, Enrico Vicario, Reinhard German

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

An introduction to the ORIS tool.

Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes.

Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines.

Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016

A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling.

Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario

Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016