Publications
2020
- Tun, Thein Than; Bennaceur, Amel and Nuseibeh, Bashar (2020). OASIS: Weakening User Obligations for Security-critical Systems. In: 28th IEEE International Requirements Engineering Conference, 31 Aug - 4 Sep 2020.
- Gooch, Daniel; Mehta, Vikram; Price, Blaine; Mccormick, Ciaran; Bandara, Arosha; Bennaceur, Amel; Bennasar, Mohamed; Stuart, Avelie; Clare, Linda; Levine, Mark; Cohen, Jessica and Nuseibeh, Bashar (2020). How are you feeling? Using Tangibles to Log the Emotions of Older Adults.> In: Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction (TEI ’20), ACM pp. 31–43.
2019
- Bennaceur, Amel; Tun, Thein Than; Yu, Yijun and Nuseibeh, Bashar (2019). Requirements Engineering.> In: Cha, Sungdeok (Steve); Taylor, Richard N. and Kang, Kyo C. eds. Handbook of Software Engineering. Springer, pp. 51–92.
- Bennaceur, Amel; Ghezzi, Carlo; Tei, Kenji; Kehrer, Timo; Weyns, Danny; Calinescu, Radu; Dustdar, Schahram; Honiden, Shinichi; Ishikawa, Fuyuki; Jin, Zhi; Kramer, Jeffrey; Litoiu, Marin; Loreti, Michele; Moreno, Gabriel; Muller, Hausi; Nenzi, Laura; Nuseibeh, Bashar; Pasquale, Liliana; Reisig, Wolfgang; Schmidt, Heinz; Tsigkanos, Christos and Zhao, Haiyan Zhao (2019). Modelling and Analysing Resilient Cyber-Physical Systems.> In: 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems 2019, 25-26 May 2019, Montréal, Canada.
- Bennaceur, Amel; Zisman, Andrea; Mccormick, Ciaran; Barthaud, Danny and Nuseibeh, Bashar (2019). Won’t Take No for an Answer: Resource-driven Requirements Adaptation.> In: 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems 2019, 25-26 May 2019, Montréal, Canada.
- Bennasar, Mohamed; Mccormick, Ciaran; Price, Blaine; Gooch, Daniel; Stuart, Avelie; Mehta, Vikram; Clare, Linda; Bennaceur, Amel; Cohen, Jessica; Bandara, Arosha; Levine, Mark and Nuseibeh, Bashar (2019). A Sensor Platform for Non-invasive Remote Monitoring of Older Adults in Real Time.> In: Innovation in Medicine and Healthcare Systems, and Multimedia, Springer Singapore, Singapore pp. 125–135.
- Brown, Megan; Patel, Manish; Lewis, Stephen and Bennaceur, Amel (2019). Measuring the variation and distribution of ozone in the martian atmosphere.> In: 8th Conference of Astrobiology Society of Britain, 25-26 Apr 2019, Newcastle University.
2018
- Bennaceur, Amel; Tun, Thein Than; Bandara, Arosha K.; Yu, Yijun and Nuseibeh, Bashar (2018). Feature-driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things.> ACM Transactions on Cyber-Physical Systems, 2(3), article no. 21.
- Bennaceur, A.; Cano, A.; Georgieva, L.; Kiran, M.; Salama, M. and Yadav, P. (2018). Issues in Gender Diversity and Equality in the UK.> In: GE '18: Proceedings of the 1st International Workshop on Gender Equality in Software Engineering, ACM Press pp. 5–9.
- Tun, Thein and Bennaceur, Amel (2018). Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are Not.> In: SEAMS ’18: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, ACM, New York, pp. 194–195.
- Meinke, Karl and Bennaceur, Amel (2018). Machine Learning for Software Engineering: Models, Methods, and Applications.> In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings pp. 548–549.
2016
- Bennaceur, A. and Nuseibeh, B. (2016). The Many Facets of Mediation: A Requirements-driven Approach for Trading-off Mediation Solutions.> In: Mistrík, Ivan; Ali, Nour; Kazman, Rick; Grundy, John and Schmerl, Bradley eds. Managing Trade-offs in Adaptable Software Architectures. Elsevier, pp. 299–322.
- Bennaceur, Amel; Mccormick, Ciaran; García Galán, Jesús; Perera, Charith; Smith, Andrew; Zisman, Andrea and Nuseibeh, Bashar (2016). Feed me, Feed me: An Exemplar for Engineering Adaptive Software.> In: 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 16-17 May 2016.
2015
- Bennaceur, Amel; Andriescu, Emil; Speicys Cardoso, Roberto and Issarny, Valérie (2015). A unifying perspective on protocol mediation: interoperability in the Future Internet.> Journal of Internet Services and Applications, 6(12)
- Bennaceur, Amel and Issarny, Valérie (2015). Automated synthesis of mediators to support component interoperability.> IEEE Transactions on Software Engineering, 41(3) pp. 221–240.
2014
- Bennaceur, Amel and Issarny, Valérie (2014). Layered connectors: revisiting the formal basis of architectural connection for complex distributed systems.> In: ECSA'14 - The 8th European Conference on Software Architecture.
- Bennaceur, Amel; Bandara, Arosha; Jackson, Michael; Liu, Wei; Montrieux, Lionel; Tun, Thein; Yu, Yijun and Nuseibeh, Bashar (2014). Requirements-driven mediation for collaborative security.> In: SEAMS'14 - The 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2-3 Jun 2014, Hyderabad.
- Bennaceur, Amel; France, Robert B.; Tamburrelli, Giordano; Vogel, Thomas; Mosterman, Pieter J.; Cazzola, Walter; Costa, Fábio M.; Pierantonio, Alfonso; Tichy, Matthias; Akşit, Mehmet; Emmanuelson, Pär; Gang, Huang; Georgantas, Nikolaos and Redlich, David (2014). Mechanisms for leveraging models at runtime in self-adaptive software.> In: Bencomo, Nelly; France, Robert B.; Cheng, Betty H. and Assmann, Uwe eds. Models@run.time: Foundations, Applications, and Roadmaps. Lecture Notes in Computer Science (8378). Cham: Springer, pp. 19–46.
2013
- Bencomo, N.; Bennaceur, A.; Grace, P.; Blair, G. and Issarny, V. (2013). The role of models@run.time in supporting on-the-fly interoperability.> Computing, 95(3) pp. 167–190.
- Bennaceur, Amel; Chilton, Chris; Isberner, Malte and Jonsson, Bengt (2013). Automated mediator synthesis: combining behavioural and ontological reasoning.> In: Software Engineering and Formal Methods, Springer-Verlag, pp. 274–288.
- Bennaceur, Amel; Issarny, Valérie; Johansson, Richard; Moschitti, Alessandro; Spalazzese, Romina and Sykes, Daniel (2013). Automatic service categorisation through machine learning in emergent middleware.> In: Formal Methods for Components and Objects, Springer, pp. 133–149.
- Bennaceur, Amel; Issarny, Valérie; Sykes, Daniel; Howar, Falk; Isberner, Malte; Steffen, Bernhard; Johansson, Richard and Moschitti, Alessandro (2013). Machine learning for emergent middleware.> In: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, Springer, pp. 16–29.
- Issarny, Valérie and Bennaceur, Amel (2013). Composing distributed systems: overcoming the interoperability challenge.> In: Elena, Giachino; Reiner, Hähnle; Frank, de Boer and Marcello, Bosangue eds. Formal Methods for Components and Objects. Lecture Notes in Computer Science (7866). Berlin: Springer, pp. 168–196.
2012
- Bennaceur, Amel; Issarny, Valérie; Spalazzese, Romina and Tyagi, Shashank (2012). Achieving interoperability through semantics-based technologies: the instant messaging case.> In: ISWC 2012 - 11th International Semantic Web Conference, 11-15 Nov 2012, Boston, Springer-Verlag, pp. 17–33.
- Bennaceur, Amel; Johansson, Richard; Moschitti, Alessandro; Spalazzese, Romina; Sykes, Daniel; Saadi, Rachid and Issarny, Valérie (2012). Inferring affordances using learning techniques.> In: Eternal Systems, Springer, pp. 79–87.
2011
- Blair, Gordon S.; Bennaceur, Amel; Georgantas, Nikolaos; Grace, Paul; Issarny, Valérie; Nundloll, Vatsala and Paolucci, Massimo (2011). The role of ontologies in emergent middleware: supporting interoperability in complex distributed systems.> In: Middleware 2011, Springer-Verlag, pp. 410–430.
- Grace, Paul; Georgantas, Nikolaos; Bennaceur, Amel; Blair, Gordon S.; Chauvel, Franck; Issarny, Valérie; Paolucci, Massimo; Saadi, Rachid; Souville, Betrand and Sykes, Daniel (2011). The CONNECT architecture.> In: Bernardo, Marco and Issarny, Valérie eds. Formal Methods for Eternal Networked Software Systems. Lecture Notes in Computer Science (6659). Berlin: Springer, pp. 27–52.
- Issarny, Valérie; Bennaceur, Amel and Bromberg, Yérom-David (2011). Middleware-layer connector synthesis: beyond state of the art in middleware interoperability.> In: Bernardo, Marco and Issarny, Valérie eds. Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Lecture Notes in Computer Science (6659). Berlin Heidelberg: Springer, pp. 217–255.
2010
- Bennaceur, Amel; Blair, Gordon; Chauvel, Franck; Gang, Huang; Georgantas, Nikolaos; Grace, Paul; Howar, Falk; Inverardi, Paola; Issarny, Valrie; Paolucci, Massimo; Pathak, Animesh; Spalazzese, Romina; Steffen, Bernhard and Souville, Bertrand (2010). Towards an architecture for runtime interoperability.> In: Leveraging Applications of Formal Methods, Verification, and Validation, Springer, pp. 206–220.
2009
- Bennaceur, Amel; Singh, Pushpendra; Raverdy, Pierre-Guillaume and Issarny, Valerie (2009). The iBICOOP middleware: enablers and services for emerging pervasive computing environments.> In: 2009 IEEE International Conference on Pervasive Computing and Communications, IEEE.