Publications HAL

2023

Journal articles

titre
Colla-Config: A stakeholders preferences-based approach for product lines collaborative configuration
auteur
Sihem Ben Sassi, Sabrine Edded, Raul Mazo, Henda Ben Ghezala, Camille Salinesi
article
Journal of Systems and Software, 2023, 197, pp.111586. ⟨10.1016/j.jss.2022.111586⟩
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-03970378/file/latest.pdf BibTex

Conference papers

titre
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver Agnostic Approach
auteur
Camilo Correa, Jacques Robin, Raùl MAZO
article
ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Oct 2023, Lisboa, Portugal. ⟨10.1145/3624007.3624060⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04330769/file/2023-GPCE_Camera_Ready.pdf BibTex
titre
Robustness Testing of an Industrial Road Object Detection System
auteur
Anne-Laure Wozniak, Ngoc Duong, Ian Benderitter, Sarah Leroy, Sergio Segura, Raul Mazo
article
2023 IEEE International Conference On Artificial Intelligence Testing (AITest), Jul 2023, Athens, Greece. pp.82-89, ⟨10.1109/AITest58265.2023.00022⟩
Accès au bibtex
BibTex
titre
Taxonomy of Requirements Specification Templates
auteur
Hiba Hnaini, Raúl Mazo, Paola Vallejo, Jose Galindo, Joël Champeau
article
SoftEng 23, Apr 2023, Venice, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04105054/file/A_Taxonomy_of_Requirements_Specification_Templates%20%287%29.pdf BibTex
titre
A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability Models
auteur
Camilo Correa, Raul Mazo, Andres O. Lopez, Jacques Robin
article
SOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering, IARIA: International Academy, Research and Industry Association, Apr 2023, Venise, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04077798/file/SOFTENG_2023_FINAL.pdf BibTex

2022

Journal articles

titre
“Snapshot” of the State of Software Reuse in Colombia
auteur
Luisa-Fernanda Restrepo-Gutiérrez, Elizabeth Suescún-Monsalve, Raúl Mazo, Paola-Andrea Vallejo-Correa, Daniel Correa
article
Revista Científica de la Universidad Distrital, 2022, 44 (2), pp.242-256. ⟨10.14483/23448350.18389⟩
Accès au bibtex
BibTex
titre
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned
auteur
George Bravos, Antonio J Cabrera, Camilo Correa, Dragan Danilovic, Nikolaos Evangeliou, Gilad Ezov, Zoran Gajica, Dusan Jakovetic, Leonidas Kallipolitis, Milan Lukic, Julien Mascolo, Davide Masera, Ivan Mezei, Andreas Miaoudakis, Nemanja Milosevic, William Oliff, Jacques Robin, Michail Smyrlis, Georgia Sakellari, Giorgos Stamatis, Dusan Stamenkovic, Srdan Skrbic, Carine Souveyet, Spyridon Vantolas, Giorgos Vasiliadis, Dejan Vukobratovic, Raul Mazo
article
IEEE Access, 2022, 10, pp.124747-124765. ⟨10.1109/ACCESS.2022.3225074⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-03967801/file/Cybersecurity_for_Industrial_Internet_of_Things_Architecture_Models_and_Lessons_Learned.pdf BibTex

Conference papers

titre
Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case
auteur
Anne-Laure Wozniak, Sergio Segura, Raúl Mazo, Sarah Leroy
article
1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI), May 2022, Pittsburgh (virtual), United States. ⟨10.1145/3526073.3527592⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03647680/file/Robustness%20Testing%20of%20a%20Machine%20Learning-based%20Road%20Object%20Detection%20System%21%20An%20Industrial%20Case.pdf BibTex

2021

Journal articles

titre
Guidelines for the Specification of IoT Requirements: A Smart Cars Case
auteur
Asmaa Achtaich, Camille Salinesi, Nissrine Souissi, Ounsa Roudies, Raul Mazo
article
IoT Protocols and Applications for Improving Industry, Environment, and Society, 2021
Accès au texte intégral et bibtex
https://hal.science/hal-03566030/file/2021-Guidelines%20for%20the%20Specification%20of%20IoT%20Requirements.pdf BibTex
titre
State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements
auteur
Camille Salinesi, Asmaa Achtaich, Nissrine Souissi, Raul Mazo, Ounsa Roudies, Angela Villota
article
Journal of Integrated Design and Process Science, 2021, 25 (2), pp.80-99. ⟨10.3233/JID210027⟩
Accès au bibtex
BibTex

Conference papers

