MAREL: Models And Reuse Engineering, Languages

Les travaux de MaREL s'insèrent dans le cadre du Génie Logiciel et s'intéressent à l'automatisation des étapes du cycle de vie du logiciel, de la conception à la maintenance en passant par la compilation et l'optimisation du code. Ces études couvrent la totalité de la démarche, de l'étude théorique aux expérimentations en vraie grandeur, en passant par le développement d'algorithmes et de programmes.

Membres

Permanents

Non permanents

Thématiques de recherche

L'activité de l'équipe se concentre sur trois axes :

  • l'ingénierie des modèles (IDM), par la conception d'une approche formelle originale (Analyse Relationnelle de Concepts, ARC), son expérimentation sur des données réelles de grande taille, et comme base pour l'apprentissage de transformations de modèles ;
  • l'ingénierie de la réutilisation et de la variabilité, par l'extraction de composants ou de lignes de produits à partir de systèmes OO existants en se basant sur des métriques adaptées et des algorithmes d'optimisation combinatoire ;
  • la sémantique et l'implémentation des langages de programmation, à objets ou à composants, pour concevoir un langage "pur composant", comme Smalltalk est "pur objet", ou pour expérimenter des techniques d'implémentation des langages à objets.

Ces trois axes sont à la fois bien identifiés et étroitement associés. Les notions d'objets ou de modèles constituent un socle commun, et les composants sont étudiés à la fois du point de vue des langages de programmation, des modèles et de leur extraction à partir du code. L'ARC est un objet d'étude, aussi bien qu'une base formelle pour le développement d'outils.

Collaborations externes

  • Partenaires industriels :
    • Acelys  (2013 à ce jour) : Méthodologies de développement du logiciel (ingénierie des modèles et variabilité)
    • Berger-Levrault (2013 à ce jour) : Accessibilité aux pages Web pour personnes malvoyantes et Analyse de traces logicielles
    • Cortus (2009 à ce jour) : Compilation efficace pour processeurs embarqués low-end
    • Pradeo (2013 à ce jour) : Analyse statique pour la sécurité des applications mobiles
  • Partenaires académiques :
    • Université de Montréal, co-encadrement avec Houari Sahraoui de deux thèses liées aux thèmes de l’IDM et de la réutilisation.
    • Ecoles des Mines d'Alès et de Douai : co-encadrement de thèses dans le domaine des composants logiciels, de l’IDM, avec application à la domotique.
    • LORIA, Nancy et LATECE, UQAM, classification de services web et projet PICS (ARC et ontologies).
    • RMOD, INRIA Lille (et équipe MAORE), projet ANR Cutter (remodularisation de logiciels).

Publications majeures récentes

  • Chouki Tibermacine, Salah Sadou, Tu Minh Ton That, Christophe Dony.
    Software Architecture Constraint Reuse-by-Composition.
    Future Generation Computer Systems, Elsevier, 2016
  • Pattaraporn Warintarawej, Anne Laurent, Marianne Huchard, Mathieu Lafourcade, Pierre Pompidor
    Software understanding: Automatic classification of software identifiers
    Intelligent Data Analysis (IDA Journal) 19(4) 2015
  • Anas Shatnawi, Abdelhak Seriai, Houari A. Sahraoui, Zakarea Al-Shara.
    Mining Software Components from Object-Oriented APIs. In Proceedings of the 14th International Conference on Software Reuse (ICSR'15), Miami, FL, USA, January 4-6, 2015, pp. 330-347
  • Hamzeh Eyal-Salman, Abdelhak Seriai and Christophe Dony.    
    Feature-Level Change Impact Analysis Using Formal Concept Analysis. In International Journal of Software Engineering and Knowledge Engineering 2015.
  • Petr Spacek, Christophe Dony and Chouki Tibermacine.
    A Component-based meta-level architecture and prototypical implementation of a reflective Component-oriented Programming and Modeling language. In proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'14), Lille, France, June-July 2014. ACM Press.
  • Okba Tibermacine, Chouki Tibermacine and Foudil Cherif.
    A Process to Identify Relevant Substitutes for Healing Failed WS-* Orchestrations. In the Journal of Systems and Software, volume 104, Pages 1-16, June 2015. Elsevier.
  • Mohamed Rouane-Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev
     Relational Concept Analysis: Mining Concept Lattices From Multi-Relational Data. Annals of Mathematics and Artificial Intelligence, 67(1): 81-108 (2013)
  • Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui
    Recovering model transformation traces using multi-objective optimization.  In proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13), Silicon Valley, CA, USA, November 11-15, 2013, pp. 688-693
  • R. Ducournau
    Implementing statically typed object-oriented programming languages. ACM Comput. Surv. 43(3): 18 (2011).
  • R. Ducournau, F. Morandat
    Perfect class hashing and numbering for object-oriented implementation. Software Practice & Experience, 41(6) 661-694, John Wiley & Sons, 2011 doi: 10.1002/spe.1024.

Séminaires

2019

Vendredi 12 juillet 2019 à 14h00

TBA

Jacques Malenfant
LIP6, Sorbonne Université

Résumé

Vendredi 15 mars 2019 à 15h00

Apports potentiels des techniques d'apprentissage automatique au génie logiciel : une (tentative de) synthèse

Philippe Reitz
LIRMM/INFO/MaREL

Résumé

Vendredi 18 janvier 2019 à 14h00

An Encoder-Decoder Architecture for the Prediction of Web Service QoS

Smahi Mohammed Ismail
Université de Tlemcen

Résumé

Mercredi 16 janvier 2019 à 14h00

Approches dirigées par les modèles pour l'interopérabilité des systèmes d'information des organisations et intérêt de la simulation

Grégory Zacharewicz
IMT MA

Résumé

Vendredi 11 janvier 2019 à 14h00

Vers la production industrielle de systèmes avec capacité d'auto-adaptation au moment de l'exécution

Raúl Mazo
Centre de Recherche en Informatique (CRI), Université Panthéon - Sorbonne, Paris 1

Résumé

2018

Vendredi 7 décembre 2018 à 14h00

Vers l'analyse de l'évolution syntaxique des logiciels, et au delà

Jean-Rémy Falleri
Labri, Bordeaux

Résumé

Vendredi 16 novembre 2018 à 14h00

Le domaine des Environnements Informatiques pour l'Apprentissage Humain (EIAH)

Akrifed Fouzia

Résumé

Vendredi 5 octobre 2018 à 14h00

Intepretation abstraite dans le domaine de la sécurité

Yohan Frederick
Pradeo

Résumé

Vendredi 6 juillet 2018 à 15h00

Sélection des plantes pour la santé animale et végétale dans les pays du Sud au moyen de la navigation conceptuelle exploratoire

Amirouche Ouzerdine et Priscilla Keip

Résumé

Vendredi 6 juillet 2018 à 14h00

Migration d’application GWT vers Angular via les modèles

Benoît Verhaeghe
Berger-Levrault

Résumé

Vendredi 29 juin 2018 à 14h00

Implantation d'un animateur de SITPN (Synchronous Interpreted Time Petri Nets) certifié avec Coq

Mathieu Lasjaunias
LIRMM

Résumé

Vendredi 29 juin 2018 à 13h00

Acquisition automatique de contraintes cachées dans un méta-modèle

