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 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

TBA

Grégory Zacharewicz
IMT MA

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 2013 - Evaluation 2019

Articles de revues internationales

2018

  1. 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.
  2. 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.
  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.
  4. 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, In press. <10.1016/j.knosys.2018.06.011>

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.
  2. Reverse engineering reusable software components from object-oriented APIs
    Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui, Zakarea Alshara
    Journal of Systems and Software, Elsevier, 2017, 131, pp.442-460.
  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.
  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.

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.
  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, 2016, In press. <10.1016/j.jss.2016.06.101>
  3. Software Architecture Constraint Reuse-by-Composition
    Chouki Tibermacine, Salah Sadou, Tu Minh Ton That, Christophe Dony
    Future Generation Computer Systems, Elsevier, 2016.
  4. 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.
  5. 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.
  6. 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.

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.
  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. <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.
  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.
  5. 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.

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.
  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.
  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.
  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.

2013

  1. Guaranteeing the quality of multidimensional analysis in data warehouses of simulation results: application to pesticide transfer data produced by the MACRO Model
    Kamal Boulil, François Pinet, Sandro Bimonte, Nadia Carluer, Claire Lauvernet, Bruno Cheviron, André Miralles, Jean-Pierre Chanet
    Ecological Informatics, Elsevier, 2013, 16, pp.41-52.
  2. A Three-level Component Model in Component Based Software Development
    Huaxi Yulin Zhang, Lei Zhang, Christelle Urtado, Sylvain Vauttier, Marianne Huchard
    ACM SIGPLAN Notices, Association for Computing Machinery (ACM), 2013, 48 (3), pp.70-79.
  3. Relational Concept Analysis: Mining Concept Lattices From Multi-Relational Data
    Amine Mohamed Rouane Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev
    Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2013, 67 (1), pp.81-108.

Communications internationales

