Distributed Systems: Principles and Paradigms, 2007. ,
A reflective framework for discovery and interaction in heterogeneous mobile environments, ACM SIGMOBILE Mobile Computing and Communications Review, vol.9, issue.1, 2005. ,
DOI : 10.1145/1055959.1055962
An adaptive middleware to overcome service discovery heterogeneity in mobile ad hoc environments, IEEE Distributed Systems Online, vol.8, issue.7, 2007. ,
INDISS: Interoperable Discovery System for Networked Services, IFIP/ACM/Usenix International Middleware Conference, 2005. ,
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571
Efficient Context-aware Service Discovery in Multi-Protocol Pervasive Environments, 7th International Conference on Mobile Data Management (MDM'06), 2006. ,
DOI : 10.1109/MDM.2006.78
URL : https://hal.archives-ouvertes.fr/inria-00415112
OSDA: Open service discovery architecture for efficient cross-domain service provisioning, Computer Communications, vol.30, issue.3, 2007. ,
DOI : 10.1016/j.comcom.2005.11.017
URL : https://hal.archives-ouvertes.fr/hal-01165443
OWL Web Ontology Language, Overview " ; W3C Recommendation, 2004. ,
Efficient Semantic Service Discovery in Pervasive Computing Environments, 7th International Middleware Conference, 2006. ,
DOI : 10.1007/11751113_10
URL : https://hal.archives-ouvertes.fr/inria-00415115
Common Object Request Broker Architecture 3.0 " , OMG Document number Formal, pp.2-12, 2002. ,
COM/CORBA Interworking Specification Part A & B " , OMG Document number ORBOS, pp.97-106, 1997. ,
A Bridging Framework for Universal Interoperability in Pervasive Systems, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06), 2006. ,
DOI : 10.1109/ICDCS.2006.5
It's just a mapping problem, IEEE Internet Computing, vol.7, issue.3, 2003. ,
DOI : 10.1109/MIC.2003.1200306
A systematic approach to composing heterogeneous components, Chinese Journal of Electronics, vol.12, issue.4, 2003. ,
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events, LNCS, vol.2804, 2003. ,
DOI : 10.1007/978-3-540-39800-4_1
Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992. ,
DOI : 10.1145/141874.141884
Formalizing architectural connection, ICSE'94, 1994. ,
DOI : 10.1109/icse.1994.296767
Modeling Component Connectors in Reo by Constraint Automata, Electronic Notes in Theoretical Computer Science, vol.97, issue.2, p.61, 2006. ,
DOI : 10.1016/j.entcs.2004.04.028
Abstract behavior types: a foundation model for components and their composition, Sci. Comput. Program, vol.55, pp.1-3, 2005. ,
A basic algebra of stateless connectors, Theoretical Computer Science, vol.366, issue.1-2, 2006. ,
DOI : 10.1016/j.tcs.2006.07.005
The algebra of connectors, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007. ,
DOI : 10.1145/1289927.1289935
URL : https://hal.archives-ouvertes.fr/hal-00282866
Uncovering architectural mismatch in component behavior, Science of Computer Programming, vol.33, issue.2, 1999. ,
DOI : 10.1016/S0167-6423(98)00006-9
Reactive modules, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1999. ,
DOI : 10.1109/LICS.1996.561320
On process-algebraic verification of asynchronous circuits, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006. ,
DOI : 10.1109/ACSD.2006.16
Compositional verification of middleware-based software architecture descriptions, Proceedings. 26th International Conference on Software Engineering, 2004. ,
DOI : 10.1109/ICSE.2004.1317444
Symbolic model checking for probabilistic timed automata, Inf. Comput, vol.205, issue.7, 2007. ,
DOI : 10.1016/j.ic.2007.01.004
URL : http://doi.org/10.1016/j.ic.2007.01.004
Architecture-based selfadaptation in the presence of multiple objectives, p.6, 2006. ,
Symbolic model checking for channelbased component connectors, Electr. Notes Theor. Comput. Sci, vol.175, issue.2, 2007. ,
Model Checking of Component Connectors, 31st Annual International Computer Software and Applications Conference, Vol. 1- (COMPSAC 2007), 2007. ,
DOI : 10.1109/COMPSAC.2007.153
On resource-sensitive timed component connectors, FMOODS, 2007. ,
DOI : 10.1007/978-3-540-72952-5_19
Symbolic model checking for probabilistic processes, 1997. ,
DOI : 10.1007/3-540-63165-8_199
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.9444
Probabilistic symbolic model checking with PRISM: a hybrid approach, 2004. ,
DOI : 10.1007/3-540-46002-0_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.5908
Quantitative verification: models techniques and tools, ESEC/SIGSOFT FSE, 2007. ,
DOI : 10.1145/1287624.1287688
Automatic verification of real-time systems with discrete probability distributions, Theor. Comput. Sci, vol.282, issue.1, 2002. ,
Multi-objective model checking of Markov decision processes, 2007. ,
Quantitative characterization of event streams in analysis of hard real-time applications, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004., 2004. ,
DOI : 10.1109/RTTAS.2004.1317292
Learning Assumptions for Compositional Verification, 2003. ,
DOI : 10.1007/3-540-36577-X_24
Domain-Specific Optimization in Automata Learning, 2003. ,
DOI : 10.1007/978-3-540-45069-6_31
Mining specifications, 29th ACM Symp. on Principles of Programming Languages, 2002. ,
Learning regular sets from queries and counterexamples. Information and Computation 75, 1987. ,
Effcient test-based model generation of legacy systems, 2004. ,
Kodkod: A Relational Model Finder, 2007. ,
DOI : 10.1007/978-3-540-71209-1_49
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.8573
The LearnLib in FMICS-jETI, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007. ,
DOI : 10.1109/ICECCS.2007.43
Optimized L*-Based Assume-Guarantee Reasoning, 2007. ,
DOI : 10.1007/978-3-540-71209-1_22
The Daikon system for dynamic detection of likely invariants, Science of Computer Programming, vol.69, issue.1-3, pp.1-3, 2007. ,
DOI : 10.1016/j.scico.2007.01.015
Perracotta, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006. ,
DOI : 10.1145/1134285.1134325
Regular Inference for State Machines Using Domains with Equality Tests, LNCS, vol.4961, 2008. ,
DOI : 10.1007/978-3-540-78743-3_24
Inference of eventrecording automata using timed decision trees, 2006. ,
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, 1989. ,
DOI : 10.1109/5.21072
Time for playing games, 2007. ,
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466
Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, 1997. ,
DOI : 10.1145/244795.244801
Deadlock-free software architectures for COM/DCOM Applications, Journal of Systems and Software, vol.65, issue.3, 2003. ,
DOI : 10.1016/S0164-1212(02)00037-7
Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, 2008. ,
Adaptor Synthesis for Real-Time Components, TACAS 2007 ,
DOI : 10.1007/978-3-540-71209-1_16
Synthesis of Local Controller Programs for Enforcing Global Security Properties, 2008 Third International Conference on Availability, Reliability and Security, 2008. ,
DOI : 10.1109/ARES.2008.196
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), 2007. ,
DOI : 10.1109/ICSE.2007.84
Edit automata: enforcement mechanisms for run-time security policies, International Journal of Information Security, vol.3, issue.1-2, 2005. ,
DOI : 10.1007/s10207-004-0046-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.6074
Static checking of system behaviors using derived component assumptions, ACM Transactions on Software Engineering and Methodology, vol.9, issue.3, 2000. ,
DOI : 10.1145/352591.352593
Towards automatic mediation of OWL-S process models, IEEE International Conference on Web Services (ICWS 2007), 2007. ,
DOI : 10.1109/ICWS.2007.177
Automatic Generation of the SWS- Challenge Mediator with jABC/ABC, Semantic Web Services Challenge -Results from the First Year, pp.978-978, 2009. ,
DOI : 10.1007/978-0-387-72496-6_7
Service-oriented Mediation with jABC/jETI, in /Semantic Web Services Challenge - Results from the First Year, pp.978-978, 2009. ,
Completing and Adapting Models of Biological Processes, IFIP Conference on Biologically Inspired Cooperative Computing, IFIP Series N. 216, 2006. ,
DOI : 10.1007/978-0-387-34733-2_5
LearnLib, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, pp.377-380 ,
DOI : 10.1145/1081180.1081189
URL : https://hal.archives-ouvertes.fr/inria-00459959
Domain-Specific Optimization in Automata Learning, CAV, vol.2003, pp.315-327 ,
DOI : 10.1007/978-3-540-45069-6_31
Behavior-based model construction, International Journal on Software Tools for Technology Transfer, vol.4, issue.1, pp.4-14, 2004. ,
DOI : 10.1007/s10009-004-0139-8
LearnLib, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05 ,
DOI : 10.1145/1081180.1081189
URL : https://hal.archives-ouvertes.fr/inria-00459959