Follow
Gian-Luca Dei Rossi
Title
Cited by
Cited by
Year
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
382013
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
332014
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
142013
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
102016
A tool for the numerical solution of cooperating Markov chains in product-form
S Balsamo, GL Dei Rossi, A Marin
82009
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
72010
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
62013
Lumping and Reversed Processes in Cooperating Automata
S Balsamo, GL Dei Rossi, A Marin
Analytical and Stochastic Modeling Techniques and Applications, 212-226, 2012
62012
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
52012
Optimisation of virtual machine garbage collection policies
S Balsamo, GL Dei Rossi, A Marin
Analytical and Stochastic Modeling Techniques and Applications: 18th …, 2011
52011
Cooperating stochastic automata: Approximate lumping an reversed process
S Balsamo, GD Rossi, A Marin
Computer and Information Sciences III: 27th International Symposium on …, 2013
42013
Lumping and reversed processes in cooperating automata
S Balsamo, GL Dei Rossi, A Marin
Annals of Operations Research 239, 695-722, 2016
32016
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
32012
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
22013
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
12014
A Simulation Package for an Energy-Aware Comparison of ARQ Protocols
GL Dei Rossi, A Marin, M Rosati, S Balsamo
12011
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
The system can't perform the operation now. Try again later.
Articles 1–20