Paolo Manuel Masci


AuthID: R-00G-VYY

Publicações Confirmadas: 80



61
TÍTULO: Dependability Analysis and Verification for Connected Systems
AUTORES: Felicita Di Giandomenico; Marta Z Kwiatkowska; Marco Martinucci; Paolo Masci ; Hongyang Qu;
PUBLICAÇÃO: 2010, FONTE: ISoLA (2), VOLUME: 6416 LNCS, NÚMERO: PART 2
INDEXADO EM: Scopus DBLP CrossRef: 5
62
TÍTULO: Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities
AUTORES: Paolo Masci ; Silvano Chiaradonna; Felicita Di Giandomenico;
PUBLICAÇÃO: 2010, FONTE: EDCC
INDEXADO EM: Scopus DBLP CrossRef: 1
63
TÍTULO: Dependability in dynamic, evolving and heterogeneous systems: The CONNECT approach. the connect approach
AUTORES: Bertolino, A; Di Giandomenico, F; Masci, P ; Sabetta, A; Martinelli, F; Matteucci, I; Di Marco, A; Issarny, V; Saadi, R;
PUBLICAÇÃO: 2010, FONTE: 2nd International Workshop on Software Engineering for Resilient Systems, SERENCE 2010 in Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENCE 2010
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
64
TÍTULO: Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems
AUTORES: Antinisca Di Marco; Antonia Bertolino; Felicita Di Giandomenico; Paolo Masci ; Antonino Sabetta;
PUBLICAÇÃO: 2010, FONTE: WODA
INDEXADO EM: Scopus DBLP CrossRef
65
TÍTULO: Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLICAÇÃO: 2009, FONTE: SSS, VOLUME: 5873 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
66
TÍTULO: Modelling and evaluation of a game-theory approach for airborne conflict resolution in omnet++
AUTORES: Masci, P ; Tedeschi, A;
PUBLICAÇÃO: 2009, FONTE: 2009 2nd International Conference on Dependability, DEPEND 2009 in Proceedings - 2009 2nd International Conference on Dependability, DEPEND 2009
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
67
TÍTULO: Decomposing bytecode verification by abstract interpretation
AUTORES: Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2008, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 31, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 3
68
TÍTULO: Early Prototyping of Wireless Sensor Network Algorithms in PVS
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLICAÇÃO: 2008, FONTE: SAFECOMP, VOLUME: 5219 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 11
69
TÍTULO: Services for fault-tolerant conflict resolution in air traffic management
AUTORES: Paolo Masci ; Henrique Moniz ; Alessandra Tedeschi;
PUBLICAÇÃO: 2008, FONTE: SERENE
INDEXADO EM: Scopus DBLP CrossRef: 1
70
TÍTULO: An application adaptation layer for wireless sensor networks
AUTORES: Marco Avvenuti; Paolo Corsini; Paolo Masci ; Alessio Vecchio;
PUBLICAÇÃO: 2007, FONTE: Pervasive Mob. Comput., VOLUME: 3, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 17
Página 7 de 8. Total de resultados: 80.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service