Pascal Zaragoza
LIRMM

Résumé

Vendredi 29 juin 2018 à 13h00

Déduction modulo théorie pour la géométrie

Clémence Mauger
LIRMM

Résumé

Vendredi 23 mars 2018 à 14h00

Développement sans rupture de systèmes complexes : une approche multi-exigences

Florian Galinier
IRIT - SM@RT Team

Résumé

Vendredi 9 mars 2018 à 14h00

Recovering Runtime Architecture Models and Managing their Complexity using Dynamic Information and Composite Structures

Soumia Zellagui
LIRMM, MaREL

Résumé

Vendredi 16 février 2018 à 15h00

Analyzing Inheritance Hierarchies Through Formal and Relational Concept Analysis

Marianne Huchard
LIRMM/MaREL

Résumé

Vendredi 26 janvier 2018 à 14h00

Client-Side Refactoring for Web Usability and Accessibility

Julián Grigera
LIFIA, University of La Plata, Argentina

Résumé

2017

Vendredi 8 décembre 2017 à 15h00

Conception et développement d’un environnement d’accessibilité des sites web pour les malvoyants

Meriem Zeboudj
USTO-MB Algérie

Résumé

Vendredi 8 décembre 2017 à 14h00

L'inférence de la Variabilité Logicielle

Tewfik Ziadi
LIP6, MoVe, Paris 6

Résumé

Lundi 4 décembre 2017 à 15h00

Conception d'un ORM adapté aux applications sur cloud

Frédéric Fondement
ENSISA, Mulhouse

Résumé

Vendredi 1 décembre 2017 à 14h00

Analyse Relationnelle de Concepts : Une approche pour fouiller des ensembles de données multi-relationnels

Marianne Huchard
LIRMM, MaREL

Résumé

Vendredi 10 novembre 2017 à 14h00

Software Evolution in the Large

Nicolas Anquetil
Équipe Inria RMoD, Université de Lille

Résumé

Vendredi 13 octobre 2017 à 14h00

Réutiliser des Modèles Spécifiques aux Plateformes dans l'Architecture Dirigée par les Modèles pour les Lignes de Produits Logicielles

Frédéric Verdier
LIRMM/MaREL

Résumé

Vendredi 6 octobre 2017 à 14h00

Extracting Variability Information from Software Descriptions

Jessie Carbonnel
LIRMM/MaREL

Résumé

Vendredi 22 septembre 2017 à 15h00

Proving Your Proof

Guillaume Bury
Inria/LSV/ENS Paris-Saclay, Cachan, France

Résumé

Vendredi 23 juin 2017 à 14h00

Preuve automatique en théorie des ensembles

Euvrard Pierre Louis
LIRMM/MAREL

Résumé

Vendredi 19 mai 2017 à 16h00

GIST, une nouvelle approche d'organisation de l'information

Eric Lacombe
consultant eGuilde

Résumé

Vendredi 3 mars 2017 à 14h00

Characterizing a software code base by analysing its commit log

Aurélien Regat-Barrel
Consultant - Klanik Montpellier

Résumé

Vendredi 24 février 2017 à 14h00

Recovering software architectures and analyzing architectural evolution (part 2/2)

Ghizlane El Boussaidi
Ecole de Technologie Supérieure de l'Université du Québec

Résumé

Vendredi 3 février 2017 à 15h00

Recovering software architectures and analyzing architectural evolution

Ghizlane El Boussaidi
Ecole de Technologie Supérieure de l'Université du Québec

Résumé

2016

Mercredi 9 novembre 2016 à 14h00

Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles

Blazo Nastov
EMA / LGI2P

Résumé

Vendredi 4 novembre 2016 à 14h00

Contributions au génie logiciel à base de composants – composition, réutilisation et évolution

Christelle Urtado
EMA / LGI2P

Résumé

Vendredi 30 septembre 2016 à 14h00

Modélisation exécutable et adaptation dynamique

Olivier Le Goaër
LIUPPA, Université de pau et des pays de l'Adour

Résumé

Vendredi 22 juillet 2016 à 14h00

Sémantique formelle et typage statique d'un langage orienté composant : COMPO

Julien Rixte
ENS Cachan

Résumé

Mardi 5 juillet 2016 à 15h00

An Introduction to Type Theory and Its Applications

Zhaohui LUO
Royal Holloway College, University of London

Résumé

Vendredi 1 juillet 2016 à 14h00

Orchestration automatisée de services

Frederi Scotto
BRICKS SAS

Résumé

Vendredi 24 juin 2016 à 14h00

Describing Dynamic and Variable Software Architecture Based on Identified Services From Object-Oriented Legacy Applications

Seza ADJOYAN
LIRMM, MaREL

Résumé

Mercredi 22 juin 2016 à 14h00

Composition de Services Web avec Prise en Charge de la QOS Incertaine

Fethallah Hadjila
Université de Tlemcen

Résumé

Vendredi 10 juin 2016 à 14h00

Modélisation discrète des applications affines en Coq

Nicolas Magaud
Icube, Strasbourg

Résumé

Vendredi 27 mai 2016 à 14h00

QoS-Aware Optimal and Automated Semantic Web Service Composition With User's Constraints

Amina Bekkouche
MaREL, LIRMM et UNIVERSITE DE TLEMCEN

Résumé

Jeudi 14 avril 2016 à 10h00

Interopérabilité sémantique des modèles

Gregory ZACHAREWICZ
IMS-LAPS, Groupe Productique (GRAI), Bordeaux

Résumé

Jeudi 7 avril 2016 à 10h00

Nunchaku: modular counter-model finding for all proof assistants

Simon Cruanes
LORIA, Nancy

Résumé

Vendredi 1 avril 2016 à 14h00

Assessing Web Service Quality of Experience by Text-Mining Users' Feedbacks

Jael Louis Zela Ruiz
LIRMM, MaREL

Résumé

Vendredi 25 mars 2016 à 14h00

Prouver un programme, ça veut dire quoi ?

David Delahaye

Résumé

Vendredi 11 mars 2016 à 14h00

Thèses Année 1 de MaREL

J. Carbonnel, A. Ferrand, A. Selmadji, F. Verdier, S. Zellagui
MaREL, LIRMM

Résumé

Vendredi 19 février 2016 à 14h00

Enseigner les systèmes cyber-physiques à l'UM ?

Philippe Reitz
LIRMM, MaREL

Résumé

Vendredi 12 février 2016 à 14h00

Tout ce que vous avez toujours voulu savoir sur les sémantiques formelles (sans jamais oser le demander)

David Delahaye
LIRMM, MaREL

Résumé

Vendredi 5 février 2016 à 14h00

Incremental development of UML models

Anne-Lise Courbis, Thomas Lambolais, Thanh-Liem Phan, Hong-Viet Luong
Ecole des Mines d'Alès, LGI2P, Equipe ISOE

Résumé

Vendredi 29 janvier 2016 à 14h00

Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation

Zakarea M Al-Shara
MaREL, LIRMM

Résumé

Vendredi 15 janvier 2016 à 14h00

edukera : une nouvelle façon de faire des maths

Benoit Rognier
dirigeant de la société edukera

Résumé

2015

Vendredi 18 décembre 2015 à 14h00

A virtual machine for testing compilation/recompilation protocols in multiple inheritance