2018

  1. 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. 7th European Conference on Service-Oriented and Cloud Computing, 2018.
  2. 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. Springer Verlag, 7th European Conference on Service-oriented and Cloud Computing, LNCS (11116), pp.74-89, 2018, Service-Oriented and Cloud Computing.
  3. 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), Jul 2018, Toulouse, France.
  4. Recovering Three-Level Architectures from the Code of Open-Source Java Spring Projects
    Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    Xudong He. SEKE: Software Engineering and Knowledge Engineering, Jul 2018, San Francisco, United States. 30th International Conference on Software Engineering and Knowledge Engineering, 2018, pp.199-202, 2018.
  5. 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. ACM Press, 26th IEEE/ACM International Conference on Program Comprehension, pp.189-199, 2018.
  6. 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. ACM Press, 40th International Conference on Software Engineering: Companion Proceeedings, 2, pp.304-305, 2018.
  7. 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. ACM Press, 33rd ACM/SIGAPP Symposium On Applied Computing, 2018. <10.1145/3167132.3167420>
  8. Hiphop.js: a language to orchestrate web applications
    Colin Vidal, Gérard Berry, Manuel Serrano
    SAC: Symposium on Applied Computing, Apr 2018, Pau, France. 33rd Annual ACM Symposium on Applied Computing, Proceedings of the 2018 Symposium on Applied Computing, 2018. <10.1145/3167132.3167440>
  9. 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. 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018. <10.5220/0006699101110123>
  10. Towards the Extraction of Variability Information to Assist Variability Modelling of Complex Product Lines
    Jessie Carbonnel, Marianne Huchard, Clémentine Nebut
    Rafael Capilla; Malte Lochau; Lidia Fuentes. VAMOS: Variability Modelling of Software-Intensive Systems, Feb 2018, Madrid, Spain. ACM Press, 12th International Workshop on Variability Modelling of Software-Intensive Systems, pp.113-120, 2018.
  11. Multi-Paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models
    Sahar Kallel, Chouki Tibermacine, Ahmed Kacem, Christophe Dony
    SOFSEM 2018: Theory and Practice of Computer Science, Jan 2018, Krems an der Donau, Austria. 44th International Conference on Current Trends in Theory and Practice of Computer Science, LNCS (10706), pp.180-193, 2018.
  12. 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. SCITEPRESS - Science and Technology Publications, 6th International Conference on Model-Driven Engineering and Software Development, 1, pp.106-116, 2018.

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. International Conference on Software Engineering Advances, 2017. <https://www.iaria.org/conferences2017/CfPICSEA17.html>
  2. Analyzing Variability in Product Families through Canonical Feature Diagrams
    Jessie Carbonnel, Marianne Huchard, Clémentine Nebut
    Xudong He. SEKE: Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, PA, United States. KSI research Inc., 29th International Conference on Software Engineering & Knowledge Engineering, pp.185-190, 2017.
  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
    Xudong He. SEKE: Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, PA, United States. KSI Research Inc. and Knowledge Systems Institute Graduate School, 29th International Conference on Software Engineering and Knowledge Engineering, 2017, pp.18-23, 2017.
  4. Refactoring Object-Oriented Applications towards a better Decoupling and Instantiation Unanticipation
    Soumia Zellagui, Chouki Tibermacine, Lilia Hinde Bouziane, Abdelhak-Djamel Seriai, Christophe Dony
    SEKE: Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. 29th International Conference on Software Engineering & Knowledge Engineering, 2017. <10.18293/SEKE2017-119>
  5. On-demand Generation of AOC-posets: Reducing the Complexity of Conceptual Navigation
    Alexandre Bazin, Jessie Carbonnel, Giacomo Kahn
    Marzena Kryszkiewicz; Annalisa Appice; Dominik Slezak; Henryk Rybinski; Andrzej Skowron; Zbigniew W. Ras. ISMIS: International Symposium on Methodologies for Intelligent Systems, Jun 2017, Warsaw, Poland. Springer, 23rd International Symposium on Foundations of Intelligent Systems, LNCS (10352), pp.611-621, 2017.
  6. An Application of AOC-Posets: Indexing Large Corpuses for Text Generation Under Constraints
    Alain Gutierrez, Michel Chein, Marianne Huchard, Pierre Pompidor
    Annalisa Appice; Marzena Kryszkiewicz; Dominik Ślęzak. ISMIS: International Symposium on Methodologies for Intelligent Systems, Jun 2017, Warsaw, Poland. Springer, 23rd International Symposium Foundations of Intelligent Systems, LNCS (10352), pp.642-652, 2017.
  7. Preliminary study on predicting version propagation in three-level component-based architectures
    Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    Haidar Osman; Andrei Chis. SATToSE: Seminar on Advanced Techniques and Tools for Software Evolution, Jun 2017, Madrid, Spain. 10th Seminar Series on Advanced Techniques and Tools for Software Evolution, 5 p., 2017. <http://sattose.org/2017>
  8. Feature Model Composition Assisted by Formal Concept Analysis
    Jessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut
    Ernesto Damiani; George Spanoudakis; Leszek A. Maciaszek. ENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, Portugal. SciTePress, pp.27-37, 2017, Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering.
  9. Reconfigurable Service-Based Architecture Based on Variability Description
    Seza Adjoyan, Abdelhak-Djamel Seriai
    SAC: Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. 32nd ACM SIGAPP Symposium On Applied Computing, 2017. <10.1145/3019612.3019767>

