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: 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, ISSUE: PART 2
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
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: 8th European Dependable Computing Conference, EDCC-8 in Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
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: 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.
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
65
TITLE: Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID | DBLP
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: 1
IN MY: ORCID | DBLP
68
TITLE: Early Prototyping of Wireless Sensor Network Algorithms in PVS
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID | DBLP
69
TITLE: Services for fault-tolerant conflict resolution in air traffic management
AUTHORS: Paolo Masci ; Henrique Moniz ; Alessandra Tedeschi;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
70
TITLE: An application adaptation layer for wireless sensor networks  Full Text
AUTHORS: Marco Avvenuti; Paolo Corsini; Paolo Masci ; Alessio Vecchio;
PUBLISHED: 2007, SOURCE: Pervasive and Mobile Computing, VOLUME: 3, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 16
IN MY: ORCID | DBLP
Page 7 of 8. Total results: 80.

A place for researchers and their institutions

Useful Links

Get Help

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