Currently browsing: Items authored or edited by Amel Bennaceur

32 items in this list.
Generated on Sun May 9 08:03:43 2021 BST.

Jump to:

2020 | 2019 | 2018 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009

2020To Top

Tun, Thein Than; Bennaceur, Amel and Nuseibeh, Bashar (2020). OASIS: Weakening User Obligations for Security-critical Systems. In: IEEE International Conference on Requirements Engineering, IEEE pp. 113–124.

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.

2019To Top

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.

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.

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.

2018To Top

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.

2016To Top

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.

2015To Top

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, article no. 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.

2014To Top

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, pp. 283–299.

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.

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.

2013To Top

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.

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.

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.

2012To Top

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.

2011To Top

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.

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.

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.

2010To Top

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.

2009To Top

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.


Subscribe to these results

get details to embed this page in another page Embed as feed [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0