Raúl Mazo

80 papers A 4B 18C 6Journal 22Unranked 27
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cybersecurity of Cyber-Physical Systems in the Quantum Era: A Systematic Literature Review-Based Approach.
Future Internet
Siler Amador, César Jesús Pardo Calvache, Raúl Mazo
2025 J jnl
Enhancing security requirements specification with SECRET-SCORE: A template-driven and ontology-based approach.
Comput. Secur.
Hiba Hnaini, Raúl Mazo, Paola Vallejo, Andrés López, Joël Champeau
2025 J jnl
Enhancing software product lines with machine learning components.
CoRR
Luz-Viviana Cobaleda, Julián Carvajal, Paola Vallejo, Andrés López, Raúl Mazo
2024 — conf
Collaborative Management of Software Product Lines: Lessons Learned from the Development of Real-Time Variability Models.
SCCC
Oscar Aguayo, Samuel Sepúlveda, Raúl Mazo, Sebastián Calfunao, Sebastián Candia
2024 J jnl
E-SCORE: A web-based tool for security requirements engineering.
SoftwareX
Hiba Hnaini, Raúl Mazo, Joël Champeau, Paola Vallejo, José A. Galindo
2024 A conf
Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning.
MODELS
Camilo Correa-Restrepo, Jacques Robin, Raúl Mazo
2024 C conf
Security Contracts a Property-Based Approach to Support Security Patterns.
ICISSP
Sylvain Guérin, Joël Champeau, Salvador Martínez, Raúl Mazo
2023 J jnl
Colla-Config: A stakeholders preferences-based approach for product lines collaborative configuration.
J. Syst. Softw.
Sihem Ben Sassi, Sabrine Edded, Raúl Mazo, Henda Ben Ghézala, Camille Salinesi
2023 B conf
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach.
GPCE
Camilo Correa-Restrepo, Jacques Robin, Raúl Mazo
2023 — conf
Robustness Testing of an Industrial Road Object Detection System.
AITest
Anne-Laure Wozniak, Ngoc Q. K. Duong, Ian Benderitter, Sarah Leroy, Sergio Segura, Raúl Mazo
2023 J jnl
Using Integer Constraint Solving in Reuse Based Requirements Engineering.
CoRR
Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi
2022 J jnl
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned.
IEEE Access
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, Raúl Mazo, Ivan Mezei, Andreas I. 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
2022 — conf
Robustness testing of a machine learning-based road object detection system: an industrial case.
SE4RAI@ICSE
Anne-Laure Wozniak, Sergio Segura, Raúl Mazo, Sarah Leroy
2021 B conf
An Ontology for Service-Oriented Dynamic Software Product Lines Knowledge Management.
ENASE
Najla Maalaoui, Raoudha Beltaifa, Lamia Labed Jilani, Raúl Mazo
2021 C conf
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search.
CRiSIS
Camilo Correa, Jacques Robin, Raúl Mazo, Salvador Abreu
2021 B conf
SDN Intent-based conformance checking: application to security policies.
NetSoft
Nicolas Herbaut, Camilo Correa, Jacques Robin, Raúl Mazo
2021 J jnl
State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements.
J. Integr. Des. Process. Sci.
Camille Salinesi, Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Ounsa Roudiès, Ángela Villota
2020 C conf
A Domain-specific Modeling Framework for Attack Surface Modeling.
ICISSP
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
2020 — conf
A Unified Vision of Configurable Software.
INFORSID
Houssem Chemingui, Inès Gam, Raúl Mazo, Henda Ben Ghézala, Camille Salinesi
2020 — conf
A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering.
SPLC (B)
Luisa Rincón, Raúl Mazo, Camille Salinesi
2020 B conf
Contract-based design patterns: a design by contract approach to specify security patterns.
ARES
Caine Silva, Sylvain Guérin, Raúl Mazo, Joël Champeau
2020 B conf
Preference-based Conflict Resolution for Collaborative Configuration of Product Lines.
ENASE
Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala
2020 J jnl
Towards a new template for the specification of requirements in semi-structured natural language.
J. Softw. Eng. Res. Dev.
Paola Vallejo, Raúl Mazo, Carlos Jaramillo, Jhon Medina Medina
2019 — conf
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.
SAFECOMP Workshops
Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
2019 — conf
Analyzing the convenience of adopting a product line engineering approach: an industrial qualitative evaluation.
SPLC (B)
Luisa Rincón, Raúl Mazo, Camille Salinesi
2019 J jnl
Collaborative configuration approaches in software product lines engineering: A systematic mapping study.
J. Syst. Softw.
Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Hajjami Ben Ghézala
2019 — conf
Evaluation of the state-constraint transition modelling language: a goal question metric approach.
SPLC (B)
Asmaa Achtaich, Ounsa Roudiès, Nissrine Souissi, Camille Salinesi, Raúl Mazo
2019 B conf
Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines.
ICSR
Daniel Correa B., Raúl Mazo, Gloria Lucía Giraldo
2019 J jnl
FM-CF: A framework for classifying feature model building approaches.
J. Syst. Softw.
Ricardo Gacitúa, Samuel Sepúlveda, Raúl Mazo
2019 — conf
Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado.
CIbSE
Raúl Mazo, Carlos Jaramillo
2019 — ed.
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019
SPLC (A)
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 Thüm, Tewfik Ziadi
2019 — conf
Product Line Configuration Meets Process Mining.
CENTERIS/ProjMAN/HCist
Houssem Chemingui, Inès Gam, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala
2019 — conf
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges.
TOOLS
Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin, Raúl Mazo, Elena Gallego
2019 — conf
The high-level variability language: an ontological approach.
SPLC (B)
Ángela Villota, Raúl Mazo, Camille Salinesi
2018 B conf
10 Challenges for the specification of self-adaptive software.
RCIS
Juan C. Muñoz-Fernández, Raúl Mazo, Camille Salinesi, Gabriel Tamura
2018 B conf
APPLIES: A framework for evaluAting organization's motivation and preparation for adopting product lines.
RCIS
Luisa Rincón, Raúl Mazo, Camille Salinesi
2018 B conf
CME - A Web Application Framework Learning Technique Based on Concerns, Micro-Learning and Examples.
ICWE
Daniel Correa B., Fernando Arango Isaza, Raúl Mazo, Gloria Lucía Giraldo
2018 J jnl
Evaluating Company's Readiness for Adopting Product Line Engineering: a Second Evaluation Round.
Complex Syst. Informatics Model. Q.
Luisa Rincón, Raúl Mazo, Camille Salinesi
2018 — conf
On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification.
SAM
Ángela Villota, Raúl Mazo, Camille Salinesi
2018 J jnl
SimulES-W: A Collaborative Game to Improve Software Engineering Teaching.
Computación y Sistemas
Mauricio Toro, Elizabeth Suescún, Raúl Mazo, David Velásquez, Paola Vallejo, Juan F. Cardona, Rafael Rincón, Vera Werneck, Julio César Sampaio do Prado Leite
2018 J jnl
Using the AMAN-DA method to generate security requirements: a case study in the maritime domain.
Requir. Eng.
Amina Souag, Raúl Mazo, Camille Salinesi, Isabelle Comyn-Wattiau
2017 — conf
Designing a Framework for Smart IoT Adaptations.
AFRICATEK
Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Camille Salinesi, Ounsa Roudiès
2017 J jnl
Designing a Framework for Smart IoT Adaptations.
CoRR
Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Camille Salinesi, Ounsa Roudiès
2016 C conf
Building feature models: A framework for comparing and classifying proposals.
CLEI
Ricardo Gacitúa, Samuel Sepúlveda, Raúl Mazo
2016 — conf
Framework for Engineering Complex Security Requirements Patterns.
ICITCS
Raúl Mazo, Christophe Feltus
2016 J jnl
Reference software architecture for improving modifiability of personalised web applications - a controlled experiment.
Int. J. Web Eng. Technol.
Luz-Viviana Cobaleda, Raúl Mazo, Jorge Luís Risco Becerra, John-Freddy Duitama
2016 — conf
Requirements Analysis for Context-oriented Systems.
ANT/SEIT
Manuele Kirsch-Pinheiro, Raúl Mazo, Carine Souveyet, Danillo Sprovieri
2016 J jnl
Reusable knowledge in security requirements engineering: a systematic mapping study.
Requir. Eng.
Amina Souag, Raúl Mazo, Camille Salinesi, Isabelle Comyn-Wattiau
2016 B conf
Run-time planning of case-based business processes.
RCIS
Danillo Sprovieri, Daniel Diaz, Raúl Mazo, Knut Hinkelmann
2016 — conf
Security Alignment Analysis of Software Product Lines.
ES
Danillo Sprovieri, Nikolaos Argyropoulos, Carine Souveyet, Raúl Mazo, Haralambos Mouratidis, Andrew Fish
2015 — conf
A Security Ontology for Security Requirements Elicitation.
ESSoS
Amina Souag, Camille Salinesi, Raúl Mazo, Isabelle Comyn-Wattiau
2015 C conf
Continuous monitoring of adaptive e-learning systems requirements.
AICCSA
Lamiae Dounas, Raúl Mazo, Camille Salinesi, Omar El Beqqali
2015 B conf
REFAS: a PLE approach for simulation of self-adaptive systems requirements.
SPLC
Juan C. Muñoz-Fernández, Gabriel Tamura, Irina Raicu, Raúl Mazo, Camille Salinesi
2015 B conf
Three strategies to specify multi-instantiation in product lines.
RCIS
Raouia Triki, Camille Salinesi, Raúl Mazo
2015 J jnl
Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems.
CLEI Electron. J.
Juan C. Muñoz-Fernández, Gabriel Tamura, Raúl Mazo, Camille Salinesi
2015 B conf
VariaMos: an extensible tool for engineering (dynamic) product lines.
SPLC
Raúl Mazo, Juan C. Muñoz-Fernández, Luisa Rincón, Camille Salinesi, Gabriel Tamura
2014 J jnl
Dynamic adaptation of service compositions with variability models.
J. Syst. Softw.
Germán H. Alférez, Vicente Pelechano, Raúl Mazo, Camille Salinesi, Daniel Diaz
2014 B conf
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines.
VISSOFT
Jabier Martinez, Tewfik Ziadi, Raúl Mazo, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
2014 — conf
Method to Identify Corrections of Defects on Product Line Models.
CLEI Selected Papers
L. F. Rincón, Gloria Lucía Giraldo G., Raúl Mazo, Camille Salinesi, Daniel Diaz
2014 — ch.
Recommendation Heuristics for Improving Product Line Configuration Processes.
Recommendation Systems in Software Engineering
Raúl Mazo, Cosmin Dumitrescu, Camille Salinesi, Daniel Diaz
2014 C conf
Towards a requirements specification multi-view framework for self-adaptive systems.
CLEI
Juan C. Muñoz-Fernández, Gabriel Tamura, Raúl Mazo, Camille Salinesi
2013 — conf
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models.
CLEI Selected Papers
L. F. Rincón, Gloria Giraldo, Raúl Mazo, Camille Salinesi
2013 B conf
Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering.
SPLC
Cosmin Dumitrescu, Raúl Mazo, Camille Salinesi, Alain Dauron
2013 — conf
Capturing Variability in Model Based Systems Engineering.
CSDM
Cosmin Dumitrescu, Patrick Tessier, Camille Salinesi, Sébastien Gérard, Alain Dauron, Raúl Mazo
2012 J jnl
Combining configuration and recommendation to define an interactive product line configuration approach
CoRR
Camille Salinesi, Raouia Triki, Raúl Mazo
2012 J jnl
Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy.
Int. J. Inf. Syst. Model. Des.
Raúl Mazo, Camille Salinesi, Daniel Diaz, Olfa Djebbi, Alberto Lora-Michiels
2012 J jnl
Using Constraint Programming to Manage Configurations in Self-Adaptive Systems.
Computer
Pete Sawyer, Raúl Mazo, Daniel Diaz, Camille Salinesi, Danny Hughes
2012 — conf
VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach.
CAiSE Forum
Raúl Mazo, Camille Salinesi, Daniel Diaz
2011 — —
A Generic Approach for Automated Verification of Product Line Models.
Raúl Mazo
2011 B conf
Conformance Checking with Constraint Logic Programming: The Case of Feature Models.
COMPSAC
Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed
2011 B conf
Constraints: The core of product line engineering.
RCIS
Camille Salinesi, Olfa Djebbi, Raúl Mazo, Daniel Diaz, Alberto Lora-Michiels
2011 B conf
Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains.
ENASE
Raúl Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels
2011 — conf
Using constraint programming to verify DOPLER variability models.
VaMoS
Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz
2010 — conf
A Method Based on Association Rules to Construct Product Line Models.
VaMoS
Alberto Lora-Michiels, Camille Salinesi, Raúl Mazo
2010 — conf
Criteria for the verification of feature models.
INFORSID
Camille Salinesi, Raúl Mazo, Daniel Diaz
2010 A conf
Using Integer Constraint Solving in Reuse Based Requirements Engineering.
RE
Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi
2009 A conf
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models.
RE
Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raúl Mazo, Colette Rolland
2009 A conf
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria.
RE
Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo
2009 — conf
Processus pour la Vérification et Validation de Modèles de Lignes de Produits.
INFORSID
Raúl Mazo
2009 — conf
VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models.
VaMoS
Camille Salinesi, Colette Rolland, Raúl Mazo