Paolo Manuel Masci


AuthID: R-00G-VYY

Confirmed Publications: 80



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

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service