1. S. Balsamo G Dei Rossi A. Marin A tool for the numerical solution of cooperating Markov chains in product-form. In Proc. Of Int. Conf. HET-NETs , pages 311-324, Zakopane, PL, 2010
2. Methodological Construction of Product-form Stochastic Petri-Nets for Performance Evaluation;Balsamo;J. of System and Software,2012
3. A review on queueing network models with finite capacity queues for software architectures performance prediction;Balsamo;Perform. Eval.,2003
4. Defining Formalisms for Performance Evaluation With SIMTHESys;Barbierato;Electr. Notes Theor. Comput. Sci.,2011
5. Enrico Barbierato Marco Gribaudo Mauro Iacono Exploiting multiformalism models for testing and performance evaluation in SIMTHESys. In Proceedings of 5th International ICST Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS 2011 , 2011