<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Paolo Masci</style></author><author><style face="normal" font="default" size="100%">Martinucci, Marco</style></author><author><style face="normal" font="default" size="100%">Giandomenico, Felicita Di</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards Automated Dependability Analysis of Dynamically Connected Systems</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 2011 Tenth International Symposium on Autonomous Decentralized Systems</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">ISADS '11</style></tertiary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">automated dependability analysis</style></keyword><keyword><style  face="normal" font="default" size="100%">autonomous systems interoperation</style></keyword><keyword><style  face="normal" font="default" size="100%">Stochastic modelling</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">IEEE Computer Society</style></publisher><pub-location><style face="normal" font="default" size="100%">Washington, DC, USA</style></pub-location><pages><style face="normal" font="default" size="100%">139–146</style></pages><isbn><style face="normal" font="default" size="100%">978-0-7695-4349-9</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Dynamic environments may include autonomous and decentralised components that pose many challenges from the point of view of interoperability, thus triggering research studies in several directions. One recent research direction explores the automatic composition of heterogeneous systems through connectors synthesised at run-time. Besides functional properties, such connectors generally need to satisfy also non-functional (dependability-related) properties. This paper investigates the definition of an automated procedure to support the synthesis of dependable connectors. &lt;/p&gt;
</style></abstract></record></records></xml>