A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (EPEW, 2010)

Optimisation of Virtual Machine Garbage Collection Policies. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (ASMTA, 2011)

A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols. - Gian-Luca Dei Rossi; Andrea Marin; Simonetta Balsamo (Wireless Days, 2011)

Cooperating Stochastic Automata: Approximate Lumping an Reversed Process. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (ISCIS, 2012)

Evaluating resistance to jamming and casual interception in mobile wireless networks. - Lucia Gallina; Gian-Luca Dei Rossi; Andrea Marin; Sabina Rossi (MSWiM, 2012)

Exploiting product forms solution techniques in multiformalism modeling. - Enrico Barbierato; Gian-Luca Dei Rossi; Marco Gribaudo; Mauro Iacono; Andrea Marin (PASM/PDMC, 2012)

Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (ASMTA, 2013)

Performance Analysis and Formal Verification of Cognitive Wireless Networks. - Gian-Luca Dei Rossi; Lucia Gallina; Sabina Rossi (EPEW, 2013)

Queueing networks and conditional product-forms. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (VALUETOOLS, 2013)

On the solution of cooperating stochastic models. - Gian-Luca Dei Rossi (2014)

Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (Int. J. Comput. Aided Eng. Technol., 2015)

Lumping and reversed processes in cooperating automata. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (Ann. Oper. Res., 2016)

Evaluating the impact of eDoS attacks to cloud facilities. - Gian-Luca Dei Rossi; Mauro Iacono; Andrea Marin (EAI Endorsed Trans. Security Safety, 2016)