Julien Pagès
MaREL, Dept Info, LIRMM

Résumé

Mercredi 9 décembre 2015 à 14h00

Systèmes cyber-physiques : quels modèles ? quel processus de développement ? quel génie logiciel ?

Jacques Malenfant
Université Pierre et Marie Curie, LIP6

Résumé

Vendredi 20 novembre 2015 à 16h00

Sélection de Services Composés à base d’espérance-maximisation

Fethallah Hadjila
Université de Tlemcen

Résumé

Vendredi 20 novembre 2015 à 15h00

Une approche basée sur les préférences et les méta-heuristiques pour améliorer l’accessibilité des pages Web pour les personnes déficientes visuelles

Yoann Bonavero
MaREL

Résumé

Vendredi 13 novembre 2015 à 14h00

A formal approach to automate the evolution management in component-based software development processes

Abderrahman MOKNI
LGI2P, Ecole des Mines d'Alès

Résumé

Mardi 10 novembre 2015 à 11h00

Types and arithmetic in Zenon

Guillaume Bury
CNAM, CEDRIC

Résumé

Mardi 10 novembre 2015 à 11h00

Preuves certifiées pour la méthode B

Pierre Halmagrand
CNAM, CEDRIC

Résumé

Lundi 9 novembre 2015 à 14h00

Types and arithmetic in Zenon

Guillaume Bury
CNAM, CEDRIC

Résumé

Lundi 9 novembre 2015 à 14h00

Preuves certifiées pour la méthode B

Pierre Halmagrand
CNAM, CEDRIC

Résumé

Vendredi 6 novembre 2015 à 16h00

Les similarités sémantiques au cœur d’approches génériques d’indexation et de classification

Nicolas Fiorini
Ecole des Mines d'Alès LGI2P équipe KID

Résumé

Vendredi 6 novembre 2015 à 14h00

Regression-Based Bootstrapping of Web Service Reputation Measurement

Chouki Tibermacine
LIRMM, MaREL

Résumé

Jeudi 8 octobre 2015 à 10h00

Génération de modèles

Adel Ferdjoukh
MaREL, Dept Info, LIRMM

Résumé

Jeudi 25 juin 2015 à 10h00

Support à la réutilisation par la rétro-ingénierie des architectures et des composants logiciels à partir du code source orienté objet des variantes de produits logiciels et d'APIs

Anas Shatnawi
LIRMM

Résumé

Jeudi 4 juin 2015 à 10h00

Modélisation pour la programmation des IHM, de la théorie à la pratique et inversement.

Mountaz Hascoet
LIRMM

Résumé

Jeudi 23 avril 2015 à 10h00

Structure de Treillis: Panorama des aspects structurels et algorithmiques. Quelques usages en fouille de données et représentation des connaissances.

Karell Bertet
Laboratoire L3i, Université de La Rochelle

Résumé

Mercredi 22 avril 2015 à 14h00

Quelques enjeux du Web des objets : Interopérabilité, vie privée et architectures logicielles

Michaël Mrissa
Liris, Université Lyon 1

Résumé

Jeudi 9 avril 2015 à 10h00

De la valeur et du coût d'avoir des utilisateurs: l’expérience RMOD

Stéphane Ducasse
Inria Lille

Résumé

Jeudi 26 mars 2015 à 11h00

Reliable Deployment, Reconfiguration, and Control of Cloud Applications

Gwen Salaün
INP Grenoble

Résumé

Jeudi 19 mars 2015 à 10h00

Formalisation de langages basés sur les composants

David Delahaye
CNAM

Résumé

Publications depuis 2014 - Evaluation 2019

Articles de revues internationales

2019

  1. Modelling equivalence classes of feature models with concept lattices to assist their extraction from product descriptions
    Jessie Carbonnel, Marianne Huchard, Clémentine Nebut
    Journal of Systems and Software, Elsevier, 2019, 152, pp.1-23. ⟨10.1016/j.jss.2019.02.027⟩. ⟨hal-02078015⟩.
  2. Building Hierarchical Component Directories
    Nour Aboud, Gabriela Arévalo, Olivier Bendavid, Jean-Rémy Falleri, Nicolas Haderer, Marianne Huchard, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier
    The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (1), pp.21--37. ⟨10.5381/jot.2019.18.1.a2⟩. ⟨hal-02073774⟩.

2018

  1. Generalization effect of quantifiers in a classification based on relational concept analysis
    Agnès Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber
    Knowledge-Based Systems, Elsevier, 2018, 160, pp.119-135. ⟨10.1016/j.knosys.2018.06.011⟩. ⟨hal-01857724⟩.
  2. Semantic Clustering of Functional Requirements Using Agglomerative Hierarchical Clustering
    Hamzeh Eyal Salman, Mustafa Hammad, Abdelhak-Djamel Seriai, Ahed Al-Sbou
    Journal of Information, Information Technology, and Organizations, Informing Science Institute, 2018, Special Issue: Information Technology: New Generations (ITNG), 9 (9), pp.222-239. ⟨10.3390/info9090222⟩. ⟨lirmm-01932795⟩.
  3. Estimating the Reputation of Newcomer Web Services Using a Regression-Based Method
    Okba Tibermacine, Chouki Tibermacine, Foudil Cherif
    Journal of Systems and Software, Elsevier, 2018, 145, pp.112-124. ⟨10.1016/j.jss.2018.08.026⟩. ⟨hal-01905901⟩.
  4. Measurement and Generation of Diversity and Meaningfulness in Model Driven Engineering
    Adel Ferdjoukh, Florian Galinier, Eric Bourreau, Annie Chateau, Clémentine Nebut
    International Journal On Advances in Software, IARIA, 2018, 11 (1/2), pp.131-146. ⟨lirmm-02067506⟩.
  5. Specification and Automatic Checking of Architecture Constraints on Object Oriented Programs
    Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Kacem, Christophe Dony
    Information and Software Technology, Elsevier, 2018, 101, pp.16-31. ⟨10.1016/j.infsof.2018.05.002⟩. ⟨hal-01905953⟩.

2017

  1. Recovering software product line architecture of a family of object-oriented product variants
    Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui
    Journal of Systems and Software, Elsevier, 2017, 131, pp.325-346. ⟨10.1016/j.jss.2016.07.039⟩. ⟨lirmm-01376004⟩.
  2. Reverse engineering reusable software components from object-oriented APIs
    Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui, Zakarea Al-Shara
    Journal of Systems and Software, Elsevier, 2017, 131, pp.442-460. ⟨10.1016/j.jss.2016.06.101⟩. ⟨lirmm-01932852⟩.
  3. Generating Reusable, Searchable and Executable "Architecture Constraints as Services
    Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Kacem
    Journal of Systems and Software, Elsevier, 2017, 127, pp.91-108. ⟨10.1016/j.jss.2017.01.032⟩. ⟨lirmm-01706634⟩.
  4. QoS-aware optimal and automated semantic web service composition with user's constraints
    Amina Bekkouche, Sidi Mohamed Benslimane, Marianne Huchard, Chouki Tibermacine, Fethallah Hadjila, Mohammed Merzoug
    Service Oriented Computing and Applications, Springer, 2017, 11 (2), pp.183-201. ⟨https://link.springer.com/article/10.1007%2Fs11761-017-0205-1⟩. ⟨10.1007/s11761-017-0205-1⟩. ⟨lirmm-01580885⟩.

2016

  1. A formal approach for managing component-based architecture evolution
    Abderrahman Mokni, Christelle Urtado, Sylvain Vauttier, Marianne Huchard, Zhang Huaxi Yulin
    Science of Computer Programming, Elsevier, 2016, 127, pp.24--49. ⟨http://dx.doi.org/10.1016/j.scico.2016.03.003⟩. ⟨10.1016/j.scico.2016.03.003⟩. ⟨hal-01380397⟩.
  2. Software Architecture Constraint Reuse-by-Composition
    Chouki Tibermacine, Salah Sadou, Tu Minh Ton That, Christophe Dony
    Future Generation Computer Systems, Elsevier, 2016, 61, pp.37-53. ⟨10.1016/j.future.2016.02.006⟩. ⟨lirmm-01276796⟩.
  3. Opening Web Applications for Third Party Development: a Service-Oriented Solution
    Mohamed Lamine Kerdoudi, Chouki Tibermacine, Salah Sadou
    Service Oriented Computing and Applications, Springer, 2016, 10 (4), pp.437-463. ⟨10.1007/s11761-016-0192-7⟩. ⟨lirmm-01276797⟩.
  4. Quality-driven feature identification and documentation from source code
    Hamzeh Eyal Salman, Abdelhak-Djamel Seriai, Mustafa Hammad
    Journal of Theoretical and Applied Information Technology, JATIT, 2016, 84 (2), pp.183-195. ⟨http://www.jatit.org/volumes/Vol84No2/4Vol84No2.pdf⟩. ⟨lirmm-01348053⟩.
  5. Performance-friendly rule extraction in large water data-sets with AOC posets and relational concept analysis
    Xavier Dolques, Florence Le Ber, Marianne Huchard, Corinne Grac
    International Journal of General Systems, Taylor & Francis, 2016, SI, 45 (2), pp.187-210. ⟨hal-01265521⟩.

2015

  1. A Tooled Approach for Designing Executable and Verifiable Modeling Languages
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    INSIGHT - International Council on Systems Engineering (INCOSE), Wiley, 2015, 18 (4), pp.31-33. ⟨http://onlinelibrary.wiley.com/⟩. ⟨10.1002/inst.12059⟩. ⟨lirmm-01377586⟩.
  2. Integrating Quality Requirements in Engineering Web Service Orchestrations
    Tarek Zernadji, Chouki Tibermacine, Foudil Cherif, Amina Zouioueche
    Journal of Systems and Software, Elsevier, 2015, In press. &#x27E8;10.1016/j.jss.2015.11.009&#x27E9;. &#x27E8;lirmm-01276800&#x27E9;. <10.1016/j.jss.2015.11.009>
  3. A Process to Identify Relevant Substitutes for Healing Failed WS-* Orchestrations
    Okba Tibermacine, Chouki Tibermacine, Foudil Cherif
    Journal of Systems and Software, Elsevier, 2015, 104, pp.1-16. &#x27E8;10.1016/j.jss.2015.02.028&#x27E9;. &#x27E8;lirmm-01235435&#x27E9;.
  4. Software understanding: Automatic classification of software identifiers
    Pattaraporn Warintarawej, Anne Laurent, Marianne Huchard, Mathieu Lafourcade, Pierre Pompidor
    Intelligent Data Analysis, IOS Press, 2015, 19 (4), pp.761-778. &#x27E8;10.3233/IDA-150744&#x27E9;. &#x27E8;lirmm-00834051&#x27E9;.
  5. Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture
    Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem
    Revue des Nouvelles Technologies de l'Information, Hermann, 2015, CAL 2015, RNTI-L-8, pp.61-78. &#x27E8;lirmm-02124391&#x27E9;.
  6. Feature-Level Change Impact Analysis Using Formal Concept Analysis
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing, 2015, 25 (1), pp.69-92. &#x27E8;10.1142/S0218194015400045&#x27E9;. &#x27E8;lirmm-01291263&#x27E9;.

2014

  1. A Practical Approach to the Measurement of Similarity between WSDL-based Web Services
    Okba Tibermacine, Chouki Tibermacine, Foudil Cherif
    Revue des Nouvelles Technologies de l'Information, Hermann, 2014, CAL'2014: 6ème Conférence francophone sur les Architectures Logicielles, RNTI-L-7, pp.03-18. &#x27E8;http://editions-rnti.fr/?inprocid=1002037&#x27E9;. &#x27E8;lirmm-01104197&#x27E9;.
  2. Improving Web Accessibility: Computing New Web Page Design with NSGA-II for People with Low Vision
    Yoann Bonavero, Marianne Huchard, Michel Meynard
    International Journal On Advances in Internet Technology, IARIA, 2014, issn 1942-2652, 7 (3-4), pp.243-261. &#x27E8;http://www.iariajournals.org/internet_technology/inttech_v7_n34_2014_paged.pdf&#x27E9;. &#x27E8;lirmm-01101952&#x27E9;.
  3. Automatic Documentation of [Mined] Feature Implementations from Source Code Elements and Use-Case Diagrams with the REVPLINE Approach
    Ra'Fat Ahmad Al-Msie'Deen, Marianne Huchard, Abdelhak-Djamel Seriai, Christelle Urtado, Sylvain Vauttier
    International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing, 2014, 24 (10), pp.1413-1438. &#x27E8;http://www.worldscientific.com/doi/abs/10.1142/S0218194014400142&#x27E9;. &#x27E8;10.1142/S0218194014400142&#x27E9;. &#x27E8;lirmm-01147898&#x27E9;.
  4. Hermes: a simple and efficient algorithm for building the AOC-poset of a binary relation
    Anne Berry, Alain Gutierrez, Marianne Huchard, Amedeo Napoli, Alain Sigayret
    Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2014, 72 (1), pp.45-71. &#x27E8;10.1007/s10472-014-9418-6&#x27E9;. &#x27E8;hal-01101144&#x27E9;.

Communications internationales

2019

  1. Reputation Evaluation with Malicious Feedback Prevention Using a HITS-Based Model
    Okba Tibermacine, Chouki Tibermacine, Mohamed Kerdoudi
    ICWS: International Conference on Web Services, Jul 2019, Milan, Italy. &#x27E8;lirmm-02112373&#x27E9;. <https://conferences.computer.org/icws/2019/>
  2. Graph-Based Variability Modelling: Towards a Classification of Existing Formalisms
    Jessie Carbonnel, David Delahaye, Marianne Huchard, Clémentine Nebut
    ICCS: International Conference on Conceptual Structures, Jul 2019, Marburg, Germany. &#x27E8;lirmm-02092134&#x27E9;. <https://iccs-conference.org/>
  3. On-demand Relational Concept Analysis
    Alexandre Bazin, Jessie Carbonnel, Marianne Huchard, Giacomo Kahn, Priscilla Keip, Amirouche Ouzerdine
    ICFCA 2019 - The 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. &#x27E8;lirmm-02092140&#x27E9;. <https://www.informatik.fb2.frankfurt-university.de/~icfca2019/>
  4. Effects of Input Data Formalisation in Relational Concept Analysis for a Data Model with a Ternary Relation
    Priscilla Keip, Alain Gutierrez, Marianne Huchard, Florence Le Ber, Samira Sarter, Pierre Silvie, Pierre Martin
    ICFCA: International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. &#x27E8;lirmm-02092148&#x27E9;. <https://www.informatik.fb2.frankfurt-university.de/~icfca2019/>
  5. Formal Concept Analysis, A framework for knowledge structuring and exploration. Applications to service directories and product lines.
    Marianne Huchard
    JCC: Joint Cloud Computing, Apr 2019, San Francisco, Newark, Fremont CA, United States. &#x27E8;lirmm-02091992&#x27E9;. <https://jointcloud.github.io/jcc2019/program/>

