Follow
Amel Bennaceur
Amel Bennaceur
Academic in Computing - Adaptive and Intelligent Systems, The Open University
Verified email at open.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
902011
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
742011
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
672014
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
622013
Requirements engineering
A Bennaceur, TT Tun, Y Yu, B Nuseibeh
Handbook of software engineering, 51-92, 2019
58*2019
Automated synthesis of mediators to support component interoperability
A Bennaceur, V Issarny
IEEE Transactions on Software Engineering 41 (3), 221-240, 2014
572014
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
512022
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
442019
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
432016
Machine learning for software engineering: Models, methods, and applications
K Meinke, A Bennaceur
Proceedings of the 40th International Conference on Software Engineering …, 2018
332018
Composing distributed systems: Overcoming the interoperability challenge
V Issarny, A Bennaceur
Formal Methods for Components and Objects: 11th International Symposium …, 2013
292013
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
282010
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
262009
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
222013
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
222013
On specifying for trustworthiness
DB Abeywickrama, A Bennaceur, G Chance, Y Demiris, A Kordoni, ...
Communications of the ACM 67 (1), 98-109, 2023
182023
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
172020
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
172014
Machine learning for software analysis: models, methods, and applications
A Bennaceur, K Meinke
Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018
162018
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
152018
The system can't perform the operation now. Try again later.
Articles 1–20