Processus pour la Vérification et Validation de Modèles de Lignes de Produits. - Raúl Mazo (INFORSID, 2009)

Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. - Camille Salinesi; Daniel Diaz 001; Olfa Djebbi; Raúl Mazo; Colette Rolland (RE, 2009)

Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. - Camille Salinesi; Colette Rolland; Daniel Diaz 001; Raúl Mazo (RE, 2009)

VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. - Camille Salinesi; Colette Rolland; Raúl Mazo (VaMoS, 2009)

Criteria for the verification of feature models. - Camille Salinesi; Raúl Mazo; Daniel Diaz 001 (INFORSID, 2010)

Using Integer Constraint Solving in Reuse Based Requirements Engineering. - Camille Salinesi; Raúl Mazo; Daniel Diaz 001; Olfa Djebbi (RE, 2010)

A Method Based on Association Rules to Construct Product Line Models. - Alberto Lora-Michiels; Camille Salinesi; Raúl Mazo (VaMoS, 2010)

Conformance Checking with Constraint Logic Programming: The Case of Feature Models. - Raúl Mazo; Roberto Erick Lopez-Herrejon; Camille Salinesi; Daniel Diaz 001; Alexander Egyed (COMPSAC, 2011)

Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains. - Raúl Mazo; Camille Salinesi; Daniel Diaz 001; Alberto Lora-Michiels (ENASE, 2011)

Constraints: The core of product line engineering. - Camille Salinesi; Olfa Djebbi; Raúl Mazo; Daniel Diaz 001; Alberto Lora-Michiels (RCIS, 2011)

Using constraint programming to verify DOPLER variability models. - Raúl Mazo; Paul Grünbacher; Wolfgang Heider; Rick Rabiser; Camille Salinesi; Daniel Diaz 001 (VaMoS, 2011)

A Generic Approach for Automated Verification of Product Line Models. - Raúl Mazo (2011)

VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. - Raúl Mazo; Camille Salinesi; Daniel Diaz 001 (CAiSE Forum, 2012)

Using Constraint Programming to Manage Configurations in Self-Adaptive Systems. - Pete Sawyer; Raúl Mazo; Daniel Diaz 001; Camille Salinesi; Danny Hughes 001 (Computer, 2012)

Combining configuration and recommendation to define an interactive product line configuration approach - Camille Salinesi; Raouia Triki; Raúl Mazo (CoRR, 2012)

Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. - Raúl Mazo; Camille Salinesi; Daniel Diaz 001; Olfa Djebbi; Alberto Lora-Michiels (Int. J. Inf. Syst. Model. Des., 2012)

Capturing Variability in Model Based Systems Engineering. - Cosmin Dumitrescu; Patrick Tessier; Camille Salinesi; Sébastien Gérard; Alain Dauron; Raúl Mazo (CSDM, 2013)

Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering. - Cosmin Dumitrescu; Raúl Mazo; Camille Salinesi; Alain Dauron (SPLC, 2013)

An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models. - L. F. Rincón; Gloria Giraldo; Raúl Mazo; Camille Salinesi (CLEI Selected Papers, 2013)

Recommendation Heuristics for Improving Product Line Configuration Processes. - Raúl Mazo; Cosmin Dumitrescu; Camille Salinesi; Daniel Diaz 001 (Recommendation Systems in Software Engineering, 2014)

Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines. - Jabier Martinez; Tewfik Ziadi; Raúl Mazo; Tegawendé F. Bissyandé; Jacques Klein; Yves Le Traon (VISSOFT, 2014)

Method to Identify Corrections of Defects on Product Line Models. - L. F. Rincón; Gloria Lucía Giraldo G.; Raúl Mazo; Camille Salinesi; Daniel Diaz 001 (CLEI Selected Papers, 2014)

Dynamic adaptation of service compositions with variability models. - Germán H. Alférez; Vicente Pelechano; Raúl Mazo; Camille Salinesi; Daniel Diaz 001 (J. Syst. Softw., 2014)

Continuous monitoring of adaptive e-learning systems requirements. - Lamiae Dounas; Raúl Mazo; Camille Salinesi; Omar El Beqqali (AICCSA, 2015)

A Security Ontology for Security Requirements Elicitation. - Amina Souag; Camille Salinesi; Raúl Mazo; Isabelle Comyn-Wattiau (ESSoS, 2015)

Three strategies to specify multi-instantiation in product lines. - Raouia Triki; Camille Salinesi; Raúl Mazo (RCIS, 2015)

VariaMos: an extensible tool for engineering (dynamic) product lines. - Raúl Mazo; Juan C. Muñoz-Fernández; Luisa Rincón; Camille Salinesi; Gabriel Tamura (SPLC, 2015)