2018

  1. Connaître les plantes utiles pour l'Agriculture Biologique d'après la littérature : Construction et exploration d'une base de connaissances pour la santé végétale et animale
    Pierre Martin, Samira Sarter, Marianne Huchard, Appolinaire Tagne, Zakaria Ilboudo, Pascal Marnotte, Pierre Silvie
    4th African Organic Conference (Ecological and Organic Agriculture Strategies for Viable Continental and National Development in the Context of the African Union’s Agenda 2063), African Organic Network (AfrONet), Nov 2018, Saly Portudal, Sénégal. pp.137-142. &#x27E8;hal-01956380&#x27E9;.
  2. Spotlighting Use Case Specific Architectures
    Mohamed Lamine Kerdoudi, Mohamed Kerdoudi, Chouki Tibermacine, Salah Sadou
    ECSA: European Conference on Software Architecture, Sep 2018, Madrid, Spain. pp.236-244, &#x27E8;10.1007/978-3-030-00761-4_16&#x27E9;. &#x27E8;lirmm-02124337&#x27E9;.
  3. An Encoder-Decoder Architecture for the Prediction of Web Service QoS
    Mohammed Smahi, Fethellah Hadjila, Chouki Tibermacine, Mohammed Merzoug, Abdelkrim Benamar
    ESOCC: European Conference on Service-Oriented and Cloud Computing, Sep 2018, Côme, Italy. pp.74-89, &#x27E8;10.1007/978-3-319-99819-0_6&#x27E9;. &#x27E8;hal-01905967&#x27E9;.
  4. Re-architecting OO Software into Microservices
    Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, Christophe Dony, Rahina Oumarou Mahamane
    A Quality-Centred Approach. ESOCC: European Conference on Service-Oriented and Cloud Computing, Sep 2018, Como, Italy. pp.65-73, &#x27E8;10.1007/978-3-319-99819-0_5&#x27E9;. &#x27E8;lirmm-01875046&#x27E9;.
  5. SMT Solving Modulo Tableau and Rewriting Theories
    Guillaume Bury, Simon Cruanes, David Delahaye
    SMT 2018 - 16th International Workshop on Satisfiability Modulo Theories, Jul 2018, Oxford, United Kingdom. &#x27E8;hal-02083232&#x27E9;.
  6. MBSE and V&V: a tool-equipped method for combining various V&V strategies
    Blazo Nastov, Vincent Chapurlat, François Pfister, Christophe Dony
    IFAC Control World Congress (IFAC WC 2017), IFAC, Jul 2018, Toulouse, France. &#x27E8;hal-01930280&#x27E9;.
  7. Recovering Three-Level Architectures from the Code of Open-Source Java Spring Projects
    Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    SEKE: Software Engineering and Knowledge Engineering, Jul 2018, San Francisco, United States. pp.199-202, &#x27E8;10.18293/SEKE2018-140&#x27E9;. &#x27E8;hal-01872239&#x27E9;.
  8. An Automation-Friendly Set Theory for the B Method
    Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard
    ABZ 2018 - 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.409-414, &#x27E8;10.1007/978-3-319-91271-4_32&#x27E9;. &#x27E8;hal-02082755&#x27E9;.
  9. Identifying software components from object-oriented APIs based on dynamic analysis
    Anas Shatnawi, Hudhaifa Shatnawi, Mohamed Aymen Saied, Zakarea Al-Shara, Houari Sahraoui, Abdelhak-Djamel Seriai
    ICPC: International Conference on Program Comprehension, May 2018, Gothenburg, Germany. pp.189-199, &#x27E8;10.1145/3196321.3196349&#x27E9;. &#x27E8;lirmm-01932804&#x27E9;.
  10. On extracting relevant and complex variability information from software descriptions with pattern structures
    Jessie Carbonnel, Marianne Huchard, Clémentine Nebut
    ICSE: International Conference on Software Engineering, May 2018, Gothenburg, Sweden. pp.304-305, &#x27E8;10.1145/3183440.3194982&#x27E9;. &#x27E8;lirmm-01872807&#x27E9;.
  11. Hiphop.js: a language to orchestrate web applications
    Colin Vidal, Gérard Berry, Manuel Serrano
    SAC: Symposium on Applied Computing, Apr 2018, Pau, France. &#x27E8;10.1145/3167132.3167440&#x27E9;. &#x27E8;hal-01937252&#x27E9;. <10.1145/3167132.3167440>
  12. Recovering Runtime Architecture Models and Managing their Complexity using Dynamic Information and Composite Structures
    Soumia Zellagui, Chouki Tibermacine, Ghizlane Boussaidi, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, Christophe Dony
    SAC: Symposium on Applied Computing, Apr 2018, Pau, France. pp.1454-1456, &#x27E8;10.1145/3167132.3167420&#x27E9;. &#x27E8;lirmm-01706074&#x27E9;.
  13. Refactoring Object-Oriented Applications for a Deployment in the Cloud
    Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, Christophe Dony, Chouki Tibermacine
    Workflow Generation based on Static Analysis of Source Code. ENASE: Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Madeira, Portugal. pp.111-123, &#x27E8;10.5220/0006699101110123&#x27E9;. &#x27E8;lirmm-01875047&#x27E9;.
  14. Towards the Extraction of Variability Information to Assist Variability Modelling of Complex Product Lines
    Jessie Carbonnel, Marianne Huchard, Clémentine Nebut
    VAMOS: Variability Modelling of Software-Intensive Systems, Feb 2018, Madrid, Spain. pp.113-120, &#x27E8;10.1145/3168365.3168378&#x27E9;. &#x27E8;lirmm-01872793&#x27E9;.
  15. Multi-Paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models
    Sahar Kallel, Chouki Tibermacine, Ahmed Kacem, Christophe Dony
    SOFSEM: Theory and Practice of Computer Science, Jan 2018, Krems an der Donau, Austria. pp.180-193, &#x27E8;10.1007/978-3-319-73117-9_13&#x27E9;. &#x27E8;lirmm-01706094&#x27E9;.
  16. Reusing Platform-specific Models in Model-Driven Architecture for Software Product Lines
    Frederic Verdier, Abdelhak-Djamel Seriai, Raoul Taffo Tiam
    MODELSWARD: Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. pp.106-116, &#x27E8;10.5220/0006582601060116&#x27E9;. &#x27E8;lirmm-01932810&#x27E9;.

