default search action
Raúl Mazo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Hiba Hnaini, Raúl Mazo, Joël Champeau, Paola Vallejo, José A. Galindo:
E-SCORE: A web-based tool for security requirements engineering. SoftwareX 26: 101704 (2024) - [c54]Sylvain Guérin, Joël Champeau, Salvador Martínez, Raúl Mazo:
Security Contracts a Property-Based Approach to Support Security Patterns. ICISSP 2024: 103-111 - [c53]Camilo Correa-Restrepo, Jacques Robin, Raúl Mazo:
Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning. MODELS 2024: 126-137 - 2023
- [j15]Sihem Ben Sassi, Sabrine Edded, Raúl Mazo, Henda Ben Ghézala, Camille Salinesi:
Colla-Config: A stakeholders preferences-based approach for product lines collaborative configuration. J. Syst. Softw. 197: 111586 (2023) - [c52]Anne-Laure Wozniak, Ngoc Q. K. Duong, Ian Benderitter, Sarah Leroy, Sergio Segura, Raúl Mazo:
Robustness Testing of an Industrial Road Object Detection System. AITest 2023: 82-89 - [c51]Camilo Correa-Restrepo, Jacques Robin, Raúl Mazo:
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach. GPCE 2023: 138-152 - [i3]Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi:
Using Integer Constraint Solving in Reuse Based Requirements Engineering. CoRR abs/2309.16279 (2023) - 2022
- [j14]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:
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned. IEEE Access 10: 124747-124765 (2022) - [c50]Anne-Laure Wozniak, Sergio Segura, Raúl Mazo, Sarah Leroy:
Robustness testing of a machine learning-based road object detection system: an industrial case. SE4RAI@ICSE 2022: 9-12 - 2021
- [j13]Camille Salinesi, Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Ounsa Roudiès, Ángela Villota:
State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements. J. Integr. Des. Process. Sci. 25(2): 80-99 (2021) - [c49]Camilo Correa, Jacques Robin, Raúl Mazo, Salvador Abreu:
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search. CRiSIS 2021: 91-107 - [c48]Najla Maalaoui, Raoudha Beltaifa, Lamia Labed Jilani, Raúl Mazo:
An Ontology for Service-Oriented Dynamic Software Product Lines Knowledge Management. ENASE 2021: 314-322 - [c47]Nicolas Herbaut, Camilo Correa, Jacques Robin, Raúl Mazo:
SDN Intent-based conformance checking: application to security policies. NetSoft 2021: 181-185 - 2020
- [j12]Paola Vallejo, Raúl Mazo, Carlos Jaramillo, Jhon Medina Medina:
Towards a new template for the specification of requirements in semi-structured natural language. J. Softw. Eng. Res. Dev. 8: 3 (2020) - [c46]Caine Silva, Sylvain Guérin, Raúl Mazo, Joël Champeau:
Contract-based design patterns: a design by contract approach to specify security patterns. ARES 2020: 66:1-66:9 - [c45]Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala:
Preference-based Conflict Resolution for Collaborative Configuration of Product Lines. ENASE 2020: 297-304 - [c44]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:
A Domain-specific Modeling Framework for Attack Surface Modeling. ICISSP 2020: 341-348 - [c43]Houssem Chemingui, Inès Gam, Raúl Mazo, Henda Ben Ghézala, Camille Salinesi:
A Unified Vision of Configurable Software. INFORSID 2020: 93-98 - [c42]Luisa Rincón, Raúl Mazo, Camille Salinesi:
A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering. SPLC (B) 2020: 13-20
2010 – 2019
- 2019
- [j11]Ricardo Gacitúa, Samuel Sepúlveda, Raúl Mazo:
FM-CF: A framework for classifying feature model building approaches. J. Syst. Softw. 154: 1-21 (2019) - [j10]Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Hajjami Ben Ghézala:
Collaborative configuration approaches in software product lines engineering: A systematic mapping study. J. Syst. Softw. 158 (2019) - [c41]Houssem Chemingui, Inès Gam, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala:
Product Line Configuration Meets Process Mining. CENTERIS/ProjMAN/HCist 2019: 199-210 - [c40]Raúl Mazo, Carlos Jaramillo:
Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado. CIbSE 2019: 462-475 - [c39]Daniel Correa B., Raúl Mazo, Gloria Lucía Giraldo:
Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines. ICSR 2019: 17-33 - [c38]Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu:
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. SAFECOMP Workshops 2019: 391-397 - [c37]Luisa Rincón, Raúl Mazo, Camille Salinesi:
Analyzing the convenience of adopting a product line engineering approach: an industrial qualitative evaluation. SPLC (B) 2019: 73:1-73:8 - [c36]Asmaa Achtaich, Ounsa Roudiès, Nissrine Souissi, Camille Salinesi, Raúl Mazo:
Evaluation of the state-constraint transition modelling language: a goal question metric approach. SPLC (B) 2019: 75:1-75:8 - [c35]Ángela Villota, Raúl Mazo, Camille Salinesi:
The high-level variability language: an ontological approach. SPLC (B) 2019: 84:1-84:8 - [c34]Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin, Raúl Mazo, Elena Gallego:
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges. TOOLS 2019: 406-417 - [e1]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:
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019. ACM 2019, ISBN 978-1-4503-7138-4 [contents] - 2018
- [j9]Luisa Rincón, Raúl Mazo, Camille Salinesi:
Evaluating Company's Readiness for Adopting Product Line Engineering: a Second Evaluation Round. Complex Syst. Informatics Model. Q. 17: 69-94 (2018) - [j8]Mauricio Toro, Elizabeth Suescun, Raúl Mazo, David Velásquez, Paola Vallejo, Juan F. Cardona, Rafael Rincón, Vera Werneck, Julio César Sampaio do Prado Leite:
SimulES-W: A Collaborative Game to Improve Software Engineering Teaching. Computación y Sistemas 22(3) (2018) - [j7]Amina Souag, Raúl Mazo, Camille Salinesi, Isabelle Comyn-Wattiau:
Using the AMAN-DA method to generate security requirements: a case study in the maritime domain. Requir. Eng. 23(4): 557-580 (2018) - [c33]Daniel Correa B., Fernando Arango Isaza, Raúl Mazo, Gloria Lucía Giraldo:
CME - A Web Application Framework Learning Technique Based on Concerns, Micro-Learning and Examples. ICWE 2018: 17-32 - [c32]Juan C. Muñoz-Fernández, Raúl Mazo, Camille Salinesi, Gabriel Tamura:
10 Challenges for the specification of self-adaptive software. RCIS 2018: 1-12 - [c31]Luisa Rincón, Raúl Mazo, Camille Salinesi:
APPLIES: A framework for evaluAting organization's motivation and preparation for adopting product lines. RCIS 2018: 1-12 - [c30]Ángela Villota, Raúl Mazo, Camille Salinesi:
On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification. SAM 2018: 46-66 - 2017
- [c29]Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Camille Salinesi, Ounsa Roudiès:
Designing a Framework for Smart IoT Adaptations. AFRICATEK 2017: 57-66 - [i2]Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Camille Salinesi, Ounsa Roudiès:
Designing a Framework for Smart IoT Adaptations. CoRR abs/1709.08539 (2017) - 2016
- [j6]Luz-Viviana Cobaleda, Raúl Mazo, Jorge Luís Risco Becerra, John-Freddy Duitama:
Reference software architecture for improving modifiability of personalised web applications - a controlled experiment. Int. J. Web Eng. Technol. 11(4): 351-370 (2016) - [j5]Amina Souag, Raúl Mazo, Camille Salinesi, Isabelle Comyn-Wattiau:
Reusable knowledge in security requirements engineering: a systematic mapping study. Requir. Eng. 21(2): 251-283 (2016) - [c28]Manuele Kirsch-Pinheiro, Raúl Mazo, Carine Souveyet, Danillo Sprovieri:
Requirements Analysis for Context-oriented Systems. ANT/SEIT 2016: 253-261 - [c27]Ricardo Gacitúa, Samuel Sepúlveda, Raúl Mazo:
Building feature models: A framework for comparing and classifying proposals. CLEI 2016: 1-12 - [c26]Danillo Sprovieri, Nikolaos Argyropoulos, Carine Souveyet, Raúl Mazo, Haralambos Mouratidis, Andrew Fish:
Security Alignment Analysis of Software Product Lines. ES 2016: 97-103 - [c25]Raúl Mazo, Christophe Feltus:
Framework for Engineering Complex Security Requirements Patterns. ICITCS 2016: 1-5 - [c24]Danillo Sprovieri, Daniel Diaz, Raúl Mazo, Knut Hinkelmann:
Run-time planning of case-based business processes. RCIS 2016: 1-6 - 2015
- [j4]Juan C. Muñoz-Fernández, Gabriel Tamura, Raúl Mazo, Camille Salinesi:
Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems. CLEI Electron. J. 18(2) (2015) - [c23]Lamiae Dounas, Raúl Mazo, Camille Salinesi, Omar El Beqqali:
Continuous monitoring of adaptive e-learning systems requirements. AICCSA 2015: 1-8 - [c22]Amina Souag, Camille Salinesi, Raúl Mazo, Isabelle Comyn-Wattiau:
A Security Ontology for Security Requirements Elicitation. ESSoS 2015: 157-177 - [c21]Raouia Triki, Camille Salinesi, Raúl Mazo:
Three strategies to specify multi-instantiation in product lines. RCIS 2015: 211-216 - [c20]Juan C. Muñoz-Fernández, Gabriel Tamura, Irina Raicu, Raúl Mazo, Camille Salinesi:
REFAS: a PLE approach for simulation of self-adaptive systems requirements. SPLC 2015: 121-125 - [c19]Raúl Mazo, Juan C. Muñoz-Fernández, Luisa Rincón, Camille Salinesi, Gabriel Tamura:
VariaMos: an extensible tool for engineering (dynamic) product lines. SPLC 2015: 374-379 - 2014
- [j3]Germán H. Alférez, Vicente Pelechano, Raúl Mazo, Camille Salinesi, Daniel Diaz:
Dynamic adaptation of service compositions with variability models. J. Syst. Softw. 91: 24-47 (2014) - [c18]Juan C. Muñoz-Fernández, Gabriel Tamura, Raúl Mazo, Camille Salinesi:
Towards a requirements specification multi-view framework for self-adaptive systems. CLEI 2014: 1-12 - [c17]Jabier Martinez, Tewfik Ziadi, Raúl Mazo, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon:
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines. VISSOFT 2014: 50-59 - [c16]L. F. Rincón, Gloria Lucía Giraldo G., Raúl Mazo, Camille Salinesi, Daniel Diaz:
Method to Identify Corrections of Defects on Product Line Models. CLEI Selected Papers 2014: 61-81 - [p1]Raúl Mazo, Cosmin Dumitrescu, Camille Salinesi, Daniel Diaz:
Recommendation Heuristics for Improving Product Line Configuration Processes. Recommendation Systems in Software Engineering 2014: 511-537 - 2013
- [c15]Cosmin Dumitrescu, Patrick Tessier, Camille Salinesi, Sébastien Gérard, Alain Dauron, Raúl Mazo:
Capturing Variability in Model Based Systems Engineering. CSDM 2013: 125-139 - [c14]Cosmin Dumitrescu, Raúl Mazo, Camille Salinesi, Alain Dauron:
Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering. SPLC 2013: 254-263 - [c13]L. F. Rincón, Gloria Giraldo, Raúl Mazo, Camille Salinesi:
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models. CLEI Selected Papers 2013: 111-132 - 2012
- [j2]Pete Sawyer, Raúl Mazo, Daniel Diaz, Camille Salinesi, Danny Hughes:
Using Constraint Programming to Manage Configurations in Self-Adaptive Systems. Computer 45(10): 56-63 (2012) - [j1]Raúl Mazo, Camille Salinesi, Daniel Diaz, Olfa Djebbi, Alberto Lora-Michiels:
Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. Int. J. Inf. Syst. Model. Des. 3(2): 33-68 (2012) - [c12]Raúl Mazo, Camille Salinesi, Daniel Diaz:
VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. CAiSE Forum 2012: 147-154 - [i1]Camille Salinesi, Raouia Triki, Raúl Mazo:
Combining configuration and recommendation to define an interactive product line configuration approach. CoRR abs/1206.2520 (2012) - 2011
- [b1]Raúl Mazo:
A Generic Approach for Automated Verification of Product Line Models. Pantheon-Sorbonne University, Paris, France, 2011 - [c11]Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed:
Conformance Checking with Constraint Logic Programming: The Case of Feature Models. COMPSAC 2011: 456-465 - [c10]Raúl Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels:
Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains. ENASE 2011: 188-199 - [c9]Camille Salinesi, Olfa Djebbi, Raúl Mazo, Daniel Diaz, Alberto Lora-Michiels:
Constraints: The core of product line engineering. RCIS 2011: 1-10 - [c8]Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz:
Using constraint programming to verify DOPLER variability models. VaMoS 2011: 97-103 - 2010
- [c7]Camille Salinesi, Raúl Mazo, Daniel Diaz:
Criteria for the verification of feature models. INFORSID 2010: 293-308 - [c6]Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi:
Using Integer Constraint Solving in Reuse Based Requirements Engineering. RE 2010: 243-251 - [c5]Alberto Lora-Michiels, Camille Salinesi, Raúl Mazo:
A Method Based on Association Rules to Construct Product Line Models. VaMoS 2010: 147-150
2000 – 2009
- 2009
- [c4]Raúl Mazo:
Processus pour la Vérification et Validation de Modèles de Lignes de Produits. INFORSID 2009: 447-448 - [c3]Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raúl Mazo, Colette Rolland:
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. RE 2009: 375-376 - [c2]Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo:
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. RE 2009: 385-386 - [c1]Camille Salinesi, Colette Rolland, Raúl Mazo:
VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. VaMoS 2009: 173-176
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint