MAREL: Models And Reuse Engineering, Languages

The MAREL team (Models And Reuse Engineering, Languages) studies  software engineering and focuses on automating the entire software lifecycle, from design to maintenance through compilation and code optimization. There are three lines of research. The first line is model-driven engineering. The team uses mainly formal concept analysis (i.e., relational concept analysis) and experimental validation on large real data sets. The second line is metrics and combinatorial algorithms for reuse in product line engineering, where components or product lines are extracted from existing object-oriented systems. The third line of research is  semantics (formal properties and implementation of programming languages) for designing a pure-component language and experimenting implementation techniques in object-oriented languages.

Members

Staff

Associates & Students

Research Topics

The team's activity focuses on three axes:

  • Model-Driven Engineering (MDE), by designing a novel formal method (Relational Concept Analysis, RCA), its experimentation on large-sized real-world data, and as a basis for learning model transformations;
  • Reuse and Variability Engineering, by extracting components or product lines starting from object-oriented systems, through the use of adapted metrics and combinatorial optimization algorithms;
  • Semantics and Implementation of Programming Languages, object-oriented or component-based ones: designing "pure" component-based languages, like Smalltalk is a "pure" object-oriented language, or for experimenting implementation techniques of object-oriented languages.

These three axes are at the same time well identified and tightly related. The concepts of "object" and "model" provide a common base, and components are studied from different points of view: programming languages, models, and their extraction from code. RCA is an object of study, in addition to being a formal basis for tool development.

External Collaborations

  • Industrial Partners:
    • Acelys (2013 to date): Software development methodologies (model-driven engineering and variability)
    • Berger-Levrault (2013 to date): Accessibility for Web pages for visually impaired persons, and Analysis of software traces
    • Cortus (2009 to date): Efficient compilation for low-end embedded processors
    • Pradeo (2013 to date): Static analysis for the security of mobile applications
  • Academic Partners:
    • University of Montréal: co-supervision of theses related to reuse and MDE
    • Ecoles des Mines of Alès and Douai: co-supervision of theses in the domain of software components and MDE with application on home automation
    • LORIA, Nancy and LATECE, UQAM, classification of Web services and PICS Project (RCA and ontologies)
    • RMOD, INRIA Lille (and MAORE team), ANR Project Cutter (software re-modularization).

Recent Major Publications

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

See all team publications: click here

Publications 2014 - 2019: Evaluation period

International Journals

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.
  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.
  3. Towards Complex Product Line Variability Modelling: Mining Relationships from Non-Boolean Descriptions
    Jessie Carbonnel, Marianne Huchard, Clémentine Nebut
    Journal of Systems and Software, Elsevier, 2019. <10.1016/j.jss.2019.06.002>
  4. FCA for Software Product Line representation: Mixing configuration and feature relationships in a unique canonical representation
    Jessie Carbonnel, Karell Bertet, Marianne Huchard, Clémentine Nebut
    Discrete Applied Mathematics, Elsevier, In press. <10.1016/j.dam.2019.06.008>

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

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 Al-Shara
    Journal of Systems and Software, Elsevier, 2017, 131, pp.442-460.
  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-PapersOnLine, Elsevier, 2017, 20th IFAC World Congress, 50 (1), pp.10538-10543.
  4. 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.
  5. 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. Integrating Quality Requirements in Engineering Web Service Orchestrations
    Tarek Zernadji, Chouki Tibermacine, Foudil Cherif, Amina Zouioueche
    Journal of Systems and Software, Elsevier, 2016, 122, pp.463-483.
  2. 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.
  3. 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.
  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, 10 (4), pp.437-463.
  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. 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.
  3. 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.
  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. 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.
  3. 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.
  4. 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.

International Communications

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. <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. <https://iccs-conference.org/>
  3. 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. <https://www.informatik.fb2.frankfurt-university.de/~icfca2019/>
  4. On-demand Relational Concept Analysis
    Alexandre Bazin, Jessie Carbonnel, Marianne Huchard, Giacomo Kahn, Priscilla Keip, Amirouche Ouzerdine
    ICFCA: International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. <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. <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.
  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.
  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.
  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.
  5. SMT Solving Modulo Tableau and Rewriting Theories
    Guillaume Bury, Simon Cruanes, David Delahaye
    SMT: Satisfiability Modulo Theories, Jul 2018, Oxford, United Kingdom.
  6. 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.
  7. An Automation-Friendly Set Theory for the B Method
    Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard
    ABZ: Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.409-414.
  8. 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.
  9. 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.
  10. 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.
  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. pp.2193-2195.
  12. 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.
  13. 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.
  14. 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.
  15. 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.

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. <https://www.iaria.org/conferences2017/CfPICSEA17.html>
  2. 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.
  3. 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.
  4. 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.
  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.
  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.
  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. <http://sattose.org/2017>
  8. Assisting Configurations-based Feature Model Composition: Union, Intersection and Approximate Intersection
    Jessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut
    ENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, Portugal. pp.116-140.
  9. 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.
  10. Reconfigurable Service-Based Architecture Based on Variability Description
    Seza Adjoyan, Abdelhak-Djamel Seriai
    SAC: Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. <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. pp.149-165.
  2. Materializing Architecture Recovered from Object-Oriented 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.
  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. <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.
  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. pp.#10.
  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.
  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.
  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.
  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.
  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.
  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. pp.1-7.
  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.
  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.

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.
  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.
  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. <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.
  5. 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. pp.674-679.
  6. 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. pp.231-236.
  7. Preexistence revisited
    Roland Ducournau, Julien Pagès, Jean Privat, Colin Vidal
    ICOOOLPS: Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, Jul 2015, Prague, Czech Republic. pp.#4.
  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.
  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.
  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-ICFCA: International Conference on Formal Concept Analysis - International Conference on Formal Concept Analysis, University of Málaga, Jun 2015, Nerja, Málaga, Spain.
  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.
  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.
  13. 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, Spain. pp.612-632.
  14. 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.
  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.
  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.
  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.

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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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. <http://sattose.org/2014>
  8. 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.
  9. 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.
  10. 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.
  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. pp.447-452.
  12. 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.
  13. 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.
  14. 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.
  15. 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. <http://ciel2014.i3s.unice.fr/Ciel2014_fichiers/Page305.htm>
  16. 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.
  17. 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.
  18. 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.
  19. 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. <10.1109/IACS.2014.6841949>
  20. 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.

Tags

Model Driven Engineering, Programming Languages, Software Reuse, Object-Oriented approaches, components, Web services, Software Product Lines, Formal Concept Analysis, Reengineering, Compilation

Last update on 30/01/2019