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
A Case Study in Goal-Driven Architectural Adaptation, SEAMS, 2009. ,
DOI : 10.1109/JRA.1986.1087032
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
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
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
An Automatic Approach to Enable Replacement of Conversational Services, ICSOC, 2009. ,
DOI : 10.1007/978-3-642-10383-4_11
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
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
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
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
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
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
Bounded Reachability for Temporal Logic over Constraint Systems, 2010 17th International Symposium on Temporal Representation and Reasoning, 2010. ,
DOI : 10.1109/TIME.2010.21
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
WSMX Process Mediation Based on Choreographies, Business Process Management Workshops, 2005. ,
DOI : 10.1007/11678564_12
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
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
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
Requirements reflection, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, p.2010 ,
DOI : 10.1145/1810295.1810329
Fuzzy goals for requirements-driven adaptatio, RE, 2010. ,
Learning operational requirements from goal models, 2009 IEEE 31st International Conference on Software Engineering, 2009. ,
DOI : 10.1109/ICSE.2009.5070527
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