Marco Biagi

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 12

Top Topics

Markov Decision Process

Stochastic Model

Top Venues

ACM Trans. Cyber Phys. Syst.

Publications

Marco Paolieri, Marco Biagi, Laura Carnevali, Enrico Vicario
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. IEEE Trans. Software Eng. 47 (6) (2021)
Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
Rare Event Simulation for Non-Markovian Repairable Fault Trees. TACAS (1) (2020)
Marco Biagi, Laura Carnevali, Fabio Tarani, Enrico Vicario
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks. ACM Trans. Cyber Phys. Syst. 3 (2) (2019)
Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
Rare Event Simulation for non-Markovian repairable Fault Trees. CoRR (2019)
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments. IEEE Trans. Hum. Mach. Syst. 49 (4) (2019)
Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. ETFA (2018)
Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario
Hospital Inventory Management Through Markov Decision Processes @runtime. QEST (2018)
Marco Biagi, Enrico Vicario, Reinhard German
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions. EPEW (2018)
Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. QEST (2017)
Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri
An introduction to the ORIS tool. VALUETOOLS (2017)
Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. EPEW (2017)
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. EPEW (2016)