2017

  1. Measuring Differences To Compare Sets Of Models And Improve Diversity In MDE
    Adel Ferdjoukh, Florian Galinier, Eric Bourreau, Annie Chateau, Clémentine Nebut
    ICSEA: International Conference on Software Engineering Advances, Oct 2017, Athenes, Greece. &#x27E8;hal-01586827&#x27E9;. <https://www.iaria.org/conferences2017/CfPICSEA17.html>
  2. Analyzing Variability in Product Families through Canonical Feature Diagrams
    Jessie Carbonnel, Marianne Huchard, Clémentine Nebut
    SEKE: Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, USA, Jul 2017, Pittsburgh, PA, United States. pp.185-190, &#x27E8;10.18293/SEKE2017-087&#x27E9;. &#x27E8;lirmm-01621104&#x27E9;.
  3. Substitutability-Based Version Propagation to Manage the Evolution of Three-Level Component-Based Architectures
    Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    SEKE: Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Jul 2017, Pittsburgh, PA, United States. pp.18-23, &#x27E8;10.18293/SEKE2017-118&#x27E9;. &#x27E8;lirmm-01580889&#x27E9;.
  4. Refactoring Object-Oriented Applications towards a better Decoupling and Instantiation Unanticipation
    Soumia Zellagui, Chouki Tibermacine, Hinde Lilia Bouziane, Abdelhak-Djamel Seriai, Christophe Dony
    SEKE: Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. pp.450-455, &#x27E8;10.18293/SEKE2017-119&#x27E9;. &#x27E8;lirmm-01706084&#x27E9;.
  5. On-demand Generation of AOC-posets: Reducing the Complexity of Conceptual Navigation
    Alexandre Bazin, Jessie Carbonnel, Giacomo Kahn
    ISMIS: International Symposium on Methodologies for Intelligent Systems, Warsaw university of technology, Jun 2017, Warsaw, Poland. pp.611-621, &#x27E8;10.1007/978-3-319-60438-1_60&#x27E9;. &#x27E8;lirmm-01621029&#x27E9;.
  6. An Application of AOC-Posets: Indexing Large Corpuses for Text Generation Under Constraints
    Alain Gutierrez, Michel Chein, Marianne Huchard, Pierre Pompidor
    ISMIS: International Symposium on Methodologies for Intelligent Systems, Warsaw University of Technology, Poland, Jun 2017, Warsaw, Poland. pp.642-652, &#x27E8;10.1007/978-3-319-60438-1_63&#x27E9;. &#x27E8;lirmm-01580830&#x27E9;.
  7. Preliminary study on predicting version propagation in three-level component-based architectures
    Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    SATToSE: Seminar on Advanced Techniques and Tools for Software Evolution, Universidad Rey Juan Carlos, Spain, Jun 2017, Madrid, Spain. 5 p. &#x27E8;lirmm-01580899&#x27E9;. <http://sattose.org/2017>
  8. Feature Model Composition Assisted by Formal Concept Analysis
    Jessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut
    ENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, Portugal. pp.27-37, &#x27E8;10.5220/0006276600270037&#x27E9;. &#x27E8;lirmm-01579476&#x27E9;.
  9. Reconfigurable Service-Based Architecture Based on Variability Description
    Seza Adjoyan, Abdelhak-Djamel Seriai
    SAC: Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. &#x27E8;10.1145/3019612.3019767&#x27E9;. &#x27E8;lirmm-01527185&#x27E9;. <10.1145/3019612.3019767>

2016

  1. Materializing Architecture Recovered from OO Source Code in Component-Based Languages
    Zakarea Al-Shara, Abdelhak-Djamel Seriai, Chouki Tibermacine, Hinde Lilia Bouziane, Christophe Dony, Anas Shatnawi
    ECSA: European Conference on Software Architecture, Nov 2016, Copenhagen, Denmark. pp.309-325, &#x27E8;10.1007/978-3-319-48992-6_23&#x27E9;. &#x27E8;lirmm-01374256&#x27E9;.
  2. Inferring Architectural Evolution from Source Code Analysis A tool-supported approach for the detection of architectural tactics
    Christel Kapto, Ghizlane El Boussaidi, Sègla Kpodjedo, Chouki Tibermacine
    ECSA: European Conference on Software Architecture, Nov 2016, Copenhagen, Denmark. pp.149-165, &#x27E8;10.1007/978-3-319-48992-6_11&#x27E9;. &#x27E8;lirmm-01374249&#x27E9;.
  3. Genetic Algorithm to Improve Diversity in MDE
    Florian Galinier, Eric Bourreau, Annie Chateau, Adel Ferdjoukh, Clémentine Nebut
    META: Metaheuristics and Nature Inspired Computing, Oct 2016, Marrakech, Morocco. &#x27E8;lirmm-01397321&#x27E9;. <https://meta2016.sciencesconf.org/>
  4. Full Application of the Extract Interface Refactoring: Conceptual Structures in the Hands of Master Students
    Marianne Huchard
    IWoR: International Workshop on Software Refactoring, Sep 2016, Singapore, Singapore. pp.33-40, &#x27E8;10.1145/2975945.2975952&#x27E9;. &#x27E8;lirmm-01355466&#x27E9;.
  5. Preexistence and concrete type analysis in the context of multiple inheritance
    Roland Ducournau, Julien Pagès, Jean Privat
    PPPJ: Principles and Practices of Programming on the Java Platform, Aug 2016, Lugano, Switzerland. &#x27E8;10.1145/2972206.2972207&#x27E9;. &#x27E8;hal-01362506&#x27E9;. <10.1145/2972206.2972207>
  6. Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    INCOSE International Symposium, Jul 2016, Edinburgh, United Kingdom. pp.556-570, &#x27E8;10.1002/j.2334-5837.2016.00178.x&#x27E9;. &#x27E8;lirmm-01377575&#x27E9;.
  7. FCA for Software Product Lines Representation: Mixing Configuration and Feature Relationships in a Unique Canonical Representation
    Jessie Carbonnel, Karell Bertet, Marianne Huchard, Clémentine Nebut
    CLA: Concept Lattices and their Applications, HSE, Moscow Russia, Jul 2016, Moscow, Russia. pp.109-122. &#x27E8;lirmm-01354971&#x27E9;.
  8. Exploring Temporal Data Using Relational Concept Analysis: An Application to Hydroecology
    Cristina Nica, Agnès Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber
    CLA: Concept Lattices and their Applications, National Research University Higher School of Economics, Moscow, Russia, Jul 2016, Moscow, Russia. pp.299-311. &#x27E8;hal-01380404&#x27E9;.
  9. Extracting Hierarchies of Closed Partially-Ordered Patterns Using Relational Concept Analysis
    Cristina Nica, Agnès Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber
    ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.17-30, &#x27E8;10.1007/978-3-319-40985-6_2&#x27E9;. &#x27E8;hal-01380407&#x27E9;.
  10. A Model-Driven Approach to Generate Relevant and Realistic Datasets
    Adel Ferdjoukh, Eric Bourreau, Annie Chateau, Clémentine Nebut
    SEKE: Software Engineering and Knowledge Engineering, Jul 2016, Redwood City, San Francisco Bay, United States. pp.105-109, &#x27E8;10.18293/SEKE2016-029&#x27E9;. &#x27E8;lirmm-01397311&#x27E9;.
  11. Toward Recovering Component-based Software Product Line Architecture from Object-Oriented Product Variants
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai
    SEKE: Software Engineering and Knowledge Engineering, Jul 2016, San Francisco, United States. &#x27E8;10.18293/SEKE2016-066&#x27E9;. &#x27E8;lirmm-01376027&#x27E9;. <10.18293/SEKE2016-066>
  12. Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
    Ali Assaf, Guillaume Burel, Raphal Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard
    TYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia. &#x27E8;hal-01441751&#x27E9;.
  13. Towards Semantical DSMLs for Complex or Cyber-Physical Systems
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    ENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2016, Rome, Italy. pp.115-123, &#x27E8;10.5220/0005768201150123&#x27E9;. &#x27E8;lirmm-01377565&#x27E9;.