REFAS: a PLE approach for simulation of self-adaptive systems requirements. - Juan C. Muñoz-Fernández; Gabriel Tamura; Irina Raicu; Raúl Mazo; Camille Salinesi (SPLC, 2015)

Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems. - Juan C. Muñoz-Fernández; Gabriel Tamura; Raúl Mazo; Camille Salinesi (CLEI Electron. J., 2015)

Requirements Analysis for Context-oriented Systems. - Manuele Kirsch-Pinheiro; Raúl Mazo; Carine Souveyet; Danillo Sprovieri (ANT/SEIT, 2016)

Building feature models: A framework for comparing and classifying proposals. - Ricardo Gacitúa; Samuel Sepúlveda; Raúl Mazo (CLEI, 2016)

Security Alignment Analysis of Software Product Lines. - Danillo Sprovieri; Nikolaos Argyropoulos; Carine Souveyet; Raúl Mazo; Haralambos Mouratidis; Andrew Fish (ES, 2016)

Framework for Engineering Complex Security Requirements Patterns. - Raúl Mazo; Christophe Feltus (ICITCS, 2016)

Run-time planning of case-based business processes. - Danillo Sprovieri; Daniel Diaz 001; Raúl Mazo; Knut Hinkelmann (RCIS, 2016)

Reference software architecture for improving modifiability of personalised web applications - a controlled experiment. - Luz-Viviana Cobaleda; Raúl Mazo; Jorge Luís Risco Becerra; John-Freddy Duitama (Int. J. Web Eng. Technol., 2016)

Reusable knowledge in security requirements engineering: a systematic mapping study. - Amina Souag; Raúl Mazo; Camille Salinesi; Isabelle Comyn-Wattiau (Requir. Eng., 2016)

Designing a Framework for Smart IoT Adaptations. - Asmaa Achtaich; Nissrine Souissi; Raúl Mazo; Camille Salinesi; Ounsa Roudiès (AFRICATEK, 2017)

CME - A Web Application Framework Learning Technique Based on Concerns, Micro-Learning and Examples. - Daniel Correa B.; Fernando Arango Isaza; Raúl Mazo; Gloria Lucía Giraldo (ICWE, 2018)

10 Challenges for the specification of self-adaptive software. - Juan C. Muñoz-Fernández; Raúl Mazo; Camille Salinesi; Gabriel Tamura (RCIS, 2018)

APPLIES: A framework for evaluAting organization's motivation and preparation for adopting product lines. - Luisa Rincón; Raúl Mazo; Camille Salinesi (RCIS, 2018)

On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification. - Ángela Villota; Raúl Mazo; Camille Salinesi (SAM, 2018)

Evaluating Company's Readiness for Adopting Product Line Engineering: a Second Evaluation Round. - Luisa Rincón; Raúl Mazo; Camille Salinesi (Complex Syst. Informatics Model. Q., 2018)

SimulES-W: A Collaborative Game to Improve Software Engineering Teaching. - Mauricio Toro; Elizabeth Suescún; Raúl Mazo; David Velásquez 001; Paola Vallejo 001; Juan F. Cardona; Rafael Rincón; Vera Werneck; Julio César Sampaio do Prado Leite (Computación y Sistemas, 2018)

Using the AMAN-DA method to generate security requirements: a case study in the maritime domain. - Amina Souag; Raúl Mazo; Camille Salinesi; Isabelle Comyn-Wattiau (Requir. Eng., 2018)

Product Line Configuration Meets Process Mining. - Houssem Chemingui; Inès Gam; Raúl Mazo; Camille Salinesi; Henda Ben Ghézala (CENTERIS/ProjMAN/HCist, 2019)

Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado. - Raúl Mazo; Carlos Jaramillo (CIbSE, 2019)

Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines. - Daniel Correa B.; Raúl Mazo; Gloria Lucía Giraldo (ICSR, 2019)

A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. - Jacques Robin; Raúl Mazo; Henrique Madeira; Raul Barbosa; Daniel Diaz 001; Salvador Abreu (SAFECOMP Workshops, 2019)

Evaluation of the state-constraint transition modelling language: a goal question metric approach. - Asmaa Achtaich; Ounsa Roudiès; Nissrine Souissi; Camille Salinesi; Raúl Mazo (SPLC (B), 2019)

Analyzing the convenience of adopting a product line engineering approach: an industrial qualitative evaluation. - Luisa Rincón; Raúl Mazo; Camille Salinesi (SPLC (B), 2019)

The high-level variability language: an ontological approach. - Ángela Villota; Raúl Mazo; Camille Salinesi (SPLC (B), 2019)

REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges. - Andrey Sadovykh; Tewfik Ziadi; Alessandra Bagnato; Thorsten Berger; Jan-Philipp Steghöfer; Jacques Robin; Raúl Mazo; Elena Gallego (TOOLS, 2019)

