V. Issarny, B. Steffen, B. Jonsson, G. S. Blair, P. Grace et al., CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009.
DOI : 10.1109/ICECCS.2009.44

URL : https://hal.archives-ouvertes.fr/inria-00392809

W. Heaven, D. Sykes, J. Magee, and J. Kramer, A Case Study in Goal-Driven Architectural Adaptation, SEAMS, 2009.
DOI : 10.1109/JRA.1986.1087032

L. Cavallaro, E. Di-nitto, C. Furia, and M. Pradella, A Tile-Based Approach for Self-Assembling Service Compositions, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010.
DOI : 10.1109/ICECCS.2010.6

H. J. Goldsby, P. Sawyer, N. Bencomo, D. Hughes, and B. H. Cheng, Goal-Based Modeling of Dynamically Adaptive System Requirements, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), 2008.
DOI : 10.1109/ECBS.2008.22

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997.
DOI : 10.1145/244795.244801

L. Cavallaro, E. D. Nitto, and M. Pradella, An Automatic Approach to Enable Replacement of Conversational Services, ICSOC, 2009.
DOI : 10.1007/978-3-642-10383-4_11

C. Canal, P. Poizat, and G. Salaün, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008.
DOI : 10.1109/TSE.2008.31

P. Bertoli, M. Pistore, and P. Traverso, Automated composition of Web services via planning in asynchronous domains, Artificial Intelligence, vol.174, issue.3-4, pp.3-4, 2010.
DOI : 10.1016/j.artint.2009.12.002

A. Van-lamsweerde, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009.
DOI : 10.1145/1453101.1453133

A. Bennaceur, V. Issarny, R. Johansson, A. Moschitti, R. Spalazzese et al., Automatic Service Categorisation through Machine Learning in Emergent Middleware, FMCO -Formal Methods for Components and Objects, 2011.
DOI : 10.1007/978-3-540-39718-2_17

URL : https://hal.archives-ouvertes.fr/hal-00718655

F. Howar, B. Steffen, and M. Merten, Automata Learning with Automated Alphabet Abstraction Refinement, Lecture Notes in Computer Science, vol.103, issue.2, pp.263-277, 2011.
DOI : 10.1007/978-3-642-05089-3_14

URL : https://hal.archives-ouvertes.fr/hal-00647711

D. Bromberg, P. Grace, and L. Réveilì-ere, Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols, 2011 31st International Conference on Distributed Computing Systems, 2011.
DOI : 10.1109/ICDCS.2011.65

URL : https://hal.archives-ouvertes.fr/inria-00594307

M. M. Bersani, A. Frigeri, A. Morzenti, M. Pradella, M. Rossi et al., Bounded Reachability for Temporal Logic over Constraint Systems, 2010 17th International Symposium on Temporal Representation and Reasoning, 2010.
DOI : 10.1109/TIME.2010.21

A. Bennaceur, G. S. Blair, F. Chauvel, G. Huang, N. Georgantas et al., Towards an Architecture for Runtime Interoperability, ISoLA, issue.2, p.2010
DOI : 10.1007/978-3-642-16561-0_23

URL : https://hal.archives-ouvertes.fr/inria-00512446

E. Cimpian and A. Mocan, WSMX Process Mediation Based on Choreographies, Business Process Management Workshops, 2005.
DOI : 10.1007/11678564_12

M. Bersani, L. Cavallaro, A. Frigeri, M. Pradella, and M. Rossi, SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010.
DOI : 10.1109/SEFM.2010.37

D. Sykes, W. Heaven, J. Magee, and J. Kramer, Exploiting non-functional preferences in architectural adaptation for self-managed systems, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, 2010.
DOI : 10.1145/1774088.1774180

G. Cugola, C. Ghezzi, and L. S. Pinto, DSOL: a declarative approach to self-adaptive service orchestrations, Computing, vol.174, issue.3???4, pp.579-617, 2012.
DOI : 10.1007/s00607-012-0194-z

N. Bencomo, J. Whittle, P. Sawyer, A. Finkelstein, and E. Letier, Requirements reflection, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, p.2010
DOI : 10.1145/1810295.1810329

L. Baresi and L. Pasquale, Fuzzy goals for requirements-driven adaptatio, RE, 2010.

D. Alrajeh, J. Kramer, A. Russo, and S. Uchitel, Learning operational requirements from goal models, 2009 IEEE 31st International Conference on Software Engineering, 2009.
DOI : 10.1109/ICSE.2009.5070527

J. Whittle, P. Sawyer, N. Bencomo, B. H. Cheng, and J. Bruel, RELAX: a language to address uncertainty in self-adaptive systems requirement, Requirements Engineering, vol.91, issue.1, pp.177-196, 2010.
DOI : 10.1007/s00766-010-0101-0