Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes. - Stefano Martina; Marco Paolieri; Tommaso Papini; Enrico Vicario (MASCOTS, 2016)

An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. - Marco Biagi; Laura Carnevali; Tommaso Papini; Kumiko Tadano; Enrico Vicario (EPEW, 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 (QEST, 2017)