Biographical Sketch
- Born in Venice on February 10th, 1981.
- Ph.D. in Computer Science at “Ca' Foscari” University of Venice. Thesis: On the Solution of Cooperating Stochastic Models, under the supervision of prof. Simonetta Balsamo.
- Habilitation for the profession of IT Engineer at “Ca' Foscari” University of Venice.
- MSc cum laude in Computer Science at “Ca' Foscari” University of Venice.
- BSc in Computer Science at “Ca' Foscari” University of Venice.
Current Position
- From December 2017: Teacher for the Italian Ministry of Education, University and Research.
Past Positions
- From December 2016 to November 2017: Postdoctoral Researcher at the Department of Environmental Sciences, Informatics and Statistics of the Ca' Foscari University of Venice.
- From September 2016 to November 2016: Postdoctoral Researcher at the Department of Information Engineering of the University of Florence.
- From June 2008 to August 2016: System Administrator at Computer Science Department of “Ca' Foscari” University of Venice.
Research Interests
- Performance evaluation of computer systems and networks
- Stochastic modelling
- Discrete event simulation
Publications
Journal Papers
- S. Balsamo, G. Dei Rossi, A. Marin: Applying BCMP Multi-class Queueing Networks for the Performance Evaluation OF Hierarchical and Modular Software Systems. Int. Journal of Computer Aided Engineering and Technology, InderScience, 2015, Vol. 7, No.2, pp. 145--157, ISSN 1757-2665/1757-2657.
- S. Balsamo, G. Dei Rossi, A. Marin: Lumping and reversed processes in cooperating automata. Annals of Operations Research, Springer, 2014, ISSN 0254-5330/1572-9338, DOI 10.1007/s10479-014-1694-3.
- E. Barbierato, G. Dei Rossi, M. Gribaudo, M. Iacono, A. Marin: Exploiting product form solution techniques in multiformalism modeling. Electronic Notes in Theoretical Computer Science 296 (PASM 2012), pp. 61--77, Elsevier, 2013, ISSN 1571-0661.
Proceedings Papers
- G. Dei Rossi, M. Iacono, A. Marin: Evaluating the impact of eDoS attacks to cloud facilities. VALUETOOLS 2015: 9th International Conference on Performance Evaluation Methodologies and Tools. ACM, ISBN: 978-1-63190-096-9, DOI: 10.4108/eai.14-12-2015.2262650. [ Slides ]
- P. Adão, C. Bozzato, G. Dei Rossi, R. Focardi, F. Luccio: Mignis: A semantic based tool for firewall configuration. CSF 2014: 27th Computer Security Foundations Symposium, IEEE Computer Society Press, pp. 351–-365, ISBN 978-1-4799-4289-3.
- 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, ISBN 978-1-4503-2539-4.
- G. Dei Rossi, L. Gallina, S. Rossi: Performance analysis and formal verification of cognitive wireless networks. EPEW 2013: 10th European Workshop on Performance Engineering, LNCS 8168, pp 236--250, Springer, ISSN 0302-9743, ISBN 978-3-642-40724-6. [ Slides ]
- S. Balsamo, G. Dei Rossi, A. Marin: Modelling Retrial-upon-conflict Systems with Product-form Stochastic Petri Nets. ASMTA 2013: Analytical and Stochastic Modeling Techniques and Applications, LNCS 7984, pp. 52--66, Springer, ISSN 0302-9743, ISBN 978-3-642-39407-2. [ Slides ]
- S. Balsamo, G. Dei Rossi, A. Marin: A Survey on Multi-Formalism Performance Evaluation Tools. Proc. of the 26th annual European Simulation and Modelling Conference, ESM 2012, Essen, DE, pp. 15–23. Eurosis, ISBN 978-90-77381-73-1. [ Slides ]
- L. Gallina, G. Dei Rossi, A. Marin, S. Rossi: Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks. Proc. of MSWIM 2012: The 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, pp.151–158 ACM, ISBN 978-1-4503-1628-6.
- S. Balsamo, G. Dei Rossi, A. Marin: Cooperating stochastic automata: approximate lumping an reversed process. ISCIS 2012: 27th International Symposium on Computer and Information Sciences, Paris, FR. In Computer and Information Sciences III, pp. 131--141, Springer, ISBN 978-1-4471-4593-6 / 978-1-4471-4594-3. [ Slides ]
- S. Balsamo, G. Dei Rossi, A. Marin: Lumping and Reversed Processes in Cooperating Automata. ASMTA 2012: Analytical and Stochastic Modeling Techniques and Applications, LNCS 7314/2012, pp. 212--226, Springer, ISSN 0302-9743, ISBN 978-3-642-30781-2.
- G. Dei Rossi, A. Marin, S. Balsamo: A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols. In Proc. of the 4th IFIP Wireless Days 2011, Niagara Falls, Ontario, CA. IEEE, ISSN 2156-9711, ISBN 978-1-4577-2028-4.
- S. Balsamo, G.Dei Rossi, A. Marin, Optimisation of Virtual Machine Garbage Collection Policies. ASMTA 2011: Analytical and Stochastic Modeling Techniques and Applications, LNCS 6751/2011, pp. 70--84 , Springer, ISSN 0302-9743, ISBN 978-3-642-21712-8. [ Slides ]
- G.Dei Rossi, A. Marin, M. Rosati, S. Balsamo, A Simulation Package for an Energy-Aware Comparison of ARQ Protocols. Proc. of the 9th Annual Industrial Simulation Conference, ISC 2011, Venice, IT, pp. 18–25, EUROSIS, ISBN 978-90-77381-63-2. [ Slides ]
- S. Balsamo, G. Dei Rossi, A. Marin, Applying BCMP Multi-class Queueing Networks for the Performance Evaluation OF Hierarchical and Modular Software Systems. Proc. of the 24th annual European Simulation and Modelling Conference, ESM 2010, Hasselt, BE, pp. 206–213, EUROSIS, ISBN 978-90-77381-57-1. [ Slides ]
- S. Balsamo, G. Dei Rossi, A. Marin, A numerical algorithm for the solution of product-form models with infinite state spaces. EPEW 2010: Comp. Perf. Eng., LNCS 6342/2010, pp. 191--206, Springer, ISSN 0302-9743, ISBN 978-3-642-15783-7. Errata.
- S. Balsamo, G. Dei Rossi, A. Marin, A tool for the numerical solution of cooperating Markov chains in product-form. Proc. Of HET-NETs 2010, Zakopane, Poland, January 2010. pp. 311—324, IITIS, ISBN 978-83-926054-4-7
Research reports
- S. Balsamo, G. Dei Rossi, A. Marin, Efficient solutions for cooperating automata based on forward and reversed lumping. DAIS research report DAIS-2012-6, October 2012.
Extended Abstracts
- Pedro Adão, Claudio Bozzato, Gian-Luca Dei Rossi, Riccardo Focardi, Flaminia Luccio: A semantic based tool for firewall configuration. Hot Issues in Security Principles and Trust (HotSpot 2014), Grenoble, France, April 2014.
You can also check my Google Scholar Citations Page.
Teaching Activities
- 2015, 2016: Adjunct Professor for the System Administration Lab course.
- 2013, 2014, 2015: Teaching Assistant for the Foundations of Programming Languages and the Performance and Reliability of Computer Systems courses.
- 2013: Teaching Assistant for the Operating Systems course.
- 2012: Teaching Assistant for the Operating Systems course.
- 2011: Teaching Assistant for the Operating Systems course.
- 2011: Teaching Assistant for the Probability course.
Other Academic Activities
- From July to September 2012 I visited the Laboratory for Foundations of Computer Science in the School of Informatics of the University of Edinburgh.
- From January 2012 to September 2013: PhD students' representative in the DAIS department's board.
- From December 2011 to September 2013: PhD students' representative in the computer science PhD board.
Contact Informations
- E-mail: deirossi (at) dsi.unive.it