| Exploiting product forms solution techniques in multiformalism modeling E Barbierato, GL Dei Rossi, M Gribaudo, M Iacono, A Marin Electronic Notes in Theoretical Computer Science 296, 61-77, 2013 | 39 | 2013 |
| Mignis: A semantic based tool for firewall configuration P Adão, C Bozzato, G Dei Rossi, R Focardi, FL Luccio 2014 IEEE 27th Computer Security Foundations Symposium, 351-365, 2014 | 34 | 2014 |
| Modelling retrial-upon-conflict systems with product-form stochastic Petri nets S Balsamo, GLD Rossi, A Marin International conference on analytical and stochastic modeling techniques
, 2013 | 14 | 2013 |
| Evaluating the impact of eDoS attacks to cloud facilities GL Dei Rossi, M Iacono, A Marin Proceedings of the 9th EAI International Conference on Performance
, 2016 | 10 | 2016 |
| A tool for the numerical solution of cooperating Markov chains in product-form S Balsamo, GL Dei Rossi, A Marin | 8 | 2009 |
| A numerical algorithm for the solution of product-form models with infinite state spaces S Balsamo, GL Dei Rossi, A Marin European Performance Engineering Workshop, 191-206, 2010 | 7 | 2010 |
| APPLYING BCMP MULTI-CLASS QUEUEING NETWORKS FOR THE PERFORMANCE EVALUATION OF HIERARCHICAL AND MODULAR SOFTWARE SYSTEMS S Balsamo, GL Dei Rossi, A Marin | 7* | 2010 |
| Queueing networks and conditional product-forms S Balsamo, GL Dei Rossi, A Marin Proceedings of the 7th International Conference on Performance Evaluation
, 2013 | 6 | 2013 |
| Lumping and Reversed Processes in Cooperating Automata S Balsamo, GL Dei Rossi, A Marin Analytical and Stochastic Modeling Techniques and Applications, 212-226, 2012 | 6 | 2012 |
| Evaluating resistance to jamming and casual interception in mobile wireless networks L Gallina, GL Dei Rossi, A Marin, S Rossi Proceedings of the 15th ACM international conference on Modeling, analysis
, 2012 | 5 | 2012 |
| Optimisation of virtual machine garbage collection policies S Balsamo, GL Dei Rossi, A Marin Analytical and Stochastic Modeling Techniques and Applications: 18th
, 2011 | 5 | 2011 |
| Cooperating stochastic automata: Approximate lumping an reversed process S Balsamo, GD Rossi, A Marin Computer and Information Sciences III: 27th International Symposium on
, 2013 | 4 | 2013 |
| Lumping and reversed processes in cooperating automata S Balsamo, GL Dei Rossi, A Marin Annals of Operations Research 239, 695-722, 2016 | 3 | 2016 |
| A survey on multi-formalism performance evaluation tools MS Balsamo, GL Dei Rossi, A Marin ESM 2012, Proc. of the 26th annual European Simulation and Modelling
, 2012 | 3 | 2012 |
| Performance analysis and formal verification of cognitive wireless networks GL Dei Rossi, L Gallina, S Rossi Computer Performance Engineering: 10th European Workshop, EPEW 2013, Venice
, 2013 | 2 | 2013 |
| A semantic based tool for firewall configuration P Adão, C Bozzato, G Dei Rossi, R Focardi, FL Luccio Hot Issues in Security Principles and Trust, 2014 | 1 | 2014 |
| A Simulation Package for an Energy-Aware Comparison of ARQ Protocols GL Dei Rossi, A Marin, M Rosati, S Balsamo | 1 | 2011 |
| Queueing networks and conditional product-forms A Marin, S Balsamo, GL Dei Rossi 7th International Conference on Performance Evaluation Methodologies and Tools, 2014 | | 2014 |
| On the Solution of Cooperating Stochastic Models GL Dei Rossi Università Ca' Foscari Venezia, 2013 | | 2013 |
| Technical Report Series S Balsamo, G Dei Rossi, A Marin | | 2012 |
Andrea MarinUniversità Ca' Foscari VeneziaPatvirtintas el. paštas dais.unive.it
