Publications HAL de Amel, Bennaceur

Journal articles

2015

titre
A Unifying Perspective on Protocol Mediation: Interoperability in the Future Internet
auteur
Amel Bennaceur, Emil Andriescu, Roberto Speicys Cardoso, Valérie Issarny
article
Journal of Internet Services and Applications, Springer, 2015, pp.14. 〈http://www.jisajournal.com/content/6/1/12〉. 〈10.1186/s13174-015-0027-3〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01152426/file/jisa14.pdf BibTex
titre
Automated Synthesis of Mediators to Support Component Interoperability
auteur
Amel Bennaceur, Valérie Issarny
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2015, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01076176/file/tse14_Final.pdf BibTex

2012

titre
The Role of Models@run.time in Supporting On-the-fly Interoperability
auteur
Nelly Bencomo, Amel Bennaceur, Paul Grace, Gordon Blair, Valérie Issarny
article
Computing, Springer Verlag, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00733338/file/modelsSI2012.pdf BibTex

Conference papers

2016

titre
Feed me, Feed me: An Exemplar for Engineering Adaptive Software
auteur
Amel Bennaceur, Ciaran Mccormick, Jesús García Galán, Charith Perera, Andrew Smith, Andrea Zisman, Bashar Nuseibeh
article
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, May 2016, Austin, United States. 〈10.1145/2897053.2897071〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01285290/file/feedmefeedme.pdf BibTex

2014

titre
Layered Connectors: Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems
auteur
Amel Bennaceur, Valérie Issarny
article
ECSA'14 - The 8th European Conference on Software Architecture, Aug 2014, Vienna, Austria. Springer, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01015897/file/paper77_ecsa14_cameraReady.pdf BibTex
titre
Requirements-Driven Mediation for Collaborative Security
auteur
Amel Bennaceur, Arosha Bandara, Michael Jackson, Wei Liu, Lionel Montrieux, Thein Than Tun, Yijun Yu, Bashar Nuseibeh
article
SEAMS 2014 - 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Jun 2014, Hyderabad, India. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00955562/file/seams14_88_cameraReady2.pdf BibTex

2013

titre
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
auteur
Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson
article
SEFM - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00838788/file/quotient_cameraReady.pdf BibTex

2012

titre
Application de l’Analyse en Composantes Indépendantes (ICA) aux spectres de fluorescence frontale 3D pour détecter des marqueurs de la qualité nutritionnelle d’un aliment lors de sa cuisson
auteur
Nathalie Locquet, Amel Bennaceur, J. Howlett, Barbara Rega, Valérie Camel, Douglas Rutledge
article
Chimiométrie 2012, Dec 2012, Villeneuve d'Ascq, France. 〈https://chimiometrie.sciencesconf.org/〉
Accès au bibtex
BibTex
titre
Achieving Interoperability through Semantics-based Technologies: The Instant Messaging Case
auteur
Amel Bennaceur, Valérie Issarny, Romina Spalazzese, Shashank Tyagi
article
ISWC 2012 - 11th International Semantic Web Conference, Nov 2012, Boston, United States. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00721280/file/iswc12_submitted.pdf BibTex
titre
Machine Learning for Emergent Middleware
auteur
Amel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Johansson Richard, Moschitti Alessandro
article
Alessandro Moschitti and Barbara Plank. Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Aug 2012, Montpellier, France. Springer, 379, pp.16-29, 2012, Revised Selected Papers Communications in Computer and Information Science. 〈10.1007/978-3-642-45260-4_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00722051/file/jimse_final.pdf BibTex

2011

