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
Formal Methods for Eternal Networked Software Systems: 11th International …, 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, ...
Middleware 2011: ACM/IFIP/USENIX 12th International Middleware Conference …, 2011
Mechanisms for leveraging models at runtime in self-adaptive software
A Bennaceur, R France, G Tamburrelli, T Vogel, PJ Mosterman, ...
Models@ run. time: Foundations, applications, and roadmaps, 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, 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
Requirements engineering
A Bennaceur, TT Tun, Y Yu, B Nuseibeh
Handbook of software engineering, 51-92, 2019
Loneliness in older people and COVID-19: applying the social identity approach to digital intervention design
A Stuart, D Katz, C Stevenson, D Gooch, L Harkin, M Bennasar, ...
Computers in Human Behavior Reports 6, 100179, 2022
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
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
Machine learning for software engineering: Models, methods, and applications
K Meinke, A Bennaceur
Proceedings of the 40th International Conference on Software Engineering …, 2018
Composing distributed systems: Overcoming the interoperability challenge
V Issarny, A Bennaceur
Formal Methods for Components and Objects: 11th International Symposium …, 2013
Towards an architecture for runtime interoperability
A Bennaceur, G Blair, F Chauvel, H Gang, N Georgantas, P Grace, ...
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
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
Automated mediator synthesis: Combining behavioural and ontological reasoning
A Bennaceur, C Chilton, M Isberner, B Jonsson
Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013
Machine learning for emergent middleware
A Bennaceur, V Issarny, D Sykes, F Howar, M Isberner, B Steffen, ...
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge …, 2013
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
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
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
Machine learning for software analysis: models, methods, and applications
A Bennaceur, K Meinke
Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018
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-15, 2015
The system can't perform the operation now. Try again later.
Articles 1–20