Gian-Luca DEI ROSSI

Qualifica
Cultore della materia
E-mail
gianluca.deirossi@unive.it
Sito web
www.unive.it/persone/gianluca.deirossi (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2016 Articolo su rivista Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin Lumping and reversed processes in cooperating automata in ANNALS OF OPERATIONS RESEARCH, vol. 239, pp. 695-722 (ISSN 0254-5330)
DOI - Scheda ARCA: 10278/3638126
2015 Articolo su rivista Balsamo, Maria Simonetta; Marin, Andrea; Dei Rossi, Gian-Luca Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems in INTERNATIONAL JOURNAL OF COMPUTER AIDED ENGINEERING AND TECHNOLOGY, Inderscience Enterprises Ltd., vol. 7, pp. 145-157 (ISSN 1757-2657)
DOI - URL correlato - Scheda ARCA: 10278/3680943
2015 Articolo in Atti di convegno Dei Rossi, Gian-Luca; Iacono, Mauro; Marin, Andrea Evaluating the impact of eDoS attacks to cloud facilities , Proc. of 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, ACM, pp. 1-8, Convegno: 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, 14-16/12/2016 (ISBN 978-1-63190-096-9)
DOI - Scheda ARCA: 10278/3682194
2014 Articolo in Atti di convegno Pedro, Adão; Claudio, Bozzato; Gian-Luca, Dei Rossi; Focardi, Riccardo; Luccio, Flaminia Mignis: A semantic based tool for firewall configuration , IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), IEEE, pp. 351-365, Convegno: IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 19-22 July, 2014 (ISBN 9781479942909)
DOI - Scheda ARCA: 10278/43839
2014 Abstract in Atti di convegno Pedro Adão; Claudio Bozzato; Gian-Luca Dei Rossi; Riccardo Focardi; Flaminia Luccio A semantic based tool for firewall configuration , HotSpot 2014, no formal editor, Convegno: 2nd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2014), 5th April 2014
- Scheda ARCA: 10278/43846
2013 Articolo su rivista E. Barbierato; G. Dei Rossi; M. Gribaudo; M. Iacono; A. Marin Exploiting product forms solution techniques in multiformalism modeling in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 296, pp. 61-77 (ISSN 1571-0661)
DOI - Scheda ARCA: 10278/39234
2013 Articolo in Atti di convegno S. Balsamo; G. Dei Rossi; A. Marin Modelling retrial-upon-conflict systems with product-form stochastic Petri nets in Alexander N. Dudin, Koen De Turck, Proceedings of Int. Conf. ASMTA 2013, Springer, vol. 7984, pp. 52-66, Convegno: Analytical and Stochastic Modelling Techiniques and Applications, July, 8-13 (ISBN 9783642394072) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/39335
2013 Articolo in Atti di convegno Gian-Luca Dei Rossi; Lucia Gallina; Sabina Rossi Performance Analysis and Formal Verification of Cognitive Wireless Networks , Computer Performance Engineering, Berlin, Springer Berlin Heidelberg, vol. 8168, pp. 236-250, Convegno: 10th European Workshop, EPEW 2013, September 16-17, 2013 (ISBN 9783642407246) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/39262
2013 Articolo in Atti di convegno S. Balsamo; G. dei Rossi; A. Marin Queueing networks and conditional product-forms , VALUETOOLS 2013 - 7th International Conference on Performance Evaluation Methodologies and Tools, ACM Association for Computing Machinery, Convegno: ValueTools '13, 10-12/12/2013 (ISBN 9781450325394)
- Scheda ARCA: 10278/39043
2012 Articolo in Atti di convegno S. Balsamo; G. Dei Rossi; A. Marin A Survey on Multi-Formalism Performance Evaluation Tools in M. Klumpp, T. Heupel, ESM 2012, Proc. of the 26th annual European Simulation and Modelling Conference, Ghent, Eurosis, pp. 15-23, Convegno: ESM 2012, 26th annual European Simulation and Modelling Conference, 22-24/10/2012 (ISBN 9789077381731)
- Scheda ARCA: 10278/33221
2012 Articolo in Atti di convegno S. Balsamo; G. Dei Rossi; A. Marin Cooperating stochastic automata: approximate lumping an reversed process , ISCIS 2012, Proc. of 27th International Symposium on Computer and Information Sciences, Berlino, Springer, pp. 131-141, Convegno: ISCIS 2012, Proc. of 27th International Symposium on Computer and Information Sciences, 3-4/10/2012 (ISBN 9781447145936)
DOI - Scheda ARCA: 10278/36559
2012 Articolo in Atti di convegno L. Gallina; G. Dei Rossi; A. Marin; S. Rossi Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks , Proc. of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12), New York, NY, ACM, pp. 151-158, Convegno: ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12), 21-26 Oct 2012 (ISBN 9781450316286)
DOI - URL correlato - Scheda ARCA: 10278/35213
2012 Articolo in Atti di convegno S. Balsamo; G. Dei Rossi; A. Marin Lumping and Reversed Processes in Cooperating Automata in K. Al-Begain, D. Fiems, J.M. Vincent, Analytical and Stochastic Modeling Techniques and Applications, Berlino, LNCS 7314, Springer, vol. 7314, pp. 212-226, Convegno: ASMTA 2012 proc. of Int. Conf. on Analytical and Stochastic Modelling Techinques and Applications, June 4-6, 2012 (ISBN 9783642307812) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/36941
2011 Articolo in Atti di convegno Dei Rossi, Gian-Luca; Marin, Andrea; Rosati, Matteo; Balsamo, Maria Simonetta A Simulation Package For an Energy-Aware Comparison of ARQ protocols in S. Balsamo, A. Marin, Proc. of Int. Conf. on Industrial Simulation 2011, EUROSIS, pp. 18-25, Convegno: Industrial Simulation Conference, 6-8 June 2011 (ISBN 9789077381632)
- Scheda ARCA: 10278/30011
2011 Articolo in Atti di convegno Dei Rossi, Gian-Luca; Marin, Andrea; Balsamo, Maria Simonetta A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols , Proc. of Int. Conf. Wireless Days Conference 2011, IFIP, pp. 1-3, Convegno: Wireless Days 2011, 10-12 Oct 2011 (ISBN 9781457720277)
DOI - Scheda ARCA: 10278/23636
2011 Articolo in Atti di convegno S. Balsamo; G.Dei Rossi; A. Marin Optimisation of Virtual Machine Garbage Collection Policies in K. Al-Begain et al., Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications, © Springer-Verlag Berlin Heidelberg, vol. 6751, pp. 70-84, Convegno: 8th international conference on Analytical and stochastic modeling techniques and applications, June 2011 (ISBN 9783642217128) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/31800
2010 Articolo in Atti di convegno Balsamo, Maria Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea A numerical algorithm for the solution of product-form models with infinite state spaces in A. Aldini, M. Bernardo, L. Bononi, V. Cortellessa, COMPUTER PERFORMANCE ENGINEERING, Berlino, Springer, vol. LNCS 6342, pp. 191-206, Convegno: European Performance Engineering Workshop, EPEW 2010, September 23-24, 2010 (ISBN 9783642157837) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/33536
2010 Articolo in Atti di convegno S. Balsamo; G. Dei Rossi; A. Marin A tool for the numerical solution of cooperating Markov chains in product-form in Tadeusz Czachórski, Performance Modelling and Evaluation of Heterogeneous Networks, Gliwice, Institute of Theoretical and Applied Informatics of the Polish Academy of Sciences, pp. 309-324, Convegno: HET-NETs 2010, 14-16.1.2010 (ISBN 9788392605447)
- Scheda ARCA: 10278/25026
2010 Articolo in Atti di convegno Balsamo, Maria Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea Applying BCMP Multi-class Queueing Networks for the Performance Evaluation of Hierarchical and Modular Software Ssystems in Prof. Gerrit Janssens, ESM 2010, Proc. Eurosis 24rd European Simulation and Modelling Conference, Eurosis, pp. 206-213, Convegno: ESM'2010, 24th annual European Simulation and Modelling Conference, October 25-27, 2010 (ISBN 9789077381571)
- Scheda ARCA: 10278/24429