titre
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search
auteur
Camilo Correa, Jacques Robin, Raul Mazo, Salvador Abreu
article
16th International Conference on Risks and Security of Internet and Systems, CRISIS 2021, Nov 2021, Virtual, Online, United States. pp.91-107, ⟨10.1007/978-3-031-02067-4_6⟩
Accès au bibtex
BibTex
titre
A SysML-based Holistic Variability Modelling of Software and Systems Product Lines
auteur
Olfa Ferchichi, Raoudha Beltaifa, Raul Mazo, Lamia Labed Jilani
article
34th International Conference on Computer Applications in Industry and Engineering, CAINE 2021, Oct 2021, Virtual online, United States. pp.99 - 112
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-03708288/file/A_SysML-based_Holistic_Variability_Modelling_of_Software_and_Systems_Product_Lines.pdf BibTex
titre
Fouille de Processus de Configuration dans les Lignes de Produits
auteur
Camille Salinesi, Houssem Chemingui, Ines Gam, Raul Mazo, Henda Benghezala
article
INFORSID, Jun 2021, Dijon, France
Accès au texte intégral et bibtex
https://hal.science/hal-03252121/file/Fouille%20de%20Processus%20de%20Configuration%20dans%20les%20Lignes%20de%20Produits%20%285%29.pdf BibTex
titre
SDN Intent-based conformance checking: application to security policies
auteur
Nicolas Herbaut, Camilo Correa, Jacques Robin, Raul Mazo
article
7th IEEE International Conference on Network Softwarization (IEEE NetSoft 2021), Jun 2021, Tokyo (virtual), Japan
Accès au texte intégral et bibtex
https://hal.science/hal-03207525/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Devising Configuration Guidance with Process Mining Support
auteur
Houssem Chemingui, Camille Salinesi, Inès Gam, Raul Mazo, Henda Ben Ghezala
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03252153/file/Preprint%20Chemingui.pdf BibTex

2020

Journal articles

titre
Comparando dos estrategias de aprendizaje activo para enseñar Scrum en un curso introductorio de ingeniería de software
auteur
Silvia I. Lozano, Elizabeth Suescún, Paola Vallejo, Raúl Mazo, Daniel Correa
article
Ingeniare : Revista Chilena de Ingeniería, 2020, 28 (1), pp.83-94. ⟨10.4067/S0718-33052020000100083⟩
Accès au bibtex
BibTex
titre
Towards a new template for the specification of requirements in semi-structured natural language
auteur
Raul Mazo, Carlos Andrés Jaramillo, Paola Vallejo, Jhon Harvey Medina
article
Journal of Software Engineering Research and Development, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02502411/file/2020-Towards%20a%20new%20template%20for%20the%20specification%20of%20requirements%20in%20semi-structured%20natural%20language_JSERD.pdf BibTex

Conference papers

titre
Contract-based design patterns: a design by contract approach to specify security patterns
auteur
Caine Silva, Sylvain Guérin, Raul Mazo, Joël Champeau
article
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
Accès au bibtex
BibTex
titre
A Unified Vision of Configurable Software
auteur
Houssem Chemingui, Ines Gam, Raul Mazo, Henda Benghezala, Camille Salinesi
article
Inforsid, Jun 2020, Dijon, France. ⟨10.3166/RCMA.25.1-n⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03252096/file/CHEMINGUI_A%20Unified%20Vision%20of%20Configurable%20Software%20%285%29.pdf BibTex
titre
Preference-based Conflict Resolution for Collaborative Configuration of Product Lines
auteur
Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala
article
International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.science/hal-02502398/file/2020_Preference-based%20Conflict%20Resolution%20for%20Collaborative%20Configuration_ENASE.pdf BibTex
titre
A Domain-specific Modeling Framework for Attack Surface Modeling
auteur
Tithnara Nicolas Sun, Bastien Drouot, Fahad R Golra, Joël Champeau, Sylvain Guerin, Luka Le Roux, Raul Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L ' Hostis
article
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02502387/file/2020_A%20Domain-specific%20Modeling%20Framework%20for%20Attack%20Surface%20Modeling_ICISSP.pdf BibTex

2019

Journal articles

titre
Collaborative configuration approaches in software product lines engineering: a systematic mapping study
auteur
Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala
article
Journal of Systems and Software, 2019, 158, ⟨10.1016/j.jss.2019.110422⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02302669/file/Article.pdf BibTex
titre
Management Capabilities for Mobile and IoT Devices: An Evaluation Framework
auteur
Asmaa Achtaich, Raul Mazo, Nissrine Souissi, Camille Salinesi, Ounsa Roudies
article
International Journal of Engineering and Advanced Technology, 2019, 8 (6), pp.420-430. ⟨10.35940/ijeat.E7822.088619⟩
Accès au bibtex
BibTex
titre
A Constraint-based Approach to Deal with Self-Adaptation: The Case of Smart Irrigation Systems
auteur
Asmaa Achtaich, Nissrine Souissi, Camille Salinesi, Raúl Mazo, Ounsa Roudies
article
International journal of advanced computer science and applications (IJACSA), 2019, 10 (7), ⟨10.14569/IJACSA.2019.0100727⟩
Accès au bibtex
BibTex

