M. Martinucci

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems

Antonello Calabrò, Felicita Di Giandomenico, Antonia Bertolino, 2011, 2011 Tenth International Symposium on Autonomous Decentralized Systems.

Design of Approaches for Dependability and Initial Prototypes

Valérie Issarny, Silvano Chiaradonna, Felicita Di Giandomenico, 2011 .

Towards Automated Dependability Analysis of Dynamically Connected Systems

Felicita Di Giandomenico, Paolo Masci, Marco Martinucci, 2011, 2011 Tenth International Symposium on Autonomous Decentralized Systems.

Compositional Algebra of CONNECTors

Paola Inverardi, Felicita Di Giandomenico, Bengt Jonsson, 2011 .