2015

  1. Migrating Large Object-Oriented Applications into Component-Based Ones
    Zakarea Al-Shara, Abdelhak-Djamel Seriai, Chouki Tibermacine, Hinde Lilia Bouziane, Christophe Dony, Anas Shatnawi
    Instantiation and Inheritance Transformation. GPCE: Generative Programming: Concepts and Experiences, Oct 2015, Pittsburgh, United States. pp.55-64, &#x27E8;10.1145/2814204.2814223&#x27E9;. &#x27E8;lirmm-01235461&#x27E9;.
  2. Class Model Normalization Outperforming Formal Concept Analysis approaches with AOC-posets
    André Miralles, Guilhem Molla, Marianne Huchard, Clémentine Nebut, Laurent Deruelle, Mustapha Derras
    CLA: Concept Lattices and their Applications, Olivier Raynaud, Oct 2015, Clermont-Ferrand, France. pp.111-122. &#x27E8;lirmm-01220215&#x27E9;.
  3. Towards An Architecture-Centric Approach to Manage Variability of Cloud Robotics
    Lei Zhang, Huaxi (yulin) Zhang, Zheng Fang, Xianbo Xiang, Marianne Huchard, René Zapata
    DSLRob: Domain-Specific Languages and models for ROBotic systems, Sep 2015, Hamburg, Germany. &#x27E8;hal-01376287&#x27E9;. <http://www.doesnotunderstand.org/public/DSLRob2015>
  4. Automatic Translation of Architecture Constraint Specifications into Components
    Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem
    ECSA: European Conference on Software Architecture, Sep 2015, Dubrovnik, Croatia. pp.322-338, &#x27E8;10.1007/978-3-319-23727-5_27&#x27E9;. &#x27E8;lirmm-01235454&#x27E9;.
  5. An Architecture Description Language for Dynamic Service-Oriented Product Lines
    Seza Adjoyan, Abdelhak-Djamel Seriai
    SEKE: Software Engineering and Knowledge Engineering, KSI Research Inc. and Knowledge Systems Institute Graduate School Jul 2015, Pittsburgh, United States. &#x27E8;10.18293/SEKE2015-217&#x27E9;. &#x27E8;lirmm-01291161&#x27E9;. <10.18293/SEKE2015-217>
  6. Preexistence revisited
    Roland Ducournau, Julien Pagès, Jean Privat, Colin Vidal
    ICOOOLPS, Jul 2015, Prague, Czech Republic. &#x27E8;10.1145/2843915.2843923&#x27E9;. &#x27E8;hal-01188562&#x27E9;. <10.1145/2843915.2843923>
  7. An evolution management model for multi-level component-based software architectures
    Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Yulin Zhang
    SEKE: Software Engineering and Knowledge Engineering, Jul 2015, Pittsburgh, United States. &#x27E8;10.18293/SEKE2015-172&#x27E9;. &#x27E8;hal-01245924&#x27E9;. <10.18293/SEKE2015-172>
  8. Analyzing inheritance hierarchies through Formal Concept Analysis A 22-years walk in a landscape of conceptual structures
    Marianne Huchard
    MASPEGHI: MechAnisms on SPEcialization, Generalization and inHerItance, Jul 2015, Prague, Czech Republic. pp.8-13, &#x27E8;10.1145/2786555.2786557&#x27E9;. &#x27E8;lirmm-01183442&#x27E9;.
  9. Regression-Based Bootstrapping of Web Service Reputation Measurement
    Okba Tibermacine, Chouki Tibermacine, Foudil Cherif
    ICWS: International Conference on Web Services, Jun 2015, New York, United States. pp.377-384, &#x27E8;10.1109/ICWS.2015.57&#x27E9;. &#x27E8;lirmm-01235445&#x27E9;.
  10. Variability representation in product lines using concept lattices: feasibility study with descriptions from Wikipedia's product comparison matrices
    Jessie Carbonnel, Marianne Huchard, Alain Gutierrez
    FCA&A 2015, co-located with 13th International Conference on Formal Concept Analysis (ICFCA 2015), University of Málaga, Jun 2015, Nerja, Málaga, Spain. &#x27E8;lirmm-01183447&#x27E9;.
  11. Reconciling user and designer preferences in adapting web pages for people with low vision
    Yoann Bonavero, Marianne Huchard, Michel Meynard
    Comparing NSGA-II and NSGA-III evolutionary algorithms. W4A: Web for All Conference, ACM, May 2015, Florence, Italy. pp.10:1-10:10, &#x27E8;10.1145/2745555.2746647&#x27E9;. &#x27E8;lirmm-01160733&#x27E9;.
  12. Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs
    Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony
    SERA: Software Engineering Research, Management and Applications, May 2015, Hammamet, Tunisia. pp.213-226, &#x27E8;10.1007/978-3-319-23509-7_15&#x27E9;. &#x27E8;lirmm-01235422&#x27E9;.
  13. An Operational Model of Variable Business Process
    Raoul Taffo Tiam, Abdelhak-Djamel Seriai, Raphaël Michel
    ICEIS: International Conference on Enterprise Information Systems, Apr 2015, Barcelona, Spain. pp.162-172, &#x27E8;10.5220/0005372301620172&#x27E9;. &#x27E8;lirmm-01291158&#x27E9;.
  14. VASCO: Variability Specification in Business Process Models
    Raoul Taffo Tiam, Abdelhak-Djamel Seriai, Raphael Michel
    ICEIS: International Conference on Enterprise Information Systems, Apr 2015, Barcelone, France. pp.612-632, &#x27E8;10.1007/978-3-319-29133-8_30&#x27E9;. &#x27E8;lirmm-01291180&#x27E9;.
  15. Instantiation of meta-models constrained with OCL: A CSP approach
    Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, Remi Coletta, Clémentine Nebut
    MODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. pp.213-222, &#x27E8;10.5220/0005231402130222&#x27E9;. &#x27E8;lirmm-01232891&#x27E9;.
  16. Mining Software Components from Object-Oriented APIs
    Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui, Zakarea Al-Shara
    ICSR: International Conference on Software Reuse, Jan 2015, Miami, FL, United States. pp.330-347, &#x27E8;10.1007/978-3-319-14130-5_23&#x27E9;. &#x27E8;lirmm-01324282&#x27E9;.
  17. Recovering Architectural Variability of a Family of Product Variants
    Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui
    ICSR: International Conference on Software Reuse, Jan 2015, Miami, FL, United States. pp.17-33, &#x27E8;10.1007/978-3-319-14130-5_2&#x27E9;. &#x27E8;lirmm-01324262&#x27E9;.

