Biografia

Paolo Masci è assegnista di ricerca al Dipartimento di Ingegneria dell'Informazione (Università di Pisa) e ricercatore associato all'Istituto di Scienze e Tecnologie dell'Informazione (Consiglio Nazionale delle Ricerche, Pisa). Attualmente si occupa dell'analisi di protocolli di comunicazione delle reti wireless, in particolare verifica formale della correttezza delle specifiche funzionali e valutazione quantitativa di metriche di performance e robustezza. Negli anni passati, si è occupato dello sviluppo di soluzioni software per la riconfigurazione di reti di sensori e della verifica del bytecode Java su dispositivi con risorse limitate.

Tesi Disponibili

Estensione di un framework per l'analisi di protocolli di comunicazione (triennale / specialistica)
Sviluppo di un tool per interfacciare il framework Mobius con gnuplot / matlab (triennale)

altre...

Pubblicazioni Recenti

Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach.
A. Bertolino, F. Di Giandomenico, A. Di Marco, V. Issarny, F. Martinelli, P. Masci, I. Matteucci, R. Saadi, A. Sabetta
To appear in SERENE2010, the 2nd International Workshop on Software Engineering for Resilient Systems
London, UK, 2010.
[bibtex]  [pdf]


Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.
P. Masci, F. Di Giandomenico, S. Chiaradonna
To appear in EDCC2010, the 8th European Dependable Computing Conference
Valencia, Spain, 2010.
[bibtex]  [pdf]


Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios.
C. Bernardeschi, P. Masci, H. Pfeifer
In SSS09, the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Lyon, France, 2009.
[bibtex]  [pdf]

altre...