About me
I was born in November 1984 in Venice.
I received the bachelor (summa cum laude) and master degrees (summa cum laude)
in Computer Science from the Ca' Foscari University of Venice respectively in 2006 and 2009.
My bachelor thesis consisted of the analysis of an algorithm for the sequentialisation of DNA (Bioinformatic),
whereas my master thesis was about a Process algebra for the analysis of Mobile Ad Hoc Networks.
In April 2013 I got a PhD in Computer Science at Ca' Foscari University of Venice.
During my three years of PhD, my research has been aimed at the study and the implementation of formal models
for the analysis of wireless ad hoc and sensor networks.
In particular, my PhD thesis deals with the Power-Aware analysis of Mobile Ad hoc networks.
In the summer 2013 I spent a month in the Department of Computer Science,
University of Oxford (U.K.), working with the PRISM model checker. In particular, I collaborated with
Professor Marta Zofia Kwiatkowska, and with the research assistant Tingting Han.
This collaboration has involved the last six months of my PhD, and it has apported
an essential contribution to my PhD thesis.
1
Pubblications on Journals
- M. Bugliesi, L. Gallina, S. Hamadou, A. Marin and and S. Rossi.
Behavioral Equivalences and Interference Metrics for Mobile Ad-hoc Networks.
Performance Evaluation, 2013. DOI: 10.1016/j.peva.2013.11.003. Elsevier Science.
[bibTeX] - L. Gallina and S. Rossi.
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks.
Wireless Communications & Mobile Computing, volume 13, n. 3, pag. 296-312, 2013.
[bibTeX]
Pubblications on International Conferences
- L. Gallina, T. Han, M. Kwiatkowska, A. Marin and S. Rossi.
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks.
Proc. of the 16th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12), ACM Press, 2013.
[bibTeX]
- G-L. DeiRossi, L. Gallina and S. Rossi.
Performance analysis and formal verification of cognitive wireless networks.
Proc. of the 10th European Workshop on Performance Engineering (EPEW'13), LNCS, Springer-Verlag, 2013.
[bibTeX] - L. Gallina, T. Han, M. Kwiatkowska, A. Marin, S. Rossi and A. Spanó.
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks
Proc. of IFIP Wireless Days 2012, IEEE Press, 2012.
[bibTeX] - L. Gallina, G. Dei Rossi, A. Marin and 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), ACM Press, 2012.
[bibTeX] - M. Bugliesi, L. Gallina, S. Hamadou, A. Marin and S. Rossi.
Interference-sensitive Preorders for MANETs
Proc. of the 9th International Conference on Quantitative Evaluation of SysTems (QEST12), IEEE Press, 2012.
[bibTeX] - L. Gallina, S. Hamadou, A. Marin and S. Rossi.
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks
Proc. of IFIP Wireless Days 2011, IEEE Press, 2011(Best Paper Award).
[bibTeX] - L. Gallina, S. Hamadou, A. Marin and S. Rossi.
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks
Proc. of the 18th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'11), LNCS 6751, pag. 316-330, Springer-Verlag, 2011.
[bibTeX] - L. Gallina and S. Rossi.
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks
Proc. of IFIP Wireless Days 2010, IEEE Press, 2010.
[Slides] [bibTeX] - L. Gallina and S. Rossi.
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks (Invited Paper)
Proc. of the 6th IFIP International Conference on Theoretical Computer Science (TCS'10), pag. 20-31, Springer, 2010.
[bibTeX]
Research Reports
- L. Gallina.
Formal Models for Qualitative and Quantitative Analysis of Mobile Ad Hoc and Sensor Networks
PhD Thesis, DAIS, University Ca’ Foscari of Venice, 2013.[Pdf] - L. Gallina, S. Hamadou, A. Marin, S. Rossi
Connectivity and Energy-aware Preorders for Mobile Ad-Hoc Networks
Research report, DAIS, University Ca’ Foscari of Venice, 2012.[Pdf] - M. Bugliesi, L. Gallina, S. Hamadou, A. Marin and S. Rossi.
Interference-sensitive Preorders for MANETs.
Research report, DAIS, University Ca’ Foscari of Venice, 2011.[Pdf] - L. Gallina, S. Hamadou, A. Marin and S. Rossi.
A Probabilistic Energy-Aware Model for Ad-Hoc Networks.
Research report, DAIS, University Ca’ Foscari of Venice, 2011.[Pdf] - L. Gallina and S. Rossi.
A process calculus for energy-aware multicast communications of mobile ad-hoc networks.
Research report, DAIS, University Ca’ Foscari of Venice, 2010.[Pdf] - L. Gallina and S. Rossi.
A formal model for the analysis of mobile ad hoc networks.
Research Report CS-2009-9, DAIS, University Ca’ Foscari of Venice, 2009.[Pdf]
Activities
- Tutor of Programmazione Modulo 1 Laurea Triennale in Informatica, Facoltà di Scienze MM.FF.NN., Università Ca' Foscari di Venezia.
- Tutor of Programmazione Modulo 2 Laurea Triennale in Informatica, Facoltà di Scienze MM.FF.NN., Università Ca' Foscari di Venezia.
- Participation to Bertinoro Spring School. Bertinoro (Forl - Cesena), Italy, 1-10 March, 2010.
- Participation to the IFIP Wireless Days 2010 as Local Arrangement Chair, San Servolo, Venezia, October 20-22, 2010.
- Tutor of Programmazione Modulo 2 Laurea Triennale in Informatica, Facoltà di Scienze MM.FF.NN., Università Ca' Foscari di Venezia.
- Sojourn in Oxoford and collaboration with the Department of Computer Science, University of Oxford, June-July, 2012.
Talks
- "E-BUM: A Energy-aware Calculus for Broadcast, Unicast and Multicast communications in Mobile Ad Hoc Networks". Department of Computer Science, Universiy Ca' Foscari of Venice, 17-03-2010
- "A calculus for costed computations", a work of Mathew Hennessy. Department of Computer Science, Universiy Ca' Foscari of Venice, 26-05-2010
- Presentation of the paper "Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks", IFIP Wireless Days, San Servolo, Venezia, October 20-22, 2010.
- Presentation of the paper "A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks". 18th International Conference on Analytical and Stochastic Modelling Techniques Applications,Venezia, 20-22 June 2011
- Participation to the ICEP 2012 (Imperial College Energy and Performance Colloquium), London 29 May - 1 June 2012. Presentation of the abstract "A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Network".
- "A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Network". Department of Computer Science, University of Oxford, 20 -06-2012.
- Presentation of the paper "Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks", IFIP Wireless Days 2012, Dublin November 21-23.