A. Bennaceur, G. Blair, N. Georgantas, P. Grace, P. Inverardi et al., Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00512440

A. Bennaceur, G. S. Blair, F. Chauvel, N. Georgantas, P. Grace et al., Towards an Architecture for Runtime Interoperability, Proceedings of ISoLA 2010 -4th International Symposium On Leveraging Applications of Formal Methods, 2010.
DOI : 10.1007/978-3-642-16561-0_23
URL : https://hal.archives-ouvertes.fr/inria-00512446

A. Bertolino, F. D. Giandomenico, A. D. Marco, V. Issarny, F. Martinelli et al., Dependability in dynamic, evolving and heterogeneous systems, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENCE '10, 2010.
DOI : 10.1145/2401736.2401746
URL : https://hal.archives-ouvertes.fr/inria-00465229

A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli, Automatic synthesis of behavior protocols for composable web-services, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.141-150, 2009.
DOI : 10.1145/1595696.1595719
URL : https://hal.archives-ouvertes.fr/inria-00415421

D. Bianculli and C. Ghezzi, Monitoring conversational web services, 2nd international workshop on Service oriented software engineering in conjunction with the 6th ESEC/FSE joint meeting, IW-SOSWE '07, pp.15-21, 2007.
DOI : 10.1145/1294928.1294933

P. Browne, JBoss Drools Business Rules, 2009.

G. Costa and I. Matteucci, Enforcing private policy via security-by-contract. Special issue Identity and Privacy Management, UPGRADE Journal, vol.XI, issue.1, pp.43-53, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00458882

F. , D. Giandomenico, M. Kwiatkowska, M. Martinucci, P. Masci et al., Dependability analysis and verification for connected systems, Proceedings of A. Bertolino, P. Inverardi, V. Issarny, A. Sabetta, R. Spalazzese ISoLA 2010 -4th International Symposium On Leveraging Applications of Formal Methods, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00534202

J. J. Gibson, The ecological approach to visual perception, Houghton Mifflin, 1979.

F. Howar, B. Jonsson, M. Merten, B. Steffen, and S. Cassel, On Handling Data in Automata Learning, Proceedings of ISoLA 2010 -4th International Symposium On Leveraging Applications of Formal Methods, 2010.
DOI : 10.1007/978-3-642-16561-0_24
URL : https://hal.archives-ouvertes.fr/hal-00647734

P. Inverardi, V. Issarny, and R. Spalazzese, A Theory of Mediators for Eternal Connectors, Proceedings of ISoLA 2010 -4th International Symposium On Leveraging Applications of Formal Methods, 2010.
DOI : 10.1007/978-3-642-16561-0_25
URL : https://hal.archives-ouvertes.fr/inria-00512443

P. Inverardi and L. Mostarda, DESERT, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.529-530, 2007.
DOI : 10.1145/1321631.1321728

V. Issarny, B. Steffen, B. Jonsson, G. 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

R. M. Keller, Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976.
DOI : 10.1145/360248.360251

D. C. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, 2001.
DOI : 10.1007/978-3-540-88808-6_2

R. Spalazzese, P. Inverardi, and V. Issarny, Towards a formalization of mediating connectors for on the fly interoperability, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.345-348, 2009.
DOI : 10.1109/WICSA.2009.5290664
URL : https://hal.archives-ouvertes.fr/inria-00404308

R. Vaculín and K. Sycara, Towards automatic mediation of OWL-S process models, IEEE International Conference on Web Services (ICWS 2007), pp.1032-1039, 2007.
DOI : 10.1109/ICWS.2007.177

M. Weiser, The computer for the 21 st century, Scientific American, 1991.

S. K. Williams, S. A. Battle, and J. E. Cuadrado, Protocol Mediation for Adaptation in Semantic Web Services, ESWC, pp.635-649, 2006.
DOI : 10.1007/11762256_46