Conference papers

titre
Product Line Configuration Meets Process Mining
auteur
Houssem Chemingui, Ines Gam, Raul Mazo, Camille Salinesi, Henda Ben Ghézala
article
CENTERIS, Oct 2019, Sousse, Tunisia. pp.199-210, ⟨10.1016/j.procs.2019.12.173⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02295954/file/pub528_ep.pdf BibTex
titre
REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
auteur
Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin, Raúl Mazo, Elena Gallego
article
International Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.406-417, ⟨10.1007/978-3-030-29852-4_34⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02428581/file/REVAMP_project_paper_Tools50%2B1%20%28review%29.pdf BibTex
titre
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges
auteur
Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin, Raul Mazo, Elena Gallego
article
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Oct 2019, Innopolis, Russia. pp.406-417, ⟨10.1007/978-3-030-29852-4_34⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-03968251/file/SadovykhEtAlFromHAL.pdf BibTex
titre
Analyzing the convenience of adopting a product line engineering approach
auteur
Luisa Rincón, Raul Mazo, Camille Salinesi
article
Proceedings of the 23rd International Systems and Software Product Line Conference, Sep 2019, Paris, France. pp.1-8, ⟨10.1145/3307630.3342418⟩
Accès au bibtex
BibTex
titre
Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado
auteur
Raúl Mazo, Carlos Jaramillo
article
Requirements Engineering Track (RET) of CIbSE, 2019, Habana, Cuba
Accès au texte intégral et bibtex
https://hal.science/hal-02502483/file/2019_Hacia%20una%20nueva%20plantilla%20para%20la%20especificacio%CC%81n%20de%20requisitos%20en%20lenguaje%20natural%20semi-estructurado_CIbSE.pdf BibTex
titre
The High-Level Variability Language: An Ontological Approach
auteur
Angela Villota, Raúl Mazo, Camille Salinesi
article
International Systems and Software Product Line Conference-Volume B, 2019, Paris, France. ⟨10.1145/3307630.3342401⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02503004/file/2019_The%20High-Level%20Variability%20Language-An%20Ontological%20Approach_SPLC.pdf BibTex
titre
A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
auteur
Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
article
International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland
Accès au bibtex
BibTex

Poster communications

titre
Product Line Configurations guided by Process Traces
auteur
Houssem Chemingui, Camille Salinesi, Inès Gam El Golli, Raul Mazo, Henda Benghezala
article
Journées nationales du Génie de la Programmation et du Logiciel, Jun 2019, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02295947/file/Houssem%20CHEMINGUI%20Poster%20V2%20%282%29%20%281%29.pdf BibTex

Proceedings

titre
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A
auteur
Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thum, Tewfik Ziadi
article
2019
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
ConfiLog: An approach to Guide Product Line Configuration Processes based on Configuration Traces
auteur
Houssem Chemingui, Ines Gam, Raul Mazo, Camille Salinesi, Henda Ben Ghézala
article
2019
Accès au texte intégral et bibtex
https://hal.science/hal-02295969/file/ConfiLog_%20A%20method%20to%20Guide%20Product%20Line%20Configuration%20Processes%20based%20on%20Configuration%20Traces%20%281%29.pdf BibTex

2018

Journal articles

titre
Evaluating Company’s Readiness for Adopting Product Line Engineering: a Second Evaluation Round
auteur
Luisa Rincón, Raul Mazo, Camille Salinesi
article
Complex Systems Informatics and Modeling Quarterly, 2018, 17, pp.69-94. ⟨10.7250/csimq.2018-17.04⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02302992/file/2522-9162-3-PB.pdf BibTex
titre
A DSPL Design Framework for SASs: A Smart Building Example
auteur
Asmaa Achtaich, Nissrine Souissi, Raul Mazo, Ounsa Roudies, Camille Salinesi
article
EAI Endorsed Transactions on Smart Cities, 2018, 2 (8), ⟨10.4108/eai.26-6-2018.154829⟩
Accès au bibtex
BibTex

Conference papers

titre
How Useful and Understandable is the APPLIES Framework? a Preliminary Evaluation With Software Practitioners
auteur
Luisa Rincón, Raul Mazo, Camille Salinesi
article
2018 ICAI Workshops (ICAIW), Nov 2018, Bogota, Colombia. pp.1-6, ⟨10.1109/ICAIW.2018.8555002⟩
Accès au bibtex
BibTex
titre
APPLIES: A framework for evaluAting organization's motivation and preparation for adopting product lines
auteur
Luisa Rincón, Raúl Mazo, Camille Salinesi
article
Proceedings of the 2018 12th International Conference on Research Challenges in Information Science (RCIS), May 2018, Nantes, France. pp.1-12, ⟨10.1109/RCIS.2018.8406641⟩
Accès au bibtex
BibTex

