Raúl Mazo
Orcid: 0000-0003-0629-1542
According to our database1,
Raúl Mazo
authored at least 72 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024
2023
Colla-Config: A stakeholders preferences-based approach for product lines collaborative configuration.
J. Syst. Softw., 2023
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach.
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023
2022
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned.
IEEE Access, 2022
Robustness testing of a machine learning-based road object detection system: an industrial case.
Proceedings of the 1st Workshop on Software Engineering for Responsible AI, 2022
2021
State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements.
J. Integr. Des. Process. Sci., 2021
Proceedings of the 7th IEEE International Conference on Network Softwarization, 2021
An Ontology for Service-Oriented Dynamic Software Product Lines Knowledge Management.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search.
Proceedings of the Risks and Security of Internet and Systems, 2021
2020
Towards a new template for the specification of requirements in semi-structured natural language.
J. Softw. Eng. Res. Dev., 2020
A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the Actes du XXXVIIIème Congrès INFORSID, Dijon, France, June 2-4, 2020., 2020
Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020
Preference-based Conflict Resolution for Collaborative Configuration of Product Lines.
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020
Contract-based design patterns: a design by contract approach to specify security patterns.
Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020
2019
J. Syst. Softw., 2019
Collaborative configuration approaches in software product lines engineering: A systematic mapping study.
J. Syst. Softw., 2019
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Analyzing the convenience of adopting a product line engineering approach: an industrial qualitative evaluation.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Evaluation of the state-constraint transition modelling language: a goal question metric approach.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.
Proceedings of the Computer Safety, Reliability, and Security, 2019
Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines.
Proceedings of the Reuse in the Big Data Era, 2019
Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019
Proceedings of the CENTERIS 2019 - International Conference on ENTERprise Information Systems / ProjMAN 2019 - International Conference on Project MANagement / HCist 2019, 2019
2018
Using the AMAN-DA method to generate security requirements: a case study in the maritime domain.
Requir. Eng., 2018
Computación y Sistemas, 2018
Evaluating Company's Readiness for Adopting Product Line Engineering: a Second Evaluation Round.
Complex Syst. Informatics Model. Q., 2018
On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018
APPLIES: A framework for evaluAting organization's motivation and preparation for adopting product lines.
Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018
Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018
CME - A Web Application Framework Learning Technique Based on Concerns, Micro-Learning and Examples.
Proceedings of the Web Engineering - 18th International Conference, 2018
2017
Proceedings of the Emerging Technologies for Developing Countries, 2017
2016
Requir. Eng., 2016
Reference software architecture for improving modifiability of personalised web applications - a controlled experiment.
Int. J. Web Eng. Technol., 2016
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
Proceedings of the 6th International Conference on IT Convergence and Security, 2016
Proceedings of the 4th International Conference on Enterprise Systems, 2016
Proceedings of the XLII Latin American Computing Conference, 2016
Proceedings of the 7th International Conference on Ambient Systems, 2016
2015
CLEI Electron. J., 2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015
Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015
2014
J. Syst. Softw., 2014
Proceedings of the XL Latin American Computer Conference - Selected Papers, 2014
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines.
Proceedings of the Second IEEE Working Conference on Software Visualization, 2014
Proceedings of the Recommendation Systems in Software Engineering, 2014
2013
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models.
Proceedings of the XXXIX Latin American Computer Conference - Selected Papers, 2013
Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering.
Proceedings of the 17th International Software Product Line Conference, 2013
Proceedings of the Complex Systems Design & Management, 2013
2012
Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy.
Int. J. Inf. Syst. Model. Des., 2012
Combining configuration and recommendation to define an interactive product line configuration approach
CoRR, 2012
Computer, 2012
VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach.
Proceedings of the CAiSE'12 Forum at the 24<sup>th</sup> International Conference on Advanced Information Systems Engineering (CAiSE), 2012
2011
PhD thesis, 2011
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011
Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains.
Proceedings of the ENASE 2011, 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Criteria for the verification of feature models.
Proceedings of the Actes du XXVIIIème Congrès INFORSID, Marseille, France, 25-28 mai 2010, 2010
2009
VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009
Processus pour la Vérification et Validation de Modèles de Lignes de Produits.
Proceedings of the Actes du XXVIIème Congrès INFORSID, Toulouse, France, 26-29 mai 2009, 2009