titre
The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems
auteur
Gordon Blair, Amel Bennaceur, Nikolaos Georgantas, Paul Grace, Valérie Issarny, Vatsala Nundloll, Massimo Paolucci
article
Fabio Kon; Anne-Marie Kermarrec. 12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. Springer, Lecture Notes in Computer Science, LNCS-7049, pp.410-430, 2011, Middleware 2011. 〈10.1007/978-3-642-25821-3_21〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00629059/file/CameraReadyMW11.pdf BibTex
titre
Automatic Service Categorisation through Machine Learning in Emergent Middleware
auteur
Amel Bennaceur, Valérie Issarny, Johansson Richard, Moschitti Alessandro, Spalazzese Romina, Daniel Sykes
article
Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue. FMCO 2011 - 10th International Symposium on Formal Methods for Components and Objects, Oct 2011, Turin, Italy. Springer, 7542, pp.133-149, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-35887-6_7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00718655/file/FMCO.PDF BibTex
titre
Inferring Affordances Using Learning Techniques
auteur
Amel Bennaceur, Johansson Richard, Moschitti Alessandro, Spalazzese Romina, Daniel Sykes, Rachid Saadi, Valérie Issarny
article
International Workshop on Eternal Systems (EternalS'11), May 2011, Budapest, Hungary. 2011, 〈10.1007/978-3-642-28033-7_7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00591264/file/fet2011.pdf BibTex

2010

titre
Towards an architecture for runtime interoperability
auteur
Amel Bennaceur, Gordon Blair, Franck Chauvel, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, B. Steffen, Bertrand Souville, Huang Gang
article
ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2010, Crete, Greece. pp.206-220, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512446/file/fulltext-2.pdf BibTex

2009

titre
The iBICOOP middleware: Enablers and Services for Emerging Pervasive Computing Environments
auteur
Amel Bennaceur, Singh Pushpendra, Pierre-Guillaume Raverdy, Valérie Issarny
article
PerWare 2009 IEEE Middleware Support for Pervasive Computing Workshop, Mar 2009, Galveston, TX, United States. pp.1-6, 2009, 〈10.1109/PERCOM.2009.4912851〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00422412/file/perware09.pdf BibTex

2008

titre
A Novel Architecture for Mobile Distributed Trie Hashing System
auteur
Amel Bennaceur, Djamel Eddine Zegour, Walid Hidouci
article
Software Engineering and Data Engineering, Jun 2008, Los Angeles, California, United States. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00424894/file/SEDE08.pdf BibTex

Book sections

2016

titre
The Many Facets of Mediation A Requirements-driven Approach for Trading-off Mediation Solutions
auteur
Amel Bennaceur, Bashar Nuseibeh
article
Managing trade-offs in adaptable software architectures, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01285288/file/masaChapter_BennaceurNuseibeh.pdf BibTex

2014

titre
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software
auteur
Amel Bennaceur, Robert France, Giordano Tamburrelli, Thomas Vogel, Pieter J. Mosterman, Walter Cazzola, Fábio M. Costa, Alfonso Pierantonio, Matthias Tichy, Mehmet Akşit, Pär Emmanuelson, Huang Gang, Nikolaos Georgantas, David Redlich
article
Nelly Bencomo; Robert France; Betty H. Cheng; Uwe Assmann. Models@run.time, 8378, Springer, pp.19-46, 2014, Lecture Notes in Computer Science, 978-3-319-08914-0. 〈10.1007/978-3-319-08915-7_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01018734/file/roadmap-section-mechanisms.pdf BibTex

2013

titre
Composing Distributed Systems: Overcoming the Interoperability Challenge
auteur
Valérie Issarny, Amel Bennaceur
article
de Boer, F. and Bonsangue, M. and Giachino, E. and Hähnle, R. FMCO 2012, Springer, pp.168-196, 2013, Lecture Notes in Computer Science, 〈10.1007/978-3-642-40615-7_6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00828801/file/chapter_Issarny-Bennaceur.pdf BibTex

2011

titre
Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability
auteur
Valérie Issarny, Amel Bennaceur, Yérom-David Bromberg
article
Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.217-255, 2011, Lecture notes in computer science, 978-3-642-21454-7. 〈10.1007/978-3-642-21455-4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00586630/file/middleware-layer_connector_synthesis.pdf BibTex
titre
The CONNECT Architecture
auteur
Paul Grace, Nikolaos Georgantas, Amel Bennaceur, Gordon Blair, Franck Chauvel, Valérie Issarny, Massimo Paolucci, Rachid Saadi, Bertrand Souville, Daniel Sykes
article
Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.27-52, 2011, Lecture notes in computer science, 978-3-642-21454-7. 〈10.1007/978-3-642-21455-4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00586638/file/ChapterConnectArchitecture.pdf BibTex

Master thesis

2006

titre
Intégration d'un client mobile à CTH
auteur
Amel Bennaceur
article
Informatique ubiquitaire. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850116/file/mA_moire.pdf BibTex

Other publications

2012

titre
Automated Synthesis of CONNECTors to support Software Evolution
auteur
Amel Bennaceur, Paola Inverardi, Valérie Issarny, Romina Spalazzese
article
http://ercim-news.ercim.eu/en88/. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00662058/file/synthesis_ERCIM.pdf BibTex

Reports

2016

titre
Feature-driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things
auteur
Amel Bennaceur, Thein Than Tun, Arosha K. Bandara, Yijun Yu, Bashar Nuseibeh
article
[Research Report] The Open University. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01366261/file/tcps16_submitted.pdf BibTex

2013

titre
Deliverable D6.4: Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments
auteur
Emil - Mircea Andriescu, Amel Bennaceur, Antonia Bertolino, Antonello Calabrò, Paul Grace, Malte Isberner, Antoine Léger, Maik Merten, Youssouf Mhoma, Pierre Châtel, Charles Morisset, Animesh Pathak, Pierre-Guillaume Raverdy, Rachid Saadi, Roberto Speicys Cardoso, Daniel Sykes
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00793920/file/CONNECT_Deliverable_D6_4.pdf BibTex

2012

titre
Project Final Report Final Publishable Summary Report
auteur
Emmanuelle Grousset, Valérie Issarny, Amel Bennaceur, Antonia Bertolino, Daniela Mulas, Illaria Matteucci, Paul Grace, Gordon Blair, Youssouf Mhoma, Paola Inverardi, Romina Spalazzese, Massimo Tivoli, Maik Merten, Bernhard Steffen, Hongyang Qu, Marta Kwiatkowska, Bengt Jonson, Sofia Cassel, Yun Ma, Pierre Guillaume Raverdy, Roberto Speicys-Cardoso, Emil Andriescu
article
[Research Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00805639/file/Connect_WP0_FinalReport_Summary.pdf BibTex
titre
Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment
auteur
Emil Andriescu, Amel Bennaceur, Paola Inverardi, Valerie Issarny, Romina Spalazzese, Roberto Speicys-Cardoso
article
[Research Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00805618/file/CONNECT_Deliverable_D3_4.pdf BibTex
titre
Final CONNECT Architecture
auteur
Emil-Mircea Andriescu, Amel Bennaceur, Gordon S. Blair, Antonello Calabro, Paul Grace, Gang Huang, Valerie Issarny, Massimiliano Itria, Yun Ma, Charles Morisset, Vatsala Nundloll, Pierre-Guillaume Raverdy, Rachid Saadi, Roberto Speicys Cardoso, Daniel Sykes
article
[Research Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796387/file/CONNECT_Deliverable_D1_4.pdf BibTex
titre
Dynamic connector synthesis: revised prototype implementation
auteur
Amel Bennaceur, Luca Cavallaro, Paola Inverardi, Valerie Issarny, Romina Spalazzese, Daniel Sykes, Massimo Tivoli
article
[Research Report] 2012, pp.81
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00695592/file/CONNECT_deliverable_D3_3.pdf BibTex
titre
Revised CONNECT Architecture
auteur
Emil Andriescu, Amel Bennaceur, Gordon S. Blair, Antonello Calabro, Roberto Speicys Cardoso, Luca Cavallaro, Nikolaos Georgantas, Paul Grace, Valerie Issarny, Yun Ma, Maik Merten, Nicola Nostro, Vatsala Nundloll, Pierre Guillaume Raverdy, Rachid Saadi, Daniel Sykes
article
[Research Report] 2012, pp.121
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00695581/file/CONNECT_deliverable_D1_3.pdf BibTex
titre
Experiment scenarios, prototypes and report - Iteration 2
auteur
Emil Andriescu, Amel Bennaceur, Antonia Bertolino, Paul Grace, Trân Huynh, Marta Kwiatkowska, Bengt Jonsson, Antoine Léger, Animesh Pathak, Pierre-Guillaume Raverdy, Rachid Saadi, Roberto Speicys-Cardoso, Daniel Sykes, Massimo Tivoli
article
[Research Report] 2012, pp.117
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00695639/file/CONNECT_deliverable_D6_3.pdf BibTex

2011

titre
Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer
auteur
Amel Bennaceur, Franck Chauvel, Paola Inverardi, Valerie Issarny, Ilaria Matteucci, Fabio Martinelli, Romina Spalazzese, Massimo Tivoli
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00584917/file/connect_WP3_D32.pdf BibTex
titre
Intermediate CONNECT Architecture
auteur
Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Nikolaos Georgantas, Paul Grace, Valérie Issarny, Vatsala Nundloll, Massimo Paolucci, Rachid Saadi, Daniel Sykes
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00584911/file/Connect_WP1_D12.pdf BibTex

2010

titre
Modeling of application- and middleware-layer interaction protocols
auteur
Amel Bennaceur, Antonia Bertolino, Paul Grace, Paola Inverardi, Valérie Issarny, Massimo Tivoli
article
[Technical Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00464661/file/connect_WP3_D31.pdf BibTex
titre
Experiment Scenarios
auteur
Massimo Paolucci, Bertrand Souville, Gordon Blair, Paul Grace, Trân Huynh, Guillaume Tuloup, Hugues Vincent, Antoine Léger, Animesh Pathak, Nikolaos Georgantas, Valérie Issarny, Amel Bennaceur, Rachid Saadi, Romina Spallazzese, Massimo Tivoli, Patrizio Pelliccione
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00465227/file/connect_WP6_D61.pdf BibTex
titre
Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems
auteur
Amel Bennaceur, Gordon Blair, Nikolaos Georgantas, Paul Grace, Paola Inverardi, Valérie Issarny, Animesh Pathak, Rachid Saadi, Romina Spalazzese
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512440/file/middleware2010.pdf BibTex

Theses

2013

titre
Dynamic Synthesis of Mediators in Ubiquitous Environments
auteur
Amel Bennaceur
article
Ubiquitous Computing. Université Pierre et Marie Curie - Paris VI, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00849402/file/thesis.pdf BibTex