2014

  1. A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    CSD&M: Complex Systems Design & Management, Nov 2014, Paris, France. pp.225-238, &#x27E8;10.1007/978-3-319-11617-4_16&#x27E9;. &#x27E8;lirmm-01935532&#x27E9;.
  2. A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    CSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. pp.225-238, &#x27E8;10.1007/978-3-319-11617-4_16&#x27E9;. &#x27E8;lirmm-01237138&#x27E9;.
  3. Fostering component reuse: automating the coherence verification of multi-level architecture descriptions
    Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin
    ICSEA: International Conference on Software Engineering Advances, Oct 2014, Nice, France. pp.416-421. &#x27E8;hal-01245917&#x27E9;.
  4. Learning Model Transformation Patterns using Graph Generalization
    Hajer Saada, Marianne Huchard, Michel Liquière, Clémentine Nebut
    CLA: Concept Lattices and their Applications, Institute of Computer Science, Pavol Jozef Šafárik University in Košice, Ondrej Krídlo, Oct 2014, Košice, Slovakia. pp.11-22. &#x27E8;hal-01075523&#x27E9;.
  5. Reverse Engineering Feature Models from Software Configurations using Formal Concept Analysis
    Ra'Fat Ahmad Al-Msie'Deen, Marianne Huchard, Abdelhak-Djamel Seriai, Christelle Urtado, Sylvain Vauttier
    CLA: Concept Lattices and their Applications, Ondrej Krídlo, Oct 2014, Košice, Slovakia. pp.95-106. &#x27E8;hal-01075524&#x27E9;.
  6. Formal rules for reliable component-based architecture evolution
    Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin
    FACS: Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. pp.127-142, &#x27E8;10.1007/978-3-319-15317-9_8&#x27E9;. &#x27E8;hal-01245857&#x27E9;.
  7. Mining Epidemiological Dengue Fever Data from Brazil: A Gradual Pattern Based Geographical Information System
    Yogi Satrya Aryadinata, Yuan Lin, Christovam Barcellos, Anne Laurent, Thérèse Libourel Rouge
    IPMU: Information Processing and Management of Uncertainty in Knowledge-Based Systems, Jul 2014, Montpellier, France. pp.414-423, &#x27E8;10.1007/978-3-319-08855-6_42&#x27E9;. &#x27E8;lirmm-01381088&#x27E9;.
  8. A three-level formal model for software architecture evolution
    Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi Yulin Zhang
    SATToSE: Seminar on Advanced Techniques and Tools for Software Evolution, Jul 2014, L'Aquila, Italy. &#x27E8;hal-01244438&#x27E9;. <http://sattose.org/2014>
  9. Service Identification Based on Quality Metrics Object - Oriented Legacy System Migration Towards SOA
    Seza Adjoyan, Abdelhak-Djamel Seriai, Anas Shatnawi
    SEKE: Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.1-6, &#x27E8;10.13140/2.1.2980.6723&#x27E9;. &#x27E8;lirmm-01140323&#x27E9;.
  10. Feature Location in a Collection of Product Variants: Combining Information Retrieval and Hierarchical Clustering
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    SEKE: Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.426-430. &#x27E8;lirmm-01291261&#x27E9;.
  11. Documenting the Mined Feature Implementations from the Object-oriented Source Code of a Collection of Software Product Variants
    Ra'Fat Ahmad Al-Msie'Deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    SEKE: Software Engineering and Knowledge Engineering, Knowledge Systems Institute, Jul 2014, Vancouver, Canada. pp.138-143. &#x27E8;lirmm-01003860&#x27E9;.
  12. Feature-Level Change Impact Analysis Using Formal Concept Analysis
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    SEKE: Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. &#x27E8;10.1142/S0218194015400045&#x27E9;. &#x27E8;lirmm-01291179&#x27E9;. <10.1142/S0218194015400045>
  13. A Component-based meta-level architecture and prototypical implementation of a reflective Component-based Programming and Modeling language
    Petr Spacek, Christophe Dony, Chouki Tibermacine
    CBSE: Component-Based Software Engineering, Jun 2014, Lille, France. pp.13-22, &#x27E8;10.1145/2602458.2602476&#x27E9;. &#x27E8;lirmm-01104167&#x27E9;.
  14. Quality-Driven Design of Web Service Business Processes
    Tarek Zernadji, Chouki Tibermacine, Foudil Cherif
    WETICE: Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise, Jun 2014, Parma, Italy. pp.110-112, &#x27E8;10.1109/WETICE.2014.47&#x27E9;. &#x27E8;lirmm-02124407&#x27E9;.
  15. RCA as a data transforming method: a comparison with propositionalisation
    Xavier Dolques, Kartick Chandra Mondal, Agnès Braud, Marianne Huchard, Florence Le Ber
    ICFCA: International Conference on Formal Concept Analysis, Jun 2014, Cluj-Napoca, Romania. pp.112-127, &#x27E8;10.1007/978-3-319-07248-7_9&#x27E9;. &#x27E8;hal-01058967&#x27E9;.
  16. Towards system verification: Adding meaning to models
    Blazo Nastov, Vincent Chapurlat, François Pfister, Christophe Dony
    CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. &#x27E8;hal-01930467&#x27E9;. <http://ciel2014.i3s.unice.fr/Ciel2014_fichiers/Page305.htm>
  17. A Framework for Concurrent Design of Metamodels and Diagrams: Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages
    François Pfister, Marianne Huchard, Clémentine Nebut
    ICEIS: International Conference on Enterprise Information Systems, Apr 2014, Lisbon, Portugal. pp.298-306, &#x27E8;10.5220/0004895202980306&#x27E9;. &#x27E8;lirmm-01276482&#x27E9;.
  18. Web Page Personalization to Improve e-Accessibility for Visually Impaired People
    Yoann Bonavero, Marianne Huchard, Michel Meynard
    WEB: Building and Exploring Web Based Environments, IARIA, Apr 2014, Chamonix, France. pp.40-45. &#x27E8;lirmm-01075534&#x27E9;.
  19. Processing the Evolution of Quality Requirements of Web Service Orchestrations: A Pattern-Based Approach
    Tarek Zernadji, Chouki Tibermacine, Foudil Cherif
    WICSA: Working International Conference on Software Architecture, Apr 2014, Sydney, Australia. pp.139-142, &#x27E8;10.1109/WICSA.2014.35&#x27E9;. &#x27E8;lirmm-00977367v2&#x27E9;.
  20. Concept lattices: a representation space to structure software variability
    Ra'Fat Ahmad Al-Msie'Deen, Marianne Huchard, Abdelhak-Djamel Seriai, Christelle Urtado, Sylvain Vauttier
    ICICS: International Conference on Information and Communication Systems, Apr 2014, Irbid, Jordan. &#x27E8;10.1109/IACS.2014.6841949&#x27E9;. &#x27E8;lirmm-00981467&#x27E9;. <10.1109/IACS.2014.6841949>
  21. Model Matching for Model Transformation - A Meta-heuristic Approach
    Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari Sahraoui
    MODELSWARD: Model-Driven Engineering and Software Development, Jan 2014, Lisbon, Portugal. pp.174-181, &#x27E8;10.5220/0004695601740181&#x27E9;. &#x27E8;lirmm-00967632&#x27E9;.

Mots-clés

Ingénierie des modèles, Langages de programmation, Objets, Composants, Services web, Lignes de produits, Compilation, Analyse Formelle de Concepts, Réingénierie, Méthodes formelles, Réutilisation, Preuve de programmes

Dernière mise à jour le 30/01/2019