Service-oriented middleware for the Future Internet: state of the art and research directions, Journal of Internet Services and Applications, vol.2, issue.1, pp.23-45, 2011. ,
DOI : 10.1007/s13174-011-0021-3
URL : https://hal.archives-ouvertes.fr/inria-00588753
Architectural mismatch or why it's hard to build systems out of existing parts, Proceedings of the 17th international conference on Software engineering , ICSE '95, p.ICSE, 1995. ,
DOI : 10.1145/225014.225031
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, p.11, 2011. ,
DOI : 10.1007/978-3-642-21455-4_7
URL : https://hal.archives-ouvertes.fr/inria-00586630
Enterprise Service Bus. O'reilly Media, 2004. ,
Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols, 2011 31st International Conference on Distributed Computing Systems, p.ICDCS, 2011. ,
DOI : 10.1109/ICDCS.2011.65
URL : https://hal.archives-ouvertes.fr/inria-00594307
Mediators in the architecture of future information systems, Computer, vol.25, issue.3, 1992. ,
DOI : 10.1109/2.121508
Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, 1997. ,
DOI : 10.1145/244795.244801
Semantic Web services, IEEE Intelligent Systems, vol.16, issue.2, pp.46-53, 2001. ,
DOI : 10.1109/5254.920599
A compositional formalization of connector wrappers, 25th International Conference on Software Engineering, 2003. Proceedings., p.ICSE, 2003. ,
DOI : 10.1109/ICSE.2003.1201216
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, IEEE Transactions on Software Engineering, vol.38, issue.4, pp.755-777, 2012. ,
DOI : 10.1109/TSE.2011.62
URL : https://hal.archives-ouvertes.fr/inria-00341598
Automatic synthesis of modular connectors via composition of protocol mediation patterns, 2013 35th International Conference on Software Engineering (ICSE), pp.3-12, 2013. ,
DOI : 10.1109/ICSE.2013.6606546
Hope for the best, prepare for the worst: multi-tier control for adaptive systems, Proc. of the 36th International Conference on Software Engineering, ICSE, pp.688-699, 2014. ,
Automated Synthesis of Mediators to Support Component Interoperability, IEEE Transactions on Software Engineering, vol.41, issue.3, pp.221-240, 2015. ,
DOI : 10.1109/TSE.2014.2364844
URL : https://hal.archives-ouvertes.fr/hal-01076176
Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity, p.Middleware, 2011. ,
DOI : 10.1007/978-3-642-25821-3_20
URL : https://hal.archives-ouvertes.fr/hal-00643601
METEOR-S Web Service Annotation Framework with Machine Learning Classification, pp.137-146, 2004. ,
DOI : 10.1007/978-3-540-30581-1_12
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
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
Machine Learning for Emergent Middleware, Proc. of the Joint Workshop on Intelligent Methods for Software System Engineering, 2012. ,
DOI : 10.1007/978-3-642-45260-4_2
URL : https://hal.archives-ouvertes.fr/hal-00722051
Composing Distributed Systems: Overcoming the Interoperability Challenge, Formal Methods for Components and Objects -11th International Symposium, FMCO 2012, pp.168-196, 2012. ,
DOI : 10.1007/978-3-642-40615-7_6
URL : https://hal.archives-ouvertes.fr/hal-00828801
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
An Automatic Approach to Enable Replacement of Conversational Services, p.ICSOC, 2009. ,
DOI : 10.1007/978-3-642-10383-4_11
Incremental Generation of Parsers, 1989. ,
Verifiable Composition of Deterministic Grammars, PLDI, 2009. ,
Verifiable Parse Table Composition for Deterministic Parsing, p.SLE, 2010. ,
DOI : 10.1007/978-3-642-12107-4_15
Combinator Parsers: From Toys to Tools, Electronic Notes in Theoretical Computer Science, vol.41, issue.1, 2000. ,
DOI : 10.1016/S1571-0661(05)80545-6
Zebu: A Language-Based Approach for Network Protocol Message Processing, IEEE Transactions on Software Engineering, vol.37, issue.4, 2011. ,
DOI : 10.1109/TSE.2010.64
URL : https://hal.archives-ouvertes.fr/hal-00814448
A Generic Application-Level Protocol Analyzer and its Language, p.NDSS, 2007. ,
Ambiguity detection methods for context-free grammars. Master's thesis, 2007. ,
Context-aware scanning for parsing extensible languages, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, 2007. ,
DOI : 10.1145/1289971.1289983
Extensible Grammars for Language Specialization, In: DBPL, 1994. ,
DOI : 10.1007/978-1-4471-3564-7_2
Parser combinators in scala, p.491, 2008. ,
Composing Message Translators and Inferring Their Data Types Using Tree Automata, Proc. of the 18th International Conference on Fundamental Approaches to Software Engineering, 2015. ,
DOI : 10.1007/978-3-662-46675-9_3
URL : https://hal.archives-ouvertes.fr/hal-01097389