2017

Conference papers

titre
Designing a Framework for Smart IoT Adaptations
auteur
Asmaa Achtaich, Nissrine Souissi, Raul Mazo, Camille Salinesi, Ounsa Roudies
article
International Conference on Emerging Technologies for Developing Countries, Mar 2017, Marrakech, Morocco
Accès au texte intégral et bibtex
https://hal.science/hal-01592470/file/2017_Designing%20a%20Framework%20for%20Smart%20IoT%20Adaptations%20-%20Africatek.pdf BibTex

Preprints, Working Papers, ...

titre
Using the AMAN-DA method to generate security requirements: a case study in the maritime domain
auteur
Amina Souag, Raúl Mazo, Camille Salinesi, Isabelle Comyn-Wattiau
article
2017
Accès au texte intégral et bibtex
https://hal.science/hal-01584857/file/AMANDA-%20Case%20study%20in%20the%20maritime%20domain.pdf BibTex

2016

Journal articles

titre
Reference software architecture for improving modifiability of personalised web applications - a controlled experiment
auteur
Luz-Viviana Cobaleda, Raul Mazo, Jorge Luis Risco Becerra, John-Freddy Duitama
article
International Journal of Web Engineering and Technology, 2016, 11 (4), pp.351-370. ⟨10.1504/IJWET.2016.081768⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01527375/file/2016_Reference%20software%20architecture%20for%20improving%20modifiability%20of%20personalised%20web%20applications%20%E2%80%93%20a%20controlled%20experiment_IJWET.pdf BibTex
titre
Requirements Analysis for Context-oriented Systems
auteur
Manuele Kirsch Pinheiro, Manuele Kirsch-Pinheiro, Raul Mazo, Carine Souveyet, Danillo Sprovieri
article
Procedia Computer Science, 2016, 83, pp.253-261. ⟨10.1016/j.procs.2016.04.123⟩
Accès au bibtex
BibTex

Conference papers

titre
Run-time planning of case-based business processes
auteur
Danillo Sprovieri, Daniel Diaz, Raul Mazo, Knut Hinkelmann
article
IEEE 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 6, ⟨10.1109/RCIS.2016.7549282⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01423708/file/RCIS2016_Run-Time%20Planning%20of%20Case-based%20Business%20Processes.pdf BibTex
titre
Requirements Analysis for Context-oriented Systems
auteur
Manuele Kirsch-Pinheiro, Raul Mazo, Carine Souveyet, Danillo Sprovieri
article
The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) , May 2016, Madrid, Spain. ⟨10.1016/j.procs.2016.04.123⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01527345/file/Requirements%20Analysis%20for%20Context-oriented%20Systems_ANT_2016.pdf BibTex

Book sections

titre
Context Management and Intention Mining for Adaptive Systems in Mobile Environments: from Business Process Management to Video Games?
auteur
Rébecca Deneckère, Charlotte Hug, Ali Jaffal, Manuele Kirsch Pinheiro, Bénédicte Le Grand, Raúl Mazo, Irina Rychkova
article
Digital Interfaces in Situation of Mobility: Cognitive, Artistic and Game devices, 2016
Accès au texte intégral et bibtex
https://hal.science/hal-03878736/file/4.%20IS_2015_Digital%20Interfaces%20in%20Situations%20of%20Mobility_Research_in_Games.pdf BibTex

Books

titre
Construcción de Modelos de Características: Un Marco para Comparar y Clasificar Propuestas.
auteur
Ricardo Gacitua, Samuel Sepulveda, Raul Mazo
article
2016
Accès au bibtex
BibTex

2015

Journal articles

titre
Towards a requirements specification multi-view framework for self-adaptive systems
auteur
Juan C Muñoz-Fenández, Gabriel Tamura, Raúl Mazo, Camille Salinesi
article
CLEI electronic journal, 2015, Best Papers from CLEI 2014 Special Issue, 18 : 2015 (2, August 2015)
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01215245/file/CLEI-Journal.pdf BibTex
titre
Method to Identify Corrections of Defects on Product Line Models
auteur
Luisa Rincón-Perez, Gloria-Lucia Giraldo-Gómez, Raul Mazo, Camille Salinesi, Daniel Diaz
article
Electronic Notes in Theoretical Computer Science, 2015, 314, pp.61-81. ⟨10.1016/j.entcs.2015.05.005⟩
Accès au bibtex
BibTex
titre
Reusable knowledge in security requirements engineering: a systematic mapping study
auteur
Amina Souag, Raul Mazo, Camille Salinesi, Isabelle Comyn-Wattiau
article
Requirements Engineering, 2015, pp.1-33. ⟨10.1007/s00766-015-0220-8⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01133226/file/Reusable%20knowledge%20in%20SRE%20V15.pdf https://paris1.hal.science/hal-01133226/file/Reuse%20in%20SRE%20Final.pdf BibTex

