Gian-Luca Dei Rossi
Gian-Luca Dei Rossi
PhD Student in Computer Science, Università Ca' Foscari Venezia
Email verificata su dsi.unive.it - Home page
Titolo
Citata da
Citata da
Anno
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
312013
Mignis: A semantic based tool for firewall configuration
P Adao, C Bozzato, G Dei Rossi, R Focardi, FL Luccio
2014 IEEE 27th Computer Security Foundations Symposium, 351-365, 2014
222014
Modelling retrial-upon-conflict systems with product-form stochastic petri nets
S Balsamo, GL Dei Rossi, A Marin
International conference on analytical and stochastic modeling techniques …, 2013
82013
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
A tool for the numerical solution of cooperating Markov chains in product-form
S Balsamo, GL Dei Rossi, A Marin
72009
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 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
52016
Queueing networks and conditional product-forms
S Balsamo, GL Dei Rossi, A Marin
Proceedings of the 7th International Conference on Performance Evaluation …, 2013
52013
Optimisation of virtual machine garbage collection policies
S Balsamo, GL Dei Rossi, A Marin
International Conference on Analytical and Stochastic Modeling Techniques …, 2011
52011
Cooperating stochastic automata: approximate lumping an reversed process
S Balsamo, G Dei Rossi, A Marin
Computer and Information Sciences III, 131-141, 2013
42013
Lumping and reversed processes in cooperating automata
S Balsamo, GL Dei Rossi, A Marin
Annals of Operations Research 239 (2), 695-722, 2016
32016
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
32012
A semantic based tool for firewall configuration
P Adao, C Bozzato, G Dei Rossi, R Focardi, FL Luccio
Hot Issues in Security Principles and Trust (HotSpot’14)”, 5th April, 2014
12014
Performance analysis and formal verification of cognitive wireless networks
GL Dei Rossi, L Gallina, S Rossi
European Workshop on Performance Engineering, 236-250, 2013
12013
A survey on multi-formalism performance evaluation tools
S Balsamo, G Dei Rossi, A Marin
Proc. of Int. Conf. ESM, 15-23, 0
1
Exploiting product forms solution techniques in multiformalism modeling
B Enrico, GL Dei Rossi, M Gribaudo, I Mauro, M Andrea
2013
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
A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols
GL Dei Rossi, A Marin, S Balsamo
Wireless Days (WD), 2011 IFIP, 1-3, 2011
2011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20