Dependability Analysis and Verification for Connected Systems. - Felicita Di Giandomenico; Marta Z. Kwiatkowska; Marco Martinucci; Paolo Masci 001; Hongyang Qu 001 (ISoLA (2), 2010)

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Marco Martinucci; Paolo Masci 001 (ISADS, 2011)

Towards Automated Dependability Analysis of Dynamically Connected Systems. - Paolo Masci 001; Marco Martinucci; Felicita Di Giandomenico (ISADS, 2011)