Marco Martinucci

Dependability Analysis and Verification for Connected Systems

Felicita Di Giandomenico, Hongyang Qu, Marta Z. Kwiatkowska, 2010, ISoLA.

Rephrasing interoperability in terms of connector behaviours

Paola Inverardi, Bengt Jonsson, Marta Kwiatkowska, 2012 .

Design of Approaches for Dependability and Initial Prototypes

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

Compositional Algebra of CONNECTors

Paola Inverardi, Felicita Di Giandomenico, Bengt Jonsson, 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.

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.

NUTEMA: a tool for supervising nuclear technology and for the transfer of knowledge

Francesco Saverio D'Auria, Nikolaus Muellner, Renzo D’Amato, 2011 .