708-*20)7/$%&5-'708-*20 ,
Learning regular sets from queries and counterexamples, Information and Computation, vol.75, issue.2, pp.87-106, 1987. ,
DOI : 10.1016/0890-5401(87)90052-6
URL : http://doi.org/10.1016/0890-5401(87)90052-6
Models@run .time (dagstuhl seminar 11481), Dagstuhl Reports, vol.1, issue.11, pp.91-123, 2011. ,
Toward open-world software: Issues and challenges, Computer, vol.39, issue.10, pp.36-43, 2006. ,
DOI : 10.1109/MC.2006.362
The disappearing boundary between developmenttime and run-time, Proceedings of the FSE/SDP workshop on Future of software engineering research, pp.17-22, 2010. ,
Summary of the 5th International Workshop on Models@run.time, MoDELS Workshops, pp.204-208, 2010. ,
DOI : 10.1007/978-3-642-21210-9_20
Automatic Service Categorisation through Machine Learning in Emergent Middleware, Software Technologies Concertation on Formal Methods for Components and Objects (FMCO'11), 2011. ,
DOI : 10.1007/978-3-540-39718-2_17
URL : https://hal.archives-ouvertes.fr/hal-00718655
Models@ run.time, Computer, vol.42, issue.10, pp.4222-4249, 2009. ,
DOI : 10.1109/MC.2009.326
URL : https://hal.archives-ouvertes.fr/hal-00733338
Valérie Issarny, Vatsala Nundloll, and Massimo Paolucci. The role of ontologies in emergent middleware: Supporting interoperability in complex distributed systems, Middleware'11, pp.410-430, 2011. ,
Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols, 2011 31st International Conference on Distributed Computing Systems, pp.446-455, 2011. ,
DOI : 10.1109/ICDCS.2011.65
URL : https://hal.archives-ouvertes.fr/inria-00594307
Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity, Middleware, pp.390-409, 2011. ,
DOI : 10.1007/978-3-642-25821-3_20
URL : https://hal.archives-ouvertes.fr/hal-00643601
INDISS: Interoperable Discovery System for Networked Services, Middleware, pp.164-183, 2005. ,
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571
Formal Methods @ Runtime, Monterey Workshop, pp.122-135, 2010. ,
DOI : 10.1007/978-3-642-21292-5_7
Hassine Moungla, and Valérie Issarny. ubisoap: A service oriented middleware for seamless networking, ICSOC, pp.195-209, 2008. ,
An Automatic Approach to Enable Replacement of Conversational Services, Proc. ICSOC/ServiceWave, pp.159-174, 2009. ,
DOI : 10.1007/978-3-642-10383-4_11
In-field healing of integration problems with cots components, ICSE, pp.166-176, 2009. ,
WSMX Process Mediation Based on Choreographies, Proceedings of Business Process Management Workshop, pp.130-143, 2005. ,
DOI : 10.1007/11678564_12
Towards architecturebased self-healing systems, Proceedings of the first workshop on Self-healing systems, WOSS '02, pp.21-26, 2002. ,
Ensuring interoperable serviceoriented systems through engineered self-healing, ESEC/SIGSOFT FSE, pp.253-262, 2009. ,
DOI : 10.1145/1595696.1595734
On the aggregation problem for synthesized web services, Proc. of the 13th International Conference on Database Theory, ICDT, pp.242-251, 2010. ,
Using architecture models for runtime adaptability, IEEE Software, vol.23, issue.2, pp.62-70, 2006. ,
DOI : 10.1109/MS.2006.61
Sedim: A middleware framework for interoperable service discovery in heterogeneous networks, TAAS, vol.6, issue.1, p.6, 2011. ,
Software engineering in an uncertain world, Proceedings of the FSE/SDP workshop on Future of software engineering research, FoSER '10, pp.125-128, 2010. ,
DOI : 10.1145/1882362.1882389
Using Architectural Models to Manage and Visualize Runtime Adaptation, Computer, vol.42, issue.10, pp.52-60, 2009. ,
DOI : 10.1109/MC.2009.335
WSMX - a semantic service-oriented architecture, IEEE International Conference on Web Services (ICWS'05), pp.321-328, 2005. ,
DOI : 10.1109/ICWS.2005.139
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.3594
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
DOI : 10.1145/359576.359585
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, SFM-11, pp.217-255, 2011. ,
DOI : 10.1007/978-3-642-21455-4_7
URL : https://hal.archives-ouvertes.fr/inria-00586630
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.154-161, 2009. ,
DOI : 10.1109/ICECCS.2009.44
URL : https://hal.archives-ouvertes.fr/inria-00392809
Integrating heterogenous overlapping databases through object-oriented transformations, VLDB, pp.435-446, 1999. ,
Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976. ,
DOI : 10.1145/360248.360251
Using dynamic execution traces and program invariants to enhance behavioral model inference, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.179-182, 2010. ,
DOI : 10.1145/1810295.1810324
Protocol conversion, IEEE Trans. Software Eng, vol.14, issue.3, pp.353-362, 1988. ,
A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994. ,
DOI : 10.1145/197320.197383
Automatic generation of software behavioral models, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.501-510, 2008. ,
DOI : 10.1145/1368088.1368157
Next Generation LearnLib, TACAS, pp.220-223, 2011. ,
DOI : 10.1007/978-3-540-70889-6_7
URL : https://hal.archives-ouvertes.fr/hal-00647749
Communication and concurrency. PHI Series in computer science, 1989. ,
Interoperable semantic and syntactic service discovery for ambient computing environments, IJACI, vol.2, issue.4, pp.13-32, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01381593
Franck Fleurey, and Arnor Solberg. Models at runtime to support dynamic adaptation, IEEE Computer, pp.46-53, 2009. ,
Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, pp.122-132, 2009. ,
DOI : 10.1109/ICSE.2009.5070514
A framework for ontology evolution in collaborative environments, International Semantic Web Conference, pp.544-558, 2006. ,
An architecture-based approach to self-adaptive software, IEEE Intelligent Systems and Their Applications, pp.54-62, 1999. ,
DOI : 10.1109/5254.769885
On the role of connectors in modeling and implementing software architectures, 1998. ,
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems, 2010 18th IEEE International Requirements Engineering Conference, pp.95-103, 2010. ,
DOI : 10.1109/RE.2010.21
Model driven engineering, IEEE Computer, pp.25-31, 2006. ,
Inferring Meta-models for Runtime System Data from the Clients of Management APIs, Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, MODELS'10, pp.168-182, 2010. ,
DOI : 10.1109/TSE.2009.30
URL : https://hal.archives-ouvertes.fr/inria-00513246
A compositional formalization of connector wrappers, 25th International Conference on Software Engineering, 2003. Proceedings., pp.374-384, 2003. ,
DOI : 10.1109/ICSE.2003.1201216
Introduction to Active Automata Learning from a Practical Perspective, In SFM, pp.256-296, 2011. ,
DOI : 10.1007/978-3-642-21455-4_8
URL : https://hal.archives-ouvertes.fr/hal-00647729
Using Web Services and Data Mediation/Storage Services to Enable Command and Control to Simulation Interoperability, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications, pp.27-34, 2005. ,
DOI : 10.1109/DISTRA.2005.43
The process mediation framework for semantic web services, International Journal of Agent-Oriented Software Engineering, vol.3, issue.1, pp.27-58, 2009. ,
DOI : 10.1504/IJAOSE.2009.022945
Towards requirements aware systems: Run-time resolution of design-time assumptions, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.560-563, 2011. ,
DOI : 10.1109/ASE.2011.6100125
URL : https://hal.archives-ouvertes.fr/inria-00623780
Discotect: A system for discovering architectures from running systems, Proc. 26th International Conference on Software Engineering, pp.470-479, 2004. ,
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