| 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 | 90 | 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 | 74 | 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 | 67 | 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 | 62 | 2013 |
| Requirements engineering A Bennaceur, TT Tun, Y Yu, B Nuseibeh Handbook of software engineering, 51-92, 2019 | 57* | 2019 |
| Automated synthesis of mediators to support component interoperability A Bennaceur, V Issarny IEEE Transactions on Software Engineering 41 (3), 221-240, 2014 | 57 | 2014 |
| 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 | 48 | 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 | 42 | 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 | 40 | 2019 |
| Machine learning for software engineering: Models, methods, and applications K Meinke, A Bennaceur Proceedings of the 40th International Conference on Software Engineering …, 2018 | 32 | 2018 |
| Composing distributed systems: Overcoming the interoperability challenge V Issarny, A Bennaceur Formal Methods for Components and Objects: 11th International Symposium …, 2013 | 29 | 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 | 28 | 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 | 26 | 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 | 22 | 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 | 21 | 2013 |
| On specifying for trustworthiness DB Abeywickrama, A Bennaceur, G Chance, Y Demiris, A Kordoni, ... Communications of the ACM 67 (1), 98-109, 2023 | 17 | 2023 |
| 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 | 17 | 2020 |
| 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 | 17 | 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 | 15 | 2018 |
| Machine learning for software analysis: models, methods, and applications A Bennaceur, K Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018 | 15 | 2018 |
Bashar NuseibehThe Open UniversityBestätigte E-Mail-Adresse bei open.ac.uk