Conference papers

titre
Continuous Monitoring of Adaptive e-learning Systems Requirements
auteur
Lamiae Dounas, Raul Mazo, Camille Salinesi, Omar El Beqqali
article
12th ACS/IEEE International Conference on Computer Systems and Applications ( AICCSA 2015 ), Nov 2015, Marrakech Morocco
Accès au bibtex
BibTex
titre
Continuous monitoring of adaptive e-learning systems requirements
auteur
Lamiae Dounas, Raul Mazo, Camille Salinesi, Omar El Beqqali
article
12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), Nov 2015, Marrakech, Morocco. ⟨10.1109/AICCSA.2015.7507210⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01527357/file/Continuous%20Monitoring%20of%20Adaptive%20e-learning%20Systems%20Requirements_IACCSA%202015.pdf BibTex
titre
VariaMos: an extensible tool for engineering (dynamic) product lines
auteur
Raul Mazo, Juan C Muñoz-Fernández, Luisa Rincón-Perez, Camille Salinesi, Gabriel Tamura
article
SPLC 2015, Vanderbilt University, Jul 2015, Nashville, United States. pp.374-379, ⟨10.1145/2791060.2791103⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01185815/file/Tool%20Paper%20SPLC_V23%20-%20with%20appendix.pdf BibTex
titre
REFAS: A PLE Approach for Simulation of Self-Adaptive Systems Requirements
auteur
Juan C Muñoz-Fernández, Gabriel Tamura, Irina Raicu, Raúl Mazo, Camille Salinesi
article
SPLC 2015, Vanderbilt University, Jul 2015, Nashville, United States. pp.444, ⟨10.1145/2791060.2791102⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01185791/file/REFAS%20paper%20SPLCv27.pdf BibTex
titre
Runtime Requirements Monitoring Framework for Adaptive e-Learning Systems
auteur
Lamiae Dounas, Raul Mazo, Camille Salinesi, Omar El Beqqali
article
International Conference on Software & Systems Engineering and their Applications (ICSSEA'15), May 2015, Paris, France
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01214172/file/PAPER-ICSSEA_DOUNASLAMIAE-8.pdf BibTex
titre
Three strategies to Specify Multi-Instantiation in Product Lines
auteur
Raouia Triki, Camille Salinesi, Raul Mazo
article
IEEE RCIS 2015, May 2015, athène, Greece
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01151971/file/Article%20RCIS%202015_ProceedingsF.pdf BibTex
titre
A Security Ontology for Security Requirements Elicitation
auteur
Amina Souag, Camille Salinesi, Raul Mazo, Isabelle Comyn-Wattiau
article
International Symposium on Engineering Secure Software and Systems, Mar 2015, Milan, Italy. ⟨10.1007/978-3-319-15618-7_13⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01153319/file/chp_10.1007_978-3-319-15618-7_13.pdf BibTex

2014

Journal articles

titre
Avantages et limites des modèles de caractéristiques dans la modélisation des exigences de variabilité
auteur
Raul Mazo
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 111, pp.42-48
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01108917/file/Avantages%20et%20limites%20des%20mod%C3%A8les%20de%20caract%C3%A9ristiques%20dans%20la%20mod%C3%A9lisation%20des%20exigences%20de%20variabilit%C3%A9-GL-111-Dec%202014-MAZO.pdf BibTex
titre
Using software product line to improve ERP engineering : literature review and analysis
auteur
Raul Mazo, Saïd Assar, Camille Salinesi, Noura Ben Hassen
article
Latin-American Journal of Computing, 2014, 1 (1)
Accès au texte intégral et bibtex
https://hal.science/hal-02397633/file/Mazo_Assar_%26_al-2014.pdf BibTex
titre
Dynamic adaptation of service compositions with variability models
auteur
G.H. Alférez, V. Pelechano, Raul Mazo, Daniel Diaz, Camille Salinesi
article
Journal of Systems and Software, 2014, 91, pp.24-47. ⟨10.1016/j.jss.2013.06.034⟩
Accès au bibtex
BibTex
titre
Identifying dead features and their causes in product line models: an ontological approach
auteur
Gloria-Lucia Giraldo-Gómez, Luisa Rincón-Perez, Raúl Mazo
article
DYNA, 2014, 81 (183), pp.68 - 77
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01071250/file/Identifying_dead_features_and_their_causes_in_product_line_models-_an_ontological_approach_DYNA_2014.pdf BibTex

Conference papers

titre
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines
auteur
Jabier Martinez, Tewfik Ziadi, Raul Mazo, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
article
IEEE Working Conference on Software Visualization (VISSOFT 2014), Sep 2014, Victoria, Canada. pp.50 - 59, ⟨10.1109/VISSOFT.2014.18⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01108898/file/Feature%20Relations%20Graphs-A%20Visualisation%20Paradigm%20for%20Feature%20Constraints%20in%20Software%20Product%20Lines%20-%20VISSOFT%202014.pdf BibTex
titre
Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems
auteur
Muñoz-Fenández Juan C, Gabriel Tamura, Raúl Mazo, Camille Salinesi
article
2014 XL Latin American Computing Conference (CLEI), Montevideo, Uruguay, September 15-19, 2014, Sep 2014, Montevideo, Uruguay
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01071294/file/CLEI2014.pdf BibTex
titre
Método para Identificar Correcciones de Defectos en Modelos de Características que representan Líneas de Productos / Method to identify corrections of defects on product line models
auteur
Luisa Rincón-Perez, Gloria-Lucia Giraldo-Gómez, Raúl Mazo, Camille Salinesi, Daniel Diaz
article
XL Latin American Computing Conference (CLEI), Sep 2014, Montevideo, Uruguay
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01071278/file/Method_to_identify_corrections_of_defects_on_product_line_models_CLEI_2014.pdf BibTex

Book sections

titre
Combining configuration and recommendation to enable an interactive guidance of product line configuration
auteur
Raouia Triki, Raul Mazo, Camille Salinesi
article
Gérald Kembellec, Ghislaine Chartron et Imad Saleh. Les systèmes et moteurs de recommandation, Hermès, pp.141-160, 2014
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01071284/file/combining_configuration_and_recommendation_V8.pdf BibTex
titre
Recommendation Heuristics for Improving Product Line Configuration Processes
auteur
Raúl Mazo, Cosmin Dumitrescu, Camille Salinesi, Daniel Diaz
article
Robillard M, Maalej W., Walker R. and Zimmermann T. Recommendation Systems in Software Engineering, Springer, pp.100, 2014, 978-3-642-45135-5
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00914021/file/Recommendation_Heuristics_for_Improving_Product_Line_Coni_guration_Processes_Recommendation_Systems_in_Software_Engineering_Book_2014.pdf BibTex

2013

Conference papers

titre
Capturing variability in Model Based Systems Engineering
auteur
Cosmin Dumitrescu, Patrick Tessier, Camille Salinesi, Sébastien Gerard, Alain Dauron, Raúl Mazo
article
Complex Systems Design & Management (CSD&M) Conference, Dec 2013, Paris, France. pp.100-115
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01071304/file/Capturing_Variability_in_Model-based_Systems_Engineering_Process_CSD_M-2013.pdf BibTex
titre
Material Needs Forecast for Product Lines, a Bayesian-based Analysis Approach
auteur
Raúl Mazo, Gloria-Lucia Giraldo-Gómez, Leon Jaramillo, Camille Salinesi, Cosmin Dumitrescu
article
25th International Conference on Software and Systems Engineering and their Applications (ICSSEA), Nov 2013, France
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01071290/file/Material_Needs_Forecast_for_Product_Lines-a_Bayesian-based_Analysis_Approach.pdf BibTex
titre
Material Needs Forecast for Product Lines, a Bayesian-based Analysis Approach
auteur
Raúl Mazo, Gloria Lucia Giraldo, Leon Jaramillo, Camille Salinesi, Cosmin Dumitrescu
article
25th International Conference on Software and Systems Engineering and their Applications (ICSSEA), Nov 2013, Paris, France
Accès au bibtex
BibTex
titre
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
auteur
Luisa Rincón, Gloria Lucia Giraldo, Raúl Mazo, Camille Salinesi
article
XXXIX Latin American Computing Conference (CLEI), Oct 2013, Naiguatá, Venezuela
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00913944/file/An_Ontological_Rule-Based_Approach_for_Analyzing_D_and_FO_Features_in_FMs.pdf BibTex
titre
Bridging the Gap Between Product Lines and Systems Engineering: An experience in Variability Management for Automotive Model-based Systems Engineering
auteur
Cosmin Dumitrescu, Raúl Mazo, Camille Salinesi, Alain Dauron
article
17th International Software Product Line Conference (SPLC), Aug 2013, Tokio, Japan
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00914011/file/Bridging_the_gap_between_product_lines_and_systems_engineering._An_experience_in_variability_management_for_automotive_model_based_systems_engineering_SPLC_2013.pdf BibTex
titre
Subconjuntos Mínimos de Corrección para explicar características muertas en Modelos de Líneas de Productos. El caso de los Modelos de Características
auteur
Luisa Rincón, Gloria Lucia Giraldo, Raúl Mazo, Camille Salinesi, Daniel Diaz
article
8th Computer Colombian Conference (CCC), Aug 2013, Armenia, Colombia
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00914015/file/Subconjuntos_MA_nimos_de_CorrecciA_n_para_explicar_caracterA_sticas_muertas_en_Modelos_de_LA_neas_de_Productos._El_caso_de_los_Modelos_de_CaracterA_sticas_CCC_2013.pdf BibTex

2012

Journal articles

titre
Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems
auteur
Pete Sawyer, Raul Mazo, Daniel Diaz, Camille Salinesi, Danny Hughes
article
Special Issue in IEEE Computer Dynamic Software Product Lines, 2012, pp.1-12
Accès au texte intégral et bibtex
https://hal.science/hal-00747723/file/CO_COMSI-2012-04-0066.R1_Sawyer-Full-Text.pdf BibTex
titre
Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy
auteur
Raul Mazo, Camille Salinesi, Olfa Djebbi, Daniel Diaz, Alberto Lora-Michiels
article
International Journal of Information System Modeling and Design, 2012, 3 (2), pp.50
Accès au texte intégral et bibtex
https://hal.science/hal-00707522/file/Final_manuscript_on_the_journaltemplate-with_images.pdf BibTex

Conference papers

titre
VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach
auteur
Raul Mazo, Camille Salinesi, Daniel Diaz
article
24th International Conference on Advanced Information Systems Engineering (CAiSE Forum'12), Jun 2012, Gdansk, Poland
Accès au texte intégral et bibtex
https://hal.science/hal-00707551/file/VariaMos_a_Tool_for_Product_Line_Driven_Systems_Engineering_with_a_Constraint_Based_Approach.pdf BibTex
titre
Combining configuration and recommendation to define an interactive product line configuration approach
auteur
Camille Salinesi, Raouia Triki, Raul Mazo
article
Journée d'étude sur les moteurs de recommandation, Jun 2012, PARIS, France
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00707369/file/combining_configuration_and_recommendation_to_define_an_interactive_product_line_configuration_approach.pdf BibTex

Book sections

titre
Defects in Product Line Models and how to Identify them
auteur
Camille Salinesi, Raul Mazo
article
Abdelrahman Elfaki. Software Product Line - Advanced Topic, InTech editions, pp.50, 2012, 978-953-51-0436-0
Accès au texte intégral et bibtex
https://hal.science/hal-00707461/file/Defects-in-product-line-models-and-how-to-identify-them-SecondCorrection.pdf BibTex

2011

Journal articles

titre
Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models
auteur
Raul Mazo, Camille Salinesi, Daniel Diaz
article
INSIGHT - International Council on Systems Engineering (INCOSE), 2011, 14 (4), pp.22
Accès au texte intégral et bibtex
https://hal.science/hal-00707418/file/INSIGHT-Abstract_Constraints_-_A_General_Framework_for_Solver-Independent_Reasonning_on_PLMs_V03.pdf BibTex

Conference papers

titre
Conformance Checking with Constraint Logic Programming: The Case of Feature Models
auteur
Raul Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed
article
In 35th IEEE International Computer Software and Applications Conference (COMPSAC), Jul 2011, Munich, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-00707545/file/Conformance_Checking_with_Constraint_Logic_Programming_V22_IEEE_COMPSAC.pdf BibTex
titre
Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains
auteur
Raul Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels
article
6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Jun 2011, Beijing, China
Accès au texte intégral et bibtex
https://hal.science/hal-00707546/file/Transforming_Attribute_and_Clone-Enabled_FMs_Into_CP_over_FDs-_ENASE-2011-v11.pdf BibTex
titre
Constraints: the Core of Product Line Engineering
auteur
Camille Salinesi, Raul Mazo, Olfa Djebbi, Daniel Diaz, Alberto Lora-Michiels
article
Fifth IEEE International Conference on Research Challenges in Information Science (RCIS), May 2011, Guadeloupe, France
Accès au texte intégral et bibtex
https://hal.science/hal-00707544/file/RCIS_11_Constraints_the_Core_of_Product_Line_Engineering_V13_acceptedIEEE_-_corrections_CS_Raul.pdf BibTex
titre
Using Constraint Programming to Verify DOPLER Variability Models
auteur
Raul Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz
article
5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium
Accès au texte intégral et bibtex
https://hal.science/hal-00707543/file/Formal_Verification_of_Dopler_Variability_Models_vamos2011_ACM.pdf BibTex

Theses

titre
A Generic Approach for Automated Verification of Product Line Models
auteur
Raul Mazo
article
Software Engineering [cs.SE]. Université Panthéon-Sorbonne - Paris I, 2011. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00707351/file/Thesis-RaulMAZO-18-05-2012.pdf BibTex

2010

Conference papers

titre
Solving Integer Constraint in Reuse Based Requirements Engineering
auteur
Camille Salinesi, Raul Mazo, Daniel Diaz, Olfa Djebbi
article
18th IEEE International Conference on Requirements Engineering (RE'10), Sep 2010, Sydney, Australia. pp.50
Accès au texte intégral et bibtex
https://hal.science/hal-00707542/file/RE-2010_Solving_Integer_Constraint_in_Reuse_Based_Requirements_Engineering.pdf BibTex
titre
Using Integer Constraint Solving in Reuse Based Requirements Engineering
auteur
Camille Salinesi, Raul Mazo, Daniel Diaz, Olfa Djebbi
article
18th IEEE International Requirements Engineering Conference (RE), 2010, Sep 2010, Sydney, Australia. pp.243-251, ⟨10.1109/RE.2010.36⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00662891/file/RE10%28Daniel-Olfa-Raul%29%20CR.pdf BibTex
titre
Criteria for the verification of feature models
auteur
Camille Salinesi, Raul Mazo, Daniel Diaz
article
INFORSID 2010, May 2010, Marseille, France
Accès au texte intégral et bibtex
https://hal.science/hal-00707534/file/Criteria_for_the_verification_of_feature_models_INFORSID2010-Final_Version.pdf BibTex
titre
A Method based on Association Rules to Construct Product Line Model
auteur
Alberto Lora-Michiels, Camille Salinesi, Raul Mazo
article
4th International Workshop on Variability Modelling of Software-intensive Systems (VaMos), Jan 2010, Linz, Austria. pp.50
Accès au texte intégral et bibtex
https://hal.science/hal-00707527/file/ArticuloVaMoS-07Jan10-reviewed.pdf BibTex

2009

Conference papers

titre
Spécification d'Exigences dans le Contexte de Lignes de Produits.
auteur
Camille Salinesi, Daniel Diaz, Raul Mazo, Olfa Djebbi
article
Journée Action IDM - INFORSID Exigence, Traçabilité et Co-conception dans les processus de développement, Oct 2009, France
Accès au bibtex
BibTex
titre
The Baxter Return of Experience on the Use of Association Rules to Construct its Product Line Model
auteur
Alberto Lora-Michiels, Camille Salinesi, Raul Mazo
article
Journée SPL, Lignes de produits logiciels et usines logicielles, Oct 2009, Nantes, France
Accès au texte intégral et bibtex
https://hal.science/hal-00707526/file/Product_Line_Model_Construction-Nantes_Final.pdf BibTex
titre
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. (Poster)
auteur
Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raul Mazo, Colette Rolland
article
17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.375-376, ⟨10.1109/RE.2009.52⟩
Accès au bibtex
BibTex
titre
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria
auteur
Camille Salinesi, Colette Rolland, Daniel Diaz, Raul Mazo
article
17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.385-386, ⟨10.1109/RE.2009.57⟩
Accès au bibtex
BibTex
titre
VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models
auteur
Camille Salinesi, Colette Rolland, Raul Mazo
article
International Workshop on Variability Modelling of Software-intensive Systems, Jan 2009, Seville, Spain. pp.173-176
Accès au bibtex
BibTex
titre
VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models
auteur
Camille Salinesi, Colette Rolland, Raul Mazo
article
International Workshop on Variability Modelling of Software-intensive Systems (VaMos), Jan 2009, Sevilla, Spain. pp.173
Accès au texte intégral et bibtex
https://hal.science/hal-00707523/file/VMWare_Tool_Support_for_Product_Line_Models_Verification_and_Validation_-_Published_in_VaMoS_09.pdf BibTex

Reports

titre
An Ontology of Verification Criteria in the Product Line Domain
auteur
Camille Salinesi, Colette Rolland, Raul Mazo
article
2009
Accès au bibtex
BibTex

2008

Other publications

titre
Methods, Techniques and Tools for PLM Verification
auteur
Raul Mazo, Camille Salinesi
article
2008
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Methods, Techniques and Tools for Product Line Model Verification
auteur
Raul Mazo, Camille Salinesi
article
2008
Accès au texte intégral et bibtex
https://shs.hal.science/halshs-00323675/file/Methods_Techniques_and_Tools_for_PLM_Verification.pdf BibTex

2007

Journal articles

titre
BÚSQUEDA DE OBJETOS DE APRENDIZAJE A PARTIR DE OBJETIVOS INSTRUCCIONALES ESCRITOS EN LENGUAJE NATURAL
auteur
Aldrin Fredy Jaramillo, John Freddy Duitama, Juan Fernando Vélez, Raul Mazo
article
Journal TECNO-LÓGICAS, ITM - Medellín-Colombia, 2007, 1 (19), pp.1
Accès au texte intégral et bibtex
https://hal.science/hal-00707397/file/Busquedadeobjetosdeaprendizaje_In_Tecno-logicas-ITM_year_2007_ISSN_0123-7799.pdf BibTex