Amel Bennaceur
Amel Bennaceur
Academic in Computing - Adaptive and Intelligent Systems, The Open University
Verified email at - Homepage
Cited by
Cited by
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
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
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
Automated synthesis of mediators to support component interoperability
A Bennaceur, V Issarny
IEEE Transactions on Software Engineering 41 (3), 221-240, 2014
Feed me, feed me: an exemplar for engineering adaptive software
A Bennaceur, C McCormick, JG Galán, C Perera, A Smith, A Zisman, ...
Proceedings of the 11th international symposium on software engineering for …, 2016
Machine Learning for Dynamic Software Analysis
A Bennaceur, R Hähnle, K Meinke
Lecture Notes in Computer Science 11026, 2018
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
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
Modelling and analysing resilient cyber-physical systems
A Bennaceur, C Ghezzi, K Tei, T Kehrer, D Weyns, R Calinescu, ...
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
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
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
Machine learning for software engineering: models, methods, and applications
K Meinke, A Bennaceur
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
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
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), 1-25, 2018
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
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), 1-15, 2015
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
How are you feeling? Using tangibles to log the emotions of older adults
D Gooch, V Mehta, B Price, C McCormick, A Bandara, A Bennaceur, ...
Proceedings of the Fourteenth International Conference on Tangible, Embedded …, 2020
The system can't perform the operation now. Try again later.
Articles 1–20