Amel Bennaceur
TitleCited byYear
Middleware-layer connector synthesis: Beyond state of the art in middleware interoperability
V Issarny, A Bennaceur, YD Bromberg
International School on Formal Methods for the Design of Computer …, 2011
The role of ontologies in emergent middleware: Supporting interoperability in complex distributed systems
GS Blair, A Bennaceur, N Georgantas, P Grace, V Issarny, V Nundloll, ...
ACM/IFIP/USENIX International Conference on Distributed Systems Platforms …, 2011
The role of models@ run. time in supporting on-the-fly interoperability
N Bencomo, A Bennaceur, P Grace, G Blair, V Issarny
Computing 95 (3), 167-190, 2013
Mechanisms for leveraging models at runtime in self-adaptive software
A Bennaceur, R France, G Tamburrelli, T Vogel, PJ Mosterman, ...
Models@ run. time, 19-46, 2014
Automated synthesis of mediators to support component interoperability
A Bennaceur, V Issarny
IEEE Transactions on Software Engineering 41 (3), 221-240, 2014
Towards an architecture for runtime interoperability
A Bennaceur, G Blair, F Chauvel, H Gang, N Georgantas, P Grace, ...
International Symposium On Leveraging Applications of Formal Methods …, 2010
Composing distributed systems: Overcoming the interoperability challenge
V Issarny, A Bennaceur
International Symposium on Formal Methods for Components and Objects, 168-196, 2012
Automated mediator synthesis: Combining behavioural and ontological reasoning
A Bennaceur, C Chilton, M Isberner, B Jonsson
International Conference on Software Engineering and Formal Methods, 274-288, 2013
Feed me, feed me: an exemplar for engineering adaptive software
A Bennaceur, C McCormick, J García-Galán, C Perera, A Smith, A Zisman, ...
2016 IEEE/ACM 11th International Symposium on Software Engineering for …, 2016
The iBICOOP middleware: Enablers and services for emerging pervasive computing environments
A Bennaceur, P Singh, PG Raverdy, V Issarny
2009 IEEE International Conference on Pervasive Computing and Communications …, 2009
A unifying perspective on protocol mediation: interoperability in the future internet
A Bennaceur, E Andriescu, RS Cardoso, V Issarny
Journal of Internet Services and Applications 6 (1), 12, 2015
Machine learning for emergent middleware
A Bennaceur, V Issarny, D Sykes, F Howar, M Isberner, B Steffen, ...
International Workshop on Eternal Systems, 16-29, 2012
The connect architecture
P Grace, N Georgantas, A Bennaceur, GS Blair, F Chauvel, V Issarny, ...
International School on Formal Methods for the Design of Computer …, 2011
Inferring affordances using learning techniques
A Bennaceur, R Johansson, A Moschitti, R Spalazzese, D Sykes, R Saadi, ...
International Workshop on Eternal Systems, 79-87, 2011
Requirements-driven mediation for collaborative security
A Bennaceur, AK Bandara, M Jackson, W Liu, L Montrieux, TT Tun, Y Yu, ...
Proceedings of the 9th International Symposium on Software Engineering for …, 2014
Intermediate CONNECT architecture
A Bennaceur, GS Blair, F Chauvel, N Georgantas, P Grace, V Issarny, ...
Dynamic synthesis of mediators in ubiquitous environments
A Bennaceur
Université Pierre et Marie Curie-Paris VI, 2013
Feature-driven mediator synthesis: Supporting collaborative security in the internet of things
A Bennaceur, TT Tun, AK Bandara, Y Yu, B Nuseibeh
ACM Transactions on Cyber-Physical Systems 2 (3), 21, 2018
Achieving interoperability through semantics-based technologies: The instant messaging case
A Bennaceur, V Issarny, R Spalazzese, S Tyagi
International Semantic Web Conference, 17-33, 2012
Machine learning for dynamic software analysis: Potentials and limits (dagstuhl seminar 16172)
A Bennaceur, D Giannakopoulou, R Hähnle, K Meinke
Dagstuhl Reports 6 (4), 2016
The system can't perform the operation now. Try again later.
Articles 1–20