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 | 80 | 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 | 62 | 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 | 49 | 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 | 45 | 2014 |
Automated synthesis of mediators to support component interoperability A Bennaceur, V Issarny IEEE Transactions on Software Engineering 41 (3), 221-240, 2014 | 42 | 2014 |
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 | 29 | 2016 |
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 | 27 | 2010 |
Composing distributed systems: Overcoming the interoperability challenge V Issarny, A Bennaceur International Symposium on Formal Methods for Components and Objects, 168-196, 2012 | 25 | 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 | 25 | 2009 |
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 | 22 | 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 | 16 | 2012 |
Machine Learning for Dynamic Software Analysis A Bennaceur, R Hähnle, K Meinke Lecture Notes in Computer Science 11026, 2018 | 13* | 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 | 13 | 2014 |
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 | 12 | 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 | 11 | 2015 |
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 | 10 | 2011 |
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 | 9 | 2019 |
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 | 9 | 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 | 8 | 2012 |
Intermediate CONNECT architecture A Bennaceur, GS Blair, F Chauvel, N Georgantas, P Grace, V Issarny, ... | 8 | 2011 |