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: 4th International Symposium on Leveraging Applications, ISoLA 2010 in Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, VOLUME: 6416, NÚMERO: PART 2
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
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: 8th European Dependable Computing Conference, EDCC-8 in Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
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: 2010 Workshop on Dynamic Analysis, WODA 2010 in Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010.
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
65
TÍTULO: Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009 in Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, VOLUME: 5873
INDEXADO EM: Scopus DBLP CrossRef: 9
NO MEU: ORCID | DBLP
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: 1
NO MEU: ORCID | DBLP
68
TÍTULO: Early Prototyping of Wireless Sensor Network Algorithms in PVS
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLICAÇÃO: 2008, FONTE: 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008 in Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, VOLUME: 5219
INDEXADO EM: Scopus DBLP CrossRef: 9
NO MEU: ORCID | DBLP
69
TÍTULO: Services for fault-tolerant conflict resolution in air traffic management
AUTORES: Paolo Masci ; Henrique Moniz ; Alessandra Tedeschi;
PUBLICAÇÃO: 2008, FONTE: 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, SERENE'08 in SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
70
TÍTULO: An application adaptation layer for wireless sensor networks  Full Text
AUTORES: Marco Avvenuti; Paolo Corsini; Paolo Masci ; Alessio Vecchio;
PUBLICAÇÃO: 2007, FONTE: Pervasive and Mobile Computing, VOLUME: 3, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 16
NO MEU: ORCID | DBLP
Página 7 de 8. Total de resultados: 80.

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

Links Úteis

Ajuda

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