Marco Biagi
PhD student in smart computing
Software Technologies Laboratory (STLab)
Department of Information Engineering
University of Florence

Journals

  • book M. Biagi, L. Carnevali, F. Tarani, and E. Vicario, "Model-based quantitative evaluation of repair procedures in gas distribution networks", ACM Transactions on Cyber Physical Systems, September 2018.
  • book M. Biagi, L. Carnevali, M. Paolieri, and E. Vicario, "Performability evaluation of the ERTMS/ETCS - Level 3", Transportation Research Part C: Emerging Technologies, vol. 82, pp. 314-336, September 2017. slides

Conference Proceedings and workshops

  • assignment M. Biagi, R. German, and E.Vicario, "Extending the steady state analysis of hierarchical semi-Markov processes with parallel regions", in European Workshop on Performance Engineering (EPEW), 2018. slides
  • assignment M. Biagi, L. Carnevali, F.Santoni, and E.Vicario, "Hospital Inventory Management Through Markov Decision Processes@ runtime", in International Conference on Quantitative Evaluation of SysTems (QEST), pages: 87-103, 2018.
  • assignment M. Biagi, L. Carnevali, K. Tadano, and E.Vicario, "Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow", in IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018.
  • assignment M. Biagi, L. Carnevali, T. Papini, K. Tadano, and E.Vicario, "An inspection based compositional approach to the quantitative evaluation of assembly lines", in European Performance Engineering Workshop (EPEW), Springer, 2017. slides
  • assignment M. Biagi, L. Carnevali, E.Vicario, and M. Paolieri, "An introduction to the ORIS tool", in 11th EAI International Conference on Performance Evaluation Methodologies and Tools(VALUETOOLS), pages: 9-11, 2017.
  • assignment M. Biagi, L. Carnevali, M. Paolieri, T. Papini, and E.Vicario, + "Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov Regenerative Processes", in International Conference on Quantitative Evaluation of SysTems (QEST), Springer, 2017. slides
  • assignment M. Biagi, L. Carnevali, M. Paolieri, F. Patara, and E.Vicario, "A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling", in European Performance Engineering Workshop (EPEW), Springer, 2016. slides
Contacts

marco.biagi(at)unifi.it
Department of Information Engineering
Software Technologies Laboratory (STLab)
Via di Santa Marta 3, 50139, Firenze, Italy