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.

2018

  1. Generalization effect of quantifiers in a classification based on relational concept analysis
    Agnès Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber
    Knowledge-Based Systems, Elsevier, 2018, 160, pp.119-135. ⟨10.1016/j.knosys.2018.06.011⟩. ⟨hal-01857724⟩.
  2. Semantic Clustering of Functional Requirements Using Agglomerative Hierarchical Clustering
    Hamzeh Eyal Salman, Mustafa Hammad, Abdelhak-Djamel Seriai, Ahed Al-Sbou
    Journal of Information, Information Technology, and Organizations, Informing Science Institute, 2018, Special Issue: Information Technology: New Generations (ITNG), 9 (9), pp.222-239.
  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. Specification and Automatic Checking of Architecture Constraints on Object Oriented Programs
    Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Kacem, Christophe Dony
    Information and Software Technology, Elsevier, 2018, 101, pp.16-31. ⟨10.1016/j.infsof.2018.05.002⟩. ⟨hal-01905953⟩.
  5. 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.

2017

  1. 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.
  2. 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.
  3. 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.
  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. ⟨https://link.springer.com/article/10.1007%2Fs11761-017-0205-1⟩. ⟨10.1007/s11761-017-0205-1⟩. ⟨lirmm-01580885⟩.

2016

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

2015

  1. A Tooled Approach for Designing Executable and Verifiable Modeling Languages
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    INSIGHT - International Council on Systems Engineering (INCOSE), Wiley, 2015, 18 (4), pp.31-33.
  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. 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.
  5. Software understanding: Automatic classification of software identifiers
    Pattaraporn Warintarawej, Anne Laurent, Marianne Huchard, Mathieu Lafourcade, Pierre Pompidor
    Intelligent Data Analysis, IOS Press, 2015, 19 (4), pp.761-778. &#x27E8;10.3233/IDA-150744&#x27E9;. &#x27E8;lirmm-00834051&#x27E9;.

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.

International Communications

2019

  1. 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. Springer, 24th International Conference on Conceptual Structures, 2019. <https://iccs-conference.org/>
  2. On-demand Relational Concept Analysis
    Alexandre Bazin, Jessie Carbonnel, Marianne Huchard, Giacomo Kahn, Priscilla Keip, Amirouche Ouzerdine
    ICFCA 2019: 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. Springer, 15th International Conference on Formal Concept Analysis, 2019. <https://www.informatik.fb2.frankfurt-university.de/~icfca2019/>
  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. Springer, 15th International Conference on Formal Concept Analysis, 2019. <https://www.informatik.fb2.frankfurt-university.de/~icfca2019/>
  4. 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. 10th IEEE International Workshop on Joint Cloud Computing (JCC 2019), International Workshop on Cloud/edge Computing in Robotic Systems (CCR 2019), 2019. <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
    Gerold Rahman, Victir Idowu Olowe, Timothy Ipoola Olabiyi, Khalid Azim, Olugbenga Ade Oluwa. 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), Nov 2018, Saly Portudal, Sénégal. pp.137-142.
  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. 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. <10.1007/978-3-319-99819-0_5>
  4. SMT Solving Modulo Tableau and Rewriting Theories
    Guillaume Bury, Simon Cruanes, David Delahaye
    SMT 2018 - 16th International Workshop on Satisfiability Modulo Theories, Jul 2018, Oxford, United Kingdom.
  5. 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.
  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
    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.
  7. An Automation-Friendly Set Theory for the B Method
    Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard
    Abstract State Machines, Alloy, B, VDM, and Z (ABZ), Jun 2018, Southampton, United Kingdom. Lecture Notes in Computer Science book series (LNCS, volume 10817), 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. ACM Press, 26th IEEE/ACM International Conference on Program Comprehension, pp.189-199, 2018.
  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. ACM Press, 40th International Conference on Software Engineering: Companion Proceeedings, 2, pp.304-305, 2018.
  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. ACM Press, 33rd ACM/SIGAPP Symposium On Applied Computing, 2018. <10.1145/3167132.3167420>
  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. 33rd Annual ACM Symposium on Applied Computing, Proceedings of the 2018 Symposium on Applied Computing, 2018. <10.1145/3167132.3167440>
  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. 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018. <10.5220/0006699101110123>
  13. 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.
  14. 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.
  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. 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. 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. 29th International Conference on Software Engineering & Knowledge Engineering, 2017. <10.18293/SEKE2017-119>
  3. 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.
  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
    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.
  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 Chateau, 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. pp.556-570, &#x27E8;10.1002/j.2334-5837.2016.00178.x&#x27E9;. &#x27E8;lirmm-01377575&#x27E9;.
  9. Extracting Hierarchies of Closed Partially-Ordered Patterns Using Relational Concept Analysis
    Cristina Nica, Agnès Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber
    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.
  10. 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>
  11. 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. 28th International Conference on Software Engineering and Knowledge Engineering, pp.105-109, 2016.
  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. 22nd International Conference on Types for Proofs and Programs, 2016.
  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. 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. pp.162-172, &#x27E8;10.5220/0005372301620172&#x27E9;. &#x27E8;lirmm-01291158&#x27E9;.
  14. VASCO: Variability Specification in Business Process Models
    Raoul Taffo Tiam, Abdelhak-Djamel Seriai, Raphael Michel
    ICEIS: International Conference on Enterprise Information Systems, Apr 2015, Barcelone, France. pp.612-632, &#x27E8;10.1007/978-3-319-29133-8_30&#x27E9;. &#x27E8;lirmm-01291180&#x27E9;.
  15. Instantiation of meta-models constrained with OCL: A CSP approach
    Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, Remi Coletta, Clémentine Nebut
    MODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. 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 Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    CSD&M: Complex Systems Design & Management, Nov 2014, Paris, France. pp.225-238, &#x27E8;10.1007/978-3-319-11617-4_16&#x27E9;. &#x27E8;lirmm-01935532&#x27E9;.
  2. A MDE verification approach applied to System Engineering: xeFFBD dynamic semantics
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    CSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. &#x27E8;lirmm-01237138&#x27E9;. <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 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.
  12. Feature-Level Change Impact Analysis Using Formal Concept Analysis
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    SEKE: Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. 26th International Conference on Software Engineering and Knowledge Engineering, 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. 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. 3ème Conférence en IngénieriE du Logiciel, 2014. <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. Proceedings of the 16th International Conference on Enterprise Information Systems, 2014.
  17. 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.
  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. IEEE/IFIP, 11th IEEE/IFIP Working Conference on Software Architecture, pp.139-142, 2014.
  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. Information and Communication Systems (ICICS), 2014 5th International Conference on, 2014. <10.1109/IACS.2014.6841949>
  20. 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.

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