2016

  1. 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. 10th European Conference on Software Architecture, 2016. <http://ecsa2016.icmc.usp.br/>
  2. 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. 10th European Conference on Software Architecture, 2016. <http://ecsa2016.icmc.usp.br/>
  3. Genetic Algorithm to Improve Diversity in MDE
    Florian Galinier, Eric Bourreau, Annie Château, Adel Ferdjoukh, Clémentine Nebut
    META: Metaheuristics and Nature Inspired Computing, Oct 2016, Marrakech, Morocco. 6th International Conference on Metaheuristics and Nature Inspired Computing, 2016. <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. ACM DL, 1st ACM International Workshop on Software Refactoring in conjunction with the 31st IEEE/ACM Automated Software Engineering Conference (ASE 2016), pp.33-40, 2016.
  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. 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools 2016. <10.1145/2972206.2972207>
  6. 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
    Marianne Huchard; Sergei Kuznetsov. CLA: Concept Lattices and their Applications, Jul 2016, Moscow, Russia. CEUR Workshop Proceedings, 13th International Conference on Concept Lattices and Their Applications, pp.109-122, 2016.
  7. Exploring Temporal Data Using Relational Concept Analysis: An Application to Hydroecology
    Cristina Nica, Agnès Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber
    Marianne Huchard; Sergei Kuznetsov. CLA: Concept Lattices and their Applications, Jul 2016, Moscow, Russia. 13th International Conference on Concept Lattices and their Applications, 1624, pp.299-311, 2016, CEUR Workshop Proceedings.
  8. 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. John Wiley & Sons, Inc., 26th Annual INCOSE International Symposium 26 (1), pp.556-570, 2016, Achieving excellence through Systems Engineering.
  9. Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach
    Christophe Dony, Blazo Nastov, Vincent Chapurlat, François Pfister
    INCOSE International Symposium, Jul 2016, Edinburgh, United Kingdom. 26th annual INCOSE International Symposium, 2016.
  10. Extracting Hierarchies of Closed Partially-Ordered Patterns Using Relational Concept Analysis
    Cristina Nica, Agnès Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber
    Ollivier Haemmerlé; Gem Stapleton; Catherine Faron-Zucker. ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. Springer, 22nd International Conference on Conceptual Structures, 9717, pp.17-30, 2016, Graph-Based Representation and Reasoning.
  11. A Model-Driven Approach to Generate Relevant and Realistic Datasets
    Adel Ferdjoukh, Eric Bourreau, Annie Château, Clémentine Nebut
    SEKE: Software Engineering and Knowledge Engineering, Jul 2016, Redwood City, San Francisco Bay, United States. 28th International Conference on Software Engineering and Knowledge Engineering, pp.105-109, 2016.
  12. 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. 28th International Conference on Software Engineering and Knowledge Engineering, 2016. <http://ksiresearchorg.ipage.com/seke/seke16.html>
  13. 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. 22nd International Conference on Types for Proofs and Programs, 2016.
  14. 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. 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, pp.115-123, 2016.

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. 14th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 51 (3), pp.55-64, 2016.
  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
    Sadok Ben Yahia; Jan Konecny. CLA: Concept Lattices and their Applications, Oct 2015, Clermont-Ferrand, France. 12th International Conference on Concept Lattices and Their Applications, 1466, pp.111-122, 2015.
  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. 6th International Workshop on Domain-Specific Languages and models for ROBotic systems, 2015. <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. Springer, 9th European Conference on Software Architecture (ECSA'15), LNCS (9278), pp.322-338, 2015, Software Architecture.
  5. Preexistence revisited
    Roland Ducournau, Julien Pagès, Jean Privat, Colin Vidal
    ICOOOLPS, Jul 2015, Prague, Czech Republic. 2015. <10.1145/2843915.2843923>
  6. An Architecture Description Language for Dynamic Service-Oriented Product Lines
    Seza Adjoyan, Abdelhak-Djamel Seriai
    SEKE: Software Engineering and Knowledge Engineering, Jul 2015, Pittsburgh, United States. 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, 2015. <10.18293/SEKE2015-217>
  7. 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. ACM, pp.8-13, 2015.
  8. 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. 27th International Conference on Software Engineering and Knowledge Engineering, 2015.
  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. IEEE, pp.377-384, 2015, 13th IEEE International Conference on Web Services (ICWS'15).
  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
    Manuel Ojeda-Aciego; Jaume Baixeries; Christian Sacarea. FCA&A 2015, co-located with 13th International Conference on Formal Concept Analysis (ICFCA 2015), Jun 2015, Nerja, Málaga, Spain. Proceedings of the International Workshop on Formal Concept Analysis and Applications, FCA&A 2015, co-located with 13th International Conference on Formal Concept Analysis (ICFCA 2015), 1434, 2015, CEUR Workshop Proceedings.
  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. Tiago Guerreiro; Peter Thiessen. W4A: Web for All Conference, May 2015, Florence, Italy. ACM DL; ACM Press, 12th Web for All Conference, pp.10:1-10:10, 2015.
  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. 13th International Conference on Software Engineering Research, Management and Applications (SERA 2015), Studies in Computational Intelligence (612), pp.213-226, 2015, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015.
  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. SciTePress, Proceedings of the 17th International Conference on Enterprise Information Systems, pp.162-172, 2015.
  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. Springer 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers, Lecture Notes in Business Information Processing (241), pp.612-632, 2015, Enterprise Information Systems.
  15. Instantiation of meta-models constrained with OCL: A CSP approach
    Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Château, Remi Coletta, Clémentine Nebut
    MODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. Proceedings of the third International Conference on Model Driven Engineering and Software Development, pp.213-222, 2015.
  16. 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. 14th International Conference on Software Reuse, LNCS (8919), pp.17-33, 2015, Software Reuse for Dynamic Systems in the Cloud and Beyond.
  17. 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. 14th International Conference on Software Reuse, LNCS (8919), pp.330-347, 2015, Software Reuse for Dynamic Systems in the Cloud and Beyond.

2014

  1. A MDE verification approach applied to System Engineering: xeFFBD dynamic semantics
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    F. Boulanger, D. Krob, G. Morel, J-C. Roussel. CSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. Springer-Verlag, Proceedings of CSD&M'2014 : Fifth International Conference on Complex Systems Design & Management, 2014. <http://www.csdm2014.csdm.fr/>
  2. A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics
    Christophe Dony, Blazo Nastov, Vincent Chapurlat, François Pfister
    CSD&M: Complex Systems Design & Management, Nov 2014, Paris, France. 5th International Conference on Complex Systems Design & Management, 2014. <http://www.csdm2014.csdm.fr>
  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. IARIA, 9th International Conference on Software Engineering Advances, pp.416-421, 2014.
  4. Learning Model Transformation Patterns using Graph Generalization
    Hajer Saada, Marianne Huchard, Michel Liquière, Clémentine Nebut
    Karell Bertet; Sebastian Rudolph. CLA: Concept Lattices and their Applications, Oct 2014, Košice, Slovakia. 11th International Conference on Concept Lattices and Their Applications, 1252, pp.11-22, 2014.
  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
    Karell Bertet; Sebastian Rudolph. CLA: Concept Lattices and their Applications, Oct 2014, Košice, Slovakia. 11th International Conference on Concept Lattices and Their Applications, CEUR-Workshop, 1252, pp.95-106, 2014.
  6. Formal rules for reliable component-based architecture evolution
    Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin
    Ivan Lanese; Eric Madelaine. FACS: Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. 11th international symposium on Formal Aspects of Component Software, LNCS (8997), pp.127-142, 2014.
  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. 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part II, Communications in Computer and Information Science (443), pp.414-423, 2014, Information Processing and Management of Uncertainty in Knowledge-Based Systems.
  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. 7th Seminar on Advanced Techniques & Tools for Software Evolution, 2014. <http://sattose.org/2014>
  9. 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
    Claudia Werner; Kehan Gao; Marek Reformat; Haiping Xu. SEKE: Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. 26th International Conference on Software Engineering and Knowledge Engineering, pp.138-143, 2014.
  10. 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. Knowledge Systems Institute Graduate School, 26th International Conference on Software Engineering and Knowledge Engineering, pp.1-6, 2014.
  11. 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. 26th International Conference on Software Engineering and Knowledge Engineering, 2014.
  12. 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. The 26th International Conference on Software Engineering and Knowledge Engineering, pp.426-430, 2014.
  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. 17th international ACM Sigsoft symposium on Component-based software engineering, pp.13-22, 2014.
  14. RCA as a data transforming method: a comparison with propositionalisation
    Xavier Dolques, Kartick Chandra Mondal, Agnès Braud, Marianne Huchard, Florence Le Ber
    Cynthia Vera Glodeanu; Christian Sacarea; Mehdi Kaytoue. ICFCA: International Conference on Formal Concept Analysis, Jun 2014, Cluj-Napoca, Romania. Springer, 12th International Conference on Formal Concept Analysis, LNCS (8478), pp.112-127, 2014.
  15. 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. Proceedings of the 16th International Conference on Enterprise Information Systems, 2014.
  16. Web Page Personalization to Improve e-Accessibility for Visually Impaired People
    Yoann Bonavero, Marianne Huchard, Michel Meynard
    Irina Astrova. WEB: Building and Exploring Web Based Environments, Apr 2014, Chamonix, France. 2nd International Conference on Building and Exploring Web Based Environments, pp.40-45, 2014.
  17. 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. IEEE/IFIP, 11th IEEE/IFIP Working Conference on Software Architecture, pp.139-142, 2014.
  18. 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. Information and Communication Systems (ICICS), 2014 5th International Conference on, 2014. <10.1109/IACS.2014.6841949>
  19. Model Matching for Model Transformation - A Meta-heuristic Approach
    Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari Sahraoui
    Slimane Hammoudi and Luis Ferreira Pires. MODELSWARD: Model-Driven Engineering and Software Development, Jan 2014, Lisbon, Portugal. SCITEPRESS Digital Library, 1st International Conference on Model-Driven Engineering and Software Development, pp.174-181, 2014.
  20. Towards system verification : Adding meaning to models
    Blazo Nastov, Vincent Chapurlat, François Pfister, Christophe Dony
    CIEL, 2014, Paris, France.

2013

  1. Recovering Model Transformation Traces using Multi-Objective Optimization
    Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari Sahraoui
    ASE: Automated Software Engineering, Nov 2013, Silicon Valley, CA, United States. 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.688-693, 2013, IEEE ACM International Conference on Automated Software Engineering.
  2. A CSP Approach for Metamodel Instantiation
    Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Château, Remi Coletta, Clémentine Nebut
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2013, Washington, United States. 25th IEEE International Conference on Tools with Artificial Intelligence, pp.1044-1051, 2013.
  3. Practical Application of Relational Concept Analysis to class model factorization: lessons learned from a thematic information system
    Abdoulkader Osman Guédi, Marianne Huchard, André Miralles, Clémentine Nebut
    Manuel Ojeda-Aciego; Jan Outrata. CLA: Concept Lattices and their Applications, Oct 2013, La Rochelle, France. CEUR WS, CLA'2013: 10th International Conference on Concept Lattices and Their Applications, 1062, pp.9-20, 2013.
  4. AOC-posets: a scalable alternative to Concept Lattices for Relational Concept Analysis
    Xavier Dolques, Florence Le Ber, Marianne Huchard
    CLA: Concept Lattices and their Applications, Oct 2013, La Rochelle, France. 10th International Conference on Concept Lattices and Their Applications, pp.129-140, 2013.
  5. Sizing the Underlying Factorization Structure of a Class Model
    Abdoulkader Osman Guédi, Marianne Huchard, André Miralles, Clémentine Nebut
    Dragan Gasevic, Marek Hatala, Hamid R. Motahari Nezhad and Manfred Reichert. EDOC: Enterprise Distributed Object Computing Conference, Sep 2013, Vancouver, Canada. IEEE, 17th International Enterprise Distributed Object Computing Conference, pp.167-172, 2013.
  6. Feature-to-Code Traceability in Legacy Software Variants
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    SEAA: Software Engineering and Advanced Applications, Sep 2013, Santander, Spain. 39th Euromicro Conference on Software Engineering and Advanced Applications, pp.57-61, 2013.
  7. Mining Features from the Object-Oriented Source Code of Software Variants by Combining Lexical and Structural Similarity
    Ra'Fat Ahmad Al-Msie'Deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    IRI: Information Reuse and Integration, Aug 2013, Las Vegas, NV, United States. 14th International Conference on Information Reuse and Integration, pp.586-593, 2013.
  8. Mining reusable software components from object-oriented source code of a set of similar software
    Anas Shatnawi, Abdelhak-Djamel Seriai
    IRI: Information Reuse and Integration, Aug 2013, San Francisco, CA United States. 14th IEEE International Conference on Information Reuse and Integration (IRI), pp.193-200, 2013.
  9. Feature-to-Code Traceability in a Collection of Software Variants: Combining Formal Concept Analysis and Information Retrieval
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    IRI: Information Reuse and Integration, Aug 2013, Las Vegas, United States. 14th IEEE International Conference on Information Reuse and Integration, 2013. <10.1109/IRI.2013.6642474>
  10. Feature model extraction from product source codes based on the semantic aspect
    Jihen Maazoun, Nadia Bouassida, Hanene Ben-Abdallah, Abdelhak-Djamel Seriai
    ICSOFT: International Conference on Software Paradigm Trends, Jul 2013, Reykjavik, Iceland. INSTICC Press, ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, pp.154-161, 2013.
  11. Mining Feature Models from the Object-Oriented Source Code of a Collection of Software Product Variants
    Ra'Fat Ahmad Al-Msie'Deen
    ECOOP: European Conference on Object-Oriented Programming, Jul 2013, Montpellier, France. 27th European Conference on Object-Oriented Programming, pp.1-10, 2013.
  12. Wringing out objects for programming and modeling component-based systems
    Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse
    COOMPL: Combined Object-Oriented Modeling and Programming Languages, Jul 2013, Montpellier, France. ACM Digital Library, 2nd International Workshop on Combined Object-Oriented Modeling and Programming Languages (COOMPL'13) - co-located with ECOOP, 2013. <10.1145/2493187.2493189>
  13. Model-Driven Generation of Context-Specific Feature Models
    Thibaut Possompès, Christophe Dony, Marianne Huchard, Chouki Tibermacine
    SEKE: Software Engineering and Knowledge Engineering, Jun 2013, Boston, United States. 25th International Conference on Software Engineering & Knowledge Engineering, pp.250-255, 2013.
  14. Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing
    Ra'Fat Ahmad Al-Msie'Deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Hamzeh Eyal-Salman
    SEKE: Software Engineering and Knowledge Engineering, Jun 2013, Portland, OR, United States. Knowledge Systems Institute Graduate School, 25th International Conference on Software Engineering and Knowledge Engineering, 2013.
  15. Feature location in a collection of software product variants using formal concept analysis
    Ra'Fat Ahmad Al-Msie'Deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Hamzeh Eyal-Salman
    ICSR: International Conference on Software Reuse, Jun 2013, Pisa, Italy. Springer, 13th International Conference on Software Reuse, LNCS (7925), pp.302-307, 2013, Safe and Secure Reuse.
  16. Soundness and Completeness of Relational Concept Analysis
    Amine Mohamed Rouane Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev
    Peggy Cellier; Felix Distel; Bernhard Ganter. ICFCA: International Conference on Formal Concept Analysis, May 2013, Dresden, Germany. Springer Netherlands, 11th International Conference on Formal Concept Analysis, LNCS (7880), pp.228-243, 2013.
  17. Identifying Traceability Links between Product Variants and Their Features
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony, Ra'Fat Ahmad Al-Msie'Deen
    REVE: Reverse Variability Engineering, Mar 2013, Genova, Italy. 1st International Workshop on Reverse Variability Engineering, pp.17-22, 2013.

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 16/11/2018