Marco Biagi

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