BIAGI, MARCO
BIAGI, MARCO
Ingegneria dell'Informazione
A continuous-time model-based approach for activity recognition in pervasive environments
2019 Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Patara, Fulvio; Vicario, Enrico
A stochastic model-based approach to online event prediction and response scheduling
2016 Biagi, M.; Carnevali, L.; Paolieri, M.; Patara, F.; Vicario, E.
An inspection-based compositional approach to the quantitative evaluation of assembly lines
2017 Biagi, Marco; Carnevali, Laura*; Papini, Tommaso; Tadano, Kumiko; Vicario, Enrico
An introduction to the ORIS tool
2017 Biagi, Marco; Carnevali, Laura; Vicario, Enrico; Paolieri, Marco
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow
2018 Biagi, Marco; Carnevali, Laura; Tadano, Kumiko; Vicario, Enrico
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes
2017 Biagi, Marco; Carnevali, Laura*; Paolieri, Marco; Papini, Tommaso; Vicario, Enrico
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions
2018 Biagi, Marco; Vicario, Enrico; German, Reinhard
Hospital Inventory Management Through Markov Decision Processes @runtime
2018 Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks
2018 Biagi, Marco; Carnevali, Laura; Tarani, Fabio; Vicario, Enrico
New methods for quantitative evaluation of Markov regenerative models
2019 Marco Biagi
Performability evaluation of the ERTMS/ETCS - Level 3
2017 Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Vicario, Enrico
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
2021 Paolieri M.; Biagi M.; Carnevali L.; Vicario E.
Zingiber officinale Roscoe rhizome extract alleviates neuropathic pain by inhibiting neuroinflammation in mice
2020 Borgonetti, Vittoria; Governa, Paolo; Biagi, Marco; Pellati, Federica; Galeotti, Nicoletta