Collaborative configuration approaches in software product lines engineering: A systematic mapping study. - Sabrine Edded; Sihem Ben Sassi; Raúl Mazo; Camille Salinesi; Henda Hajjami Ben Ghézala (J. Syst. Softw., 2019)

FM-CF: A framework for classifying feature model building approaches. - Ricardo Gacitúa; Samuel Sepúlveda; Raúl Mazo (J. Syst. Softw., 2019)

Contract-based design patterns: a design by contract approach to specify security patterns. - Caine Silva; Sylvain Guérin; Raúl Mazo; Joël Champeau (ARES, 2020)

Preference-based Conflict Resolution for Collaborative Configuration of Product Lines. - Sabrine Edded; Sihem Ben Sassi; Raúl Mazo; Camille Salinesi; Henda Ben Ghézala (ENASE, 2020)

A Domain-specific Modeling Framework for Attack Surface Modeling. - Tithnara Nicolas Sun; Bastien Drouot; Fahad Rafique Golra; Joël Champeau; Sylvain Guérin; Luka Le Roux; Raúl Mazo; Ciprian Teodorov; Lionel Van Aertryck; Bernard L'Hostis (ICISSP, 2020)

A Unified Vision of Configurable Software. - Houssem Chemingui; Inès Gam; Raúl Mazo; Henda Ben Ghézala; Camille Salinesi (INFORSID, 2020)

A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering. - Luisa Rincón; Raúl Mazo; Camille Salinesi (SPLC (B), 2020)

Towards a new template for the specification of requirements in semi-structured natural language. - Paola Vallejo 001; Raúl Mazo; Carlos Jaramillo; Jhon Medina Medina (J. Softw. Eng. Res. Dev., 2020)

Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search. - Camilo Correa; Jacques Robin; Raúl Mazo; Salvador Abreu (CRiSIS, 2021)

An Ontology for Service-Oriented Dynamic Software Product Lines Knowledge Management. - Najla Maalaoui; Raoudha Beltaifa; Lamia Labed Jilani; Raúl Mazo (ENASE, 2021)

SDN Intent-based conformance checking: application to security policies. - Nicolas Herbaut; Camilo Correa; Jacques Robin; Raúl Mazo (NetSoft, 2021)

State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements. - Camille Salinesi; Asmaa Achtaich; Nissrine Souissi; Raúl Mazo; Ounsa Roudiès; Ángela Villota (J. Integr. Des. Process. Sci., 2021)

Robustness testing of a machine learning-based road object detection system: an industrial case. - Anne-Laure Wozniak; Sergio Segura; Raúl Mazo; Sarah Leroy (SE4RAI@ICSE, 2022)

Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned. - George Bravos; Antonio J. Cabrera; Camilo Correa; Dragan Danilovic; Nikolaos Evangeliou; Gilad Ezov; Zoran Gajica; Dusan Jakovetic; Leonidas Kallipolitis; Milan Lukic; Julien-Etienne Mascolo; Davide Masera; et al. (IEEE Access, 2022)

Robustness Testing of an Industrial Road Object Detection System. - Anne-Laure Wozniak; Ngoc Q. K. Duong; Ian Benderitter; Sarah Leroy; Sergio Segura; Raúl Mazo (AITest, 2023)

Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach. - Camilo Correa-Restrepo; Jacques Robin; Raúl Mazo (GPCE, 2023)

Colla-Config: A stakeholders preferences-based approach for product lines collaborative configuration. - Sihem Ben Sassi; Sabrine Edded; Raúl Mazo; Henda Ben Ghézala; Camille Salinesi (J. Syst. Softw., 2023)

Security Contracts a Property-Based Approach to Support Security Patterns. - Sylvain Guérin; Joël Champeau; Salvador Martínez 001; Raúl Mazo (ICISSP, 2024)

Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning. - Camilo Correa-Restrepo; Jacques Robin; Raúl Mazo (MODELS, 2024)

Collaborative Management of Software Product Lines: Lessons Learned from the Development of Real-Time Variability Models. - Oscar Aguayo; Samuel Sepúlveda; Raúl Mazo; Sebastián Calfunao; Sebastián Candia (SCCC, 2024)

E-SCORE: A web-based tool for security requirements engineering. - Hiba Hnaini; Raúl Mazo; Joël Champeau; Paola Vallejo 001; José A. Galindo (SoftwareX, 2024)

Enhancing security requirements specification with SECRET-SCORE: A template-driven and ontology-based approach. - Hiba Hnaini; Raúl Mazo; Paola Vallejo 001; Andrés López; Joël Champeau (Comput. Secur., 2025)