Publications

Book

Mazo Raúl, Guía para la adopción industrial de líneas de productos de software, Editorial Eafit, ISBN 978-958-720-506-0, Medellín-Colombia, 2018

The essential concepts of product line engineering, the process, the models and the methods and tools used for developing product lines are progressively introduced in this guide in a straightforward approach: a single framework, a complete and unified process, and a single example. There are other books that have contributed in specific issues of product line engineering; however, this is the first time that a guide to implement the PLE approach is available, and the first in Spanish.

Printed book available at (libro impreso): https://www.libreriadelau.com/guia-para-la-adopcion-industrial-de-lineas-de-productos-de-software-u-eafit-9789587205060-ingenieria-de-sistemas/p

E-book available at (libro en formato electrónico): https://www.libreriadelau.com/bw-guia-para-la-adopcion-industrial-de-lineas-de-productos-de-software-u-eafit-ingenieria-de-sistemas/p

Google Scholar profile

Research Gate profile

HDR

Mazo Raúl. Software Product Lines, from Reuse to Self Adaptive Systems. Université Paris 1 Panthéon - Sorbonne, France, Habilitation à diriger des recherches (HDR), Octobre 2018.

Thesis

Mazo Raúl. A Generic Approach for Automated Verification of Product Line Models. Ph.D. Thesis, Université Paris 1 Panthéon - Sorbonne. Paris France, 24 November 2011.

Book chapters

  1. Jaramillo León, Mazo Raúl, Giraldo Gloria-Lucía. Un framework para la definición de métricas en ingeniería de líneas de productos. To appear in Investigación e Innovación en Ingeniería de Software (vol. 2), Medellín-Colombia, 2018.

  2. Mazo Raúl. Introducción a la ingeniería de líneas o familias de productos. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 21-32, Medellín-Colombia, 2018.

  3. Jaramillo León, Mazo Raúl, Giraldo Gloria. Ejemplo de aplicación: línea de tiendas virtuales. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 33-37, Medellín-Colombia, 2018.

  4. Mazo Raúl, Noreña Gonzalo, Jaramillo León, Correa Daniel. Marco de referencia para la adopción y la gestión de líneas de productos de software. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 39-58, Medellín-Colombia, 2018.

  5. Mazo Raúl, Giraldo Gloria, Urrego Germán. Estudio de mercado y de factibilidad para proyectos de líneas de productos. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 61-80, Medellín-Colombia, 2018.

  6. Mazo Raúl, Giraldo Gloria, Urrego Germán, Jaramillo León. Plan estratégico de inversiones, costos y rentabilidad de una línea de productos de software. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 81-130, Medellín-Colombia, 2018.

  7. García José Miguel, García Soledad, Mazo Raúl. Definición incremental del catálogo de productos para una línea de productos. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 131-146, Medellín-Colombia, 2018.

  8. Mazo Raúl, Sepúlveda Samuel, Gacitúa Ricardo, Cares Carlos. Ingeniería de requisitos para familias de productos. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 149-192, Medellín-Colombia, 2018.

  9. Mazo Raúl, Toro Mauricio, Cobaleda Luz. Definición de la arquitectura de referencia de un dominio: de la elucidación al modelado. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 193-210, Medellín-Colombia, 2018.

  10. Mazo Raúl, Rincón Luisa, Monsalve Sebastián. Gestión de defectos en los modelos de variabilidad. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 211-257, Medellín-Colombia, 2018.

  11. Rincón Luisa, Mazo Raúl. Análisis y diseño de componentes reutilizables de dominio. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 259-306, Medellín-Colombia, 2018.

  12. Correa Daniel, Mazo Raúl. Implementación de componentes reutilizables de dominio. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 307-368, Medellín-Colombia, 2018.

  13. Correa Daniel, Mazo Raúl. Verificación y validación de componentes reutilizables de dominio. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 369-384, Medellín-Colombia, 2018.

  14. Alférez Germán H., Mazo Raúl. Integración de los modelos de componentes con los modelos de variabilidad. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 385-393, Medellín-Colombia, 2018.

  15. Mazo Raúl, Martínez Juan Carlos, López José Ignacio. Proceso de configuración como un proceso de ingeniería de requisitos. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 397-431, Medellín-Colombia, 2018.

  16. Cobaleda Luz, Mazo Raúl. Definición y personalización de la arquitectura de cada producto de la línea. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 433-446, Medellín-Colombia, 2018.

  17. Cobaleda Luz, Mazo Raúl, Correa Daniel. Selección, personalización y aumento de componentes reutilizables de dominio para cada aplicación. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 447-458, Medellín-Colombia, 2018.

  18. Correa Daniel, Mazo Raúl. Selección de los mecanismos de ensamblaje y ensamblaje de los componentes de aplicación. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 459-480, Medellín-Colombia, 2018.

  19. Cortés Anderson, Mazo Raúl, Correa Daniel. Pruebas de integración, del sistema, de certificación y de aceptación, de los productos derivados de una línea de productos. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 481-502, Medellín-Colombia, 2018.

  20. Noreña Gonzalo, Mazo Raúl. Gestión de la evolución de una línea de productos de software. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 505-527, Medellín-Colombia, 2018.

  21. Cortés Anderson, Giraldo Gloria, Mazo Raúl. Gestión de la capitalización en la ingeniería de líneas de productos. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 529-546, Medellín-Colombia, 2018.

  22. Jaramillo León, Rincón Rafael, Mazo Raúl, Giraldo Gloria. Aseguramiento de la calidad en los proyectos de líneas de productos. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 547-560, Medellín-Colombia, 2018.

  23. Mazo Raúl, Jaramillo León, Delgado Myriam. Herramientas de soporte para la ingeniería de líneas de productos. En "Guía para la adopción industrial de líneas de productos de software". Editorial Eafit, ISBN 978-958-720-506-0, pp. 561-590, Medellín-Colombia, 2018.

  24. Rebecca Deneckere, Charlotte Hug, Ali Jaffal, Manuele Kirsch Pinheiro, Benedicte Le Grand, Raúl Mazo, Irina Rychkova. Context Management and Intention Mining for Adaptive Systems in Mobile Environments: from Business Process Management to Video Games?. In Digital Interfaces in Situations of Mobility: Cognitive, Artistic, and Game Devices. Common Ground Publishing, 2016.

  25. Mazo Raúl, Dumitrescu Cosmin, Salinesi Camille, Diaz Daniel. Recommendation Heuristics for Improving Product Line Configuration Processes. Recommendation Systems in Software Engineering. Robillard M, Maalej W., Walker R. and Zimmermann T. (Eds.), ISBN 978-3-642-45135-5, DOI 10.1007/978-3-642-45135-5__19, Springer-Verlag Berlin Heidelberg, 2014.

  26. Triki Raouia, Mazo Raúl, Salinesi Camille. Combining configuration and recommendation to enable an interactive guidance of product line configuration. Les systèmes de recommandation. Editeurs: Ghislaine CHARTRON, Imad SALEH et Gerald KEMBELLEC. Editions Hermès Sciences, collection 'Information, hypermédias et communication'. Paris-France, 2014.

  27. Salinesi Camille., Mazo Raúl. Defects in Product Line Models and how to Identify them. Software Product Line - Advanced Topic, edited by Abdelrahman Elfaki, InTech editions, ISBN 978-953-51-0436-0, pp. 97-122. April 2012. http://www.intechopen.com/articles/show/title/defects-in-product-line-models-and-how-to-identify-them

Journals

  1. Restrepo-Gutiérrez Luisa-Fernanda, Suescún-Monsalve Elizabeth, Mazo Raúl, Vallejo-Correa Paola-Andrea, and Correa Daniel. "“Snapshot” of the State of Software Reuse in Colombia." Revista Científica 44, no. 2 (2022): 242-256.

  2. Salinesi Camille, Achtaich Asmaa, Souissi Nissrine, Mazo Raúl, Roudies Ounsa, and Villota Angela. "State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements." Journal of Integrated Design and Process Science Preprint (2021): 1-20.

  3. Restrepo Luisa, Suescún Elizabeth, Mazo Raúl, Correa Daniel, Vallejo Paola. Factores de éxito y barreras de adopción en la reutilización de software: Una revisión de la literatura. Investigación e Innovación en Ingenierías 9, no. 3 (2021): 93-107.

  4. Achtaich Asmaa, Salinesi Camille, Souissi Nissrine, Mazo Raúl, Roudies Ounsa. Guidelines for the Specification of IoT Requirements: A Smart Cars Case. In IoT Protocols and Applications for Improving Industry, Environment, and Society, pp. 144-172. IGI Global, 2021.

  5. Mazo Raúl, Jaramillo Carlos, Vallejo Paola & Medina Jhon. Towards a new template for the specification of requirements in semi-structured natural language. Journal of Software Engineering Research and Development, 8(3), 12, 2020. https://doi.org/10.5753/jserd.2020.473

  6. Lozano Silvia, Suescún-Monsalve Elizabeth, Vallejo Paola, Mazo Raúl, Correa Daniel. Comparando dos Estrategias de Aprendizaje Activo para Enseñar SCRUM en un Curso Introductorio de Ingeniería de Software. INGENIARE journal, Volumen 28 N° 1, 2020, ISSN: 0718-3305.

  7. Achtaich Asmaa, Mazo Raúl, Souissi Nissrine, Salinesi Camille, Roudies Ounsa. Management Capabilities for Mobile and IoT Devices: An Evaluation Framework. International Journal of Engineering and Advanced Technology (IJEAT), ISSN: 2249-8958 (Online), Volume-8, Issue-6, pp. 420-430, August 2019.

  8. Edded Sabrine, Ben Sassi Sihem, Mazo Raúl, Salinesi Camille, Ben Ghezala Henda. Collaborative Configuration Approaches in Software Product lines Engineering: a Systematic Mapping Study. Journal of Systems and Software, Vol. 158, Elsevier, 2019.

  9. Achtaich Asmaa, Souissi Nissrine, Roudies Ounsa, Salinesi Camille, Mazo Raúl. A Constraint-based Approach to Deal with Self- Adaptation: The Case of Smart Irrigation Systems. International Journal of Advanced Computer Science and Applications (IJACSA), Vol. 10, No. 7, 2019.

  10. Gacitua Ricardo, Sepulveda Samuel, Mazo Raúl. FM-CF: A framework for classifying feature model building approaches. Journal of Systems and Software, Volume 154, pp. 1-21, August 2019.

  11. Rincon Luisa, Mazo Raúl, Salinesi Camille. Evaluating company's readiness for adopting product line engineering: a second evaluation round. Complex Systems Informatics and Modeling Quarterly journal (CSIMQ), ISSN: 2255-9922, December, 2018.

  12. Correa Daniel, Mazo Raúl, Giraldo-Gomez Gloria. Fragment-oriented programming: a framework to design and implement software product line domain components. DYNA journal, 85(207), pp. 74-83, October, 2018.

  13. Suescún Elizabeth, Leite Julio Cesar, Werneck Vera, Mazo Raúl, Vallejo Paola, Toro Mauricio, Velasquez David, Cardona Juan, Rincón Rafael. SimulES-W: A Collaborative Game to Improve Software Engineering Teaching. Computación y Sistemas journal, Vol. 22, No. 3, 2018.

  14. Achtaich Asmaa, Souissi Nissrine, Mazo Raúl, Roudies Ounsa, Salinesi Camille. A DSPL Design Framework for SASs: A Smart Building Example. EAI Endorsed Transactions on Smart Cities journal, 18(8): e1, 2018, DOI: 10.4108/eai.26-6-2018.154829

  15. Souag Amina, Mazo Raúl, Salinesi Camille, Comyn-Wattiau Isabelle. Using the AMAN-DA method to generate security requirements: a case study in the maritime domain. Requirements Engineering Journal, Springer, London-UK, 2017.

  16. Cobaleda Luz-Viviana, Mazo Raúl, Risco Jorge-Luis, Duitama John-Freddy. Reference Software Architecture for improving modifiability of Personalized Web Applications - A controlled experiment. International Journal of Web Engineering and Technology, Vol. 11, No. 4, DOI: 10.1504/IJWET.2016.081768, pp. 351-370, 2016.

  17. Rincón Luisa, Giraldo Gloria-Lucía, Mazo Raúl, Salinesi Camille, Diaz Daniel. Method to Identify Corrections of Defects on Product Line Models. Electronic Notes in Theoretical Computer Science (ENTCS) Journal, vol. 314, pp. 61–81, Jun. 2015.

  18. Muñoz-Fernández Juán, Tamura Gabriel, Mazo Raúl, Salinesi Camille. Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems. In CLEI electronic journal, Volume 18, Number 2, Paper 5, August 2015.

  19. Souag Amina, Mazo Raúl, Salinesi Camille, Comyn-Wattiau Isabelle. Reusable knowledge in security requirements engineering: a systematic mapping study. Requirements Engineering Journal, Springer London, ISSN: 0947-3602 (Print) 1432-010X (Online), http://dx.doi.org/10.1007/s00766-015-0220-8, 2015.

  20. Mazo Raúl. Avantages et limites des modèles de caractéristiques dans la modélisation des exigences de variabilité. Journal "Génie Logiciel", No. 111, Paris-France, Dec. 2014.

  21. Mazo Raúl, Assar Saïd, Salinesi Camille, Ben Hassen Noura. Using Software Product Line to improve ERP Engineering: literature review and analysis. Latin-American Journal of Computing (LAJC), ISSN: 1390-9266 (Print) 1390-9134 (Online), Volume 1, Number 1, Published by the National Polytechnic School in Quito-Ecuador, October 2014. Best Paper Award

  22. Giraldo-Gómez Gloria-Lucia, Rincón-Perez Luisa, Mazo Raúl. Identifying dead features and their causes in product line models: an ontological approach. Revista DYNA. ISSN: 0012-7353. vol. 81, n.183, p. 68 - 77, 2014.

  23. Rincón-Perez Luisa, Giraldo-Gómez Gloria-Lucia, Mazo Raúl, Salinesi Camille. An ontological rule-based approach for analyzing dead and false optional features in feature models. Electronic Notes in Theoretical Computer Science. ISSN: 1571-0661. vol. 302, p. 111- 132, 2014.

  24. Alférez Germán-Harvey, Pelechano Vicente, Mazo Raúl, Salinesi Camille, Diaz Daniel. Dynamic Adaptation of Service Compositions with Variability Models. The Journal of Systems & Software, Elsevier, DOI: 10.1016/j.jss.2013.06.034, Volume 91, pp. 24-47, May 2014.

  25. Dumitrescu Cosmin, Dauron Alain, Salinesi Camille, Mazo Raúl. La Réutilisation en Ingénierie de Systèmes à Base de Modèles: Processus et Activités IS pour l’Adoption d’une Approche Lignes de Produits, Genie Logiciel N° 105, pages 52-59, Paris-France, June 2013.

  26. Sawyer Pete, Mazo Raúl, Diaz Daniel, Salinesi Camille, Hughes Danny. Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems. Special Issue in IEEE Computer Journal "Dynamic Software Product Lines", pp. 1-12. ISSN 0018-9162, October 2012.

  27. Mazo Raúl, Salinesi Camille, Djebbi Olfa, Diaz Daniel, Lora-Michiels Alberto. Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. International Journal of Information System Modeling and Design (IJISMD). pp. 33-68. ISSN 1947-8186, eISSN 1947-819. April-June 2012, Vol. 3, No. 2.

  28. Mazo Raúl, Salinesi Camille, Diaz Daniel. Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models. INSIGHT - Journal of International Council on Systems Engineering (INCOSE), December 2011, Volume 14 Issue 4, pp. 22-24. http://www.panetto.fr/INSIGHT_vol-14-issue-4.pdf

Conferences with PC

  1. Correa Camilo, Robin Jacques, Mazo Raúl, and Abreu Salvador. "Intelligent decision support for cybersecurity incident response teams: autonomic architecture and mitigation search." In International Conference on Risks and Security of Internet and Systems, pp. 91-107. Springer, Cham, 2022.

  2. Ferchichi Olfa, Beltaifa Raoudha, Labed Lamia, Mazo Raúl. A SysML-based Holistic Variability Modelling of Software and Systems Product Lines. In Proceedings of ISCA 34th International Conference on Computer Applications in Industry and Engineering, vol. 79, pp. 99-112. 2021.

  3. Maalaoui Najla, Beltaifa Raoudha, Labed Lamia, Mazo Raúl. An Ontology for Service-Oriented Dynamic Software Product Lines Knowledge Management. In Proceedings of the ENASE conference, pp. 314-322. 2021.

  4. Herbaut Nicolas, Correa Camilo, Robin Jacques, Mazo Raúl. SDN Intent-based conformance checking: application to security policies. In 7th IEEE International Conference on Network Softwarization (IEEE NetSoft). 2021.

  5. Chemingui Houssem, Salinesi Camille, Gam Inès, Mazo Raúl, Ben Ghézala Henda. Devising Configuration Guidance with Process Mining Support. In Proceedings of the INFORSID conference, France, 2021.

  6. Chemingui Houssem, Gam Ines, Mazo Raúl, Ben Ghézala Henda, Salinesi Camille. A Unified Vision of Configurable Software. In the proceedings of the INFORSID conference, France, 2020.

  7. Edded Sabrine, Ben Sassi Sihem, Mazo Raúl, Salinesi Camille, Ben Ghezala Henda. Preference-based Conflict Resolution for Collaborative Configuration of Product Lines. In the Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, Prague, 2020.

  8. Sun Tithnara, Drouot Bastien, Golra Fahad, Champeau Joël, Guérin Sylvain, Le Roux Luka, Mazo Raúl, Teodorov Ciprian, Van Aertryck Lionel, L’Hostis Bernard. A Domain-specific Modeling Framework for Attack Surface Modeling. In the Proceedings of the 6th International Conference on Information Systems Security and Privacy (ICISSP), SciTePress, Valetta, Malta, 2020.

  9. Chemingui Houssem, Gam Ines, Mazo Raúl, Salinesi Camille, Ben Ghézala Henda. Product Line Configuration Meets Process Mining. International Conference on ENTERprise Information Systems (CENTERIS), Elsevier Procedia Computer Science, Oct. 2019, Sousse, Tunisia.

  10. Sadovykh Andrey,Ziadi Tewfik, Bagnato Alessandra, Berger Thorsten, Steghöfer Jan-Philipp, Robin Jacques, Mazo Raúl, Gallego Elena. REVAMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges. TOOLS 50+1:Technology of Object-Oriented Languages and Systems conference, Springer LNCS, 2019.

  11. Correa Daniel, Mazo Raúl, Giraldo Gloria. Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines. In the Proceedings of the 18th International Conference on Software and Systems Reuse (ICSR), LNCS 11602, pp. 17–33, Springer-Verlag, USA, 2019 (acceptance rate 10%).

  12. Mazo Raúl, Jaramillo Carlos. Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado. In the Proceedings of the Requirements Engineering Track (RET) of CIbSE, La Habana, Cuba, 2019. (Acceptance rate 33%)

  13. Villota Angela, Mazo Raúl, Salinesi Camille. On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification. In the Springer Lecture Notes in Computer Science proceedings of the 10th System Analysis and Modelling Conference (SAM), Copenhagen-Denmark, 2018.

  14. Noreña Gonzalo, Aranda Bueno Jesús, Mazo Raúl, Rincon Luisa. Evolución en Líneas de Productos de Software: Una comparación de Técnicas. In the Springer Computer and Information Science proceedings of the Congreso Colombiano en Computación (CCC), Cartagena-Colombia, 2018.

  15. Correa Daniel, Arango Fernando, Mazo Raúl, Giraldo Gloria. CME – a Web Application Framework Learning Technique based on Concerns, Micro-Learning and Examples. Springer LNCS proceedings of the 18th International Conference on Web Engineering (ICWE), Cáceres, Spain, June 5-8, 2018.

  16. Muñoz-Fernández Juan, Mazo Raúl, Salinesi Camille, Tamura Gabriel. 10 Challenges for the Specification of Self-Adaptive Software. International Conference on Research Challenges in Information Science (RCIS), IEEE Press, Nantes-France, 2018.

  17. Rincon Luisa, Mazo Raúl, Salinesi Camille. APPLIES: a framework for evaluAting organization’s motivation and Preparation for adoPting product LInEs. International Conference on Research Challenges in Information Science (RCIS), IEEE Press, Nantes-France, 2018. Best Paper Award.

  18. Mazo Raúl. Industrialización del proceso de desarrollo de software: sus avances y retos. III Congreso Internacional en Tecnologías de la Información y Comunicaciones. Cali-Colombia, 25/10/2017 http://emavitic.wixsite.com/emavitic/

  19. Suescún Monsalve Elizabeth, Vallejo Paola, Mazo Raúl, Correa Daniel. Transparency as a learning strategy to teach Software Engineering. In the Springer Computer and Information Science proceedings of the Congreso Colombiano en Computación (CCC). ISNN 18650929, 2017.

  20. Achtaich Asmaa, Souissi Nissrine, Mazo Raúl, Roudies Ounsa, Salinesi Camille. Designing a Framework for Smart IoT Adaptations. International Conference on Emerging Technologies for Developing Countries, Springer, Marrakech-Morocco, March 2017.

  21. Sprovieri Danillo, Souveyet Carine, Mazo Raúl, Argyropoulos Nikolaos, Mouratidis Haralambos, and Fish Andrew. Security Alignment Analysis of Software Product Lines. 4th International Conference on Enterprise Systems, DOI: 10.1109/ES.2016.19, Melbourne-Australia, November 2016.

  22. Gacitua Ricardo, Sepulveda Samuel, Mazo Raúl. Construcción de Modelos de Características: Un Marco para Comparar y Clasificar Propuestas. In the XLII Latin American Computing Conference (CLEI), IEEE Press, Valparaiso-Chile, October 2016. (26% acceptance rate)

  23. Mazo Raúl, Feltus Christophe. Framework for Engineering Complex Security Requirements Patterns. In the International Conference on IT Convergence and Security (ICITCS), IEEE Press. Prague-Czech Republic, September 2016.

  24. Danillo Sprovieri, Daniel Diaz, Knut Hinkelmann, Raúl Mazo. Run-time planning of case-based business processes. In the X International Conference on Research Challenges in Information Science (RCIS), IEEE Press, Grenoble-France, May 2016.

  25. Manuele Kirsch-Pinheiro, Raúl Mazo, Carine Souveyet, Danillo Sprovieri. Requirements Analysis for Context-oriented Systems. In the VII International Conference on Ambient Systems, Networks and Technologies (ANT), Madrid-España, 2016.

  26. Dounas Lamiae, Mazo Raúl, Salinesi Camille, El-Beqqali Omar. Continuous Monitoring of Adaptive e-learning Systems Requirements. 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), Marrakech-Morocco, November 2015.

  27. Dounas Lamiae, Mazo Raúl, Muñoz-Fernandez Juan, Salinesi Camille, El-Beqqali Omar. Runtime Requirements Monitoring Framework for Adaptive e-Learning Systems. 26th International Conference on Software & Systems Engineering and their Applications (ICSSEA), Paris-France, May 2015

  28. Muñoz-Fernández Juán., Tamura Gabriel, Raicu Irina, Mazo Raúl, Salinesi Camille. REFAS: A PLE Approach for Simulation of Self-Adaptive Systems Requirements. 19th International Software Product Line Conference (SPLC), Nashville-USA, July 2015.

  29. Mazo Raúl, Muñoz-Fernández Juán, Rincón Luisa, Salinesi Camille, Tamura Gabriel. VariaMos: an extensible tool for engineering (dynamic) product lines. 19th International Software Product Line Conference (SPLC), Nashville-USA, July 2015.

  30. Triki Raouia, Salinesi Camille, Mazo Raúl. Three strategies to Specify Multi-Instantiation in Product Lines. IEEE International Conference on Research Challenges in Information Science (RCIS), IEEE Press, Athens-Greece, May 2015.

  31. Souag Amina, Salinesi Camille, Mazo Raúl, Comyn-Wattiau Isabelle. A Security Ontology for Security Requirements Elicitation. In: Piessens F., Caballero J., Bielova N. (eds) Engineering Secure Software and Systems. ESSoS 2015. Lecture Notes in Computer Science, vol 8978, ISSN: 0302-9743, pp. 157-177. Springer, Italy, March 2015.

  32. Martinez Jabier, Ziadi Tewfik, Mazo Raúl, Bissyandé Tegawendé, Klein Jacques, Le Traon Yves. Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines. In the 2nd IEEE Working Conference on Software Visualization (VISSOFT), Victoria-Canada, September 2014.

  33. Rincón-Pérez Luisa, Giraldo-Gómez Gloria-Lucía, Mazo Raúl, Salinesi Camille, Díaz Daniel. Método para Identificar Correcciones de Defectos en Modelos de Características que representan Líneas de Productos. In the XL Latin American Computing Conference (CLEI), IEEE Press, Montevideo-Uruguay, September 2014. (Acceptance rate 28%)

  34. Muñoz-Fernández Juán, Tamura Gabriel, Mazo Raúl, Salinesi Camille. Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems. In the XL Latin American Computing Conference (CLEI), IEEE Press, Montevideo-Uruguay, September 2014. (Acceptance rate 28%)

  35. Dumitrescu Cosmin, Tessier Patrick, Salinesi Camille, Gérard Sebastien, Dauron Alain, Mazo Raúl. Capturing Variability in Model-based Systems Engineering Process. Complex Systems Design & Management (CSD&M) Conference, Springer Press, Paris-France, December 2013. Best Paper Award (Acceptance rate 25%)

  36. Raúl Mazo, Gloria Lucia Giraldo, León Jaramillo, Camille Salinesi, Cosmin Dumitrescu. Material Needs Forecast for Product Lines, a Bayesian-based Analysis Approach. 25th International Conference on Software and Systems Engineering and their Applications (ICSSEA), Paris-France, November 2013.

  37. Dumitrescu Cosmin, Mazo Raúl, Salinesi Camille, Dauron Alain. Bridging the Gap Between Product Lines and Systems Engineering: An experience in Variability Management for Automotive Model-based Systems Engineering. 17th International Software Product Line Conference (SPLC), Tokio-Japan, August 2013.

  38. Rincón-Pérez Luisa, Giraldo-Gómez Gloria, Mazo Raúl, Salinesi Camille, Diaz Daniel. 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. 8th Computer Colombian Conference (CCC). Armenia-Colombia, August 2013. (Acceptance rate: 22.4 %)

  39. Mazo Raúl, Salinesi Camille, Diaz Daniel. VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. 24th International Conference on Advanced Information Systems Engineering (CAiSE Forum'12), pp. 1-8. Gdansk-Poland, June 2012.

  40. Mazo Raúl, Salinesi Camille, Diaz Daniel, Lora-Michiels Alberto. Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains. 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Springer Press, pp. 188-199. Beijing–China, June 2011. (Acceptance rate 27%)

  41. Mazo Raúl, Lopez-Herrejon Roberto, Salinesi Ccamille, Diaz Daniel, Egyed Alexander. Conformance Checking with Constraint Logic Programming: The Case of Feature Models. In 35th Annual International Computer Software and Applications Conference (COMPSAC), IEEE Press, pp. 456-465. Munich-Germany, July 2011. Best Paper Award. (Acceptance rate 20%)

  42. Salinesi Camille, Mazo Raúl, Djebbi Olfa, Diaz Daniel, Lora-Michiels Alberto. Constraints: the Core of Product Line Engineering. Fifth IEEE International Conference on Research Challenges in Information Science (RCIS), IEEE Press, pp. 1-10. Guadeloupe-French West Indies, France, May 2011. (Acceptance rate 27%) Best Paper Award.

  43. Salinesi Camille, Mazo Raúl, Diaz Daniel, Djebbi Olfa. Solving Integer Constraints in Reuse Based Requirements Engineering. 18th IEEE International Conference on Requirements Engineering (RE'10), pp. 243-251. Sydney - Australia. September-October 2010. (Acceptance rate: 15.9%)

  44. Salinesi Camille, Mazo Raúl, Diaz Daniel. Criteria for the verification of feature models. In 28th INFORSID (INFormatique des ORganisations et Systèmes d’Information et de Décision) conference, pp. 293-308. Marseille - France, May 2010. (Acceptance rate: 36 % (22/60))

Workshops with PC

  1. Wozniak Anne-Laure, Segura Sergio, Mazo Raúl, and Leroy Sarah. "Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case." In 1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI). 2022.

  2. Rincón Luisa, Mazo Raúl, Salinesi Camille. A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering. Proceedings of the 24th ACM International Systems and Software Product Line Conference-Volume B. 2020.

  3. Silva Caine, Guérin Sylvain, Mazo Raúl, Champeau Joël. Contract-based design patterns: A Design by Contract Approach to Specify Security Patterns. In the proceedings of the 6th International Workshop on Secure Software Engineering (SSE), August 2020.

  4. Villota Angela, Mazo Raúl, Salinesi Camille. The high-level variability language: an ontological approach. In Proceedings of the 23rd International Systems and Software Product Line Conference-Volume B, pp. 84-94, ACM, Paris-France, 2019.

  5. Rincón Luisa, Mazo Raúl, Salinesi Camille. Analyzing the convenience of adopting a product line engineering approach: an industrial qualitative evaluation. In Proceedings of the 23rd International Systems and Software Product Line Conference-Volume B, pp. 73-83, ACM, Paris-France, 2019.

  6. Achtaich Asmaa, Roudies Ounsa, Souissi Nissrine, Salinesi Camille, Mazo Raúl. Evaluation of the State-Constraint Transition Modelling Language: A Goal Question Metric Approach . In Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC) - Volume B, ACM, Paris-France, 2019, https://doi.org/10. 1145/3307630.3342417

  7. Robin Jacques, Mazo Raul, Madeira Henrique, Barbosa Raul, Diaz Daniel, Abreu Salvador. A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. International Workshop on Artificial Intelligence Safety Engineering (WAISE), Springer LNCS, 2019.

  8. Rincón Luisa, Chavarriaga Jaime, Mazo Raúl and Salinesi Camille. How useful and understandable is the APPLIES framework? the results from a quasi-experiment with software practitioners. Workshop on Empirical Experiences on Software Reuse (WEESR), IEEE Press, Bogota, Colombia, 2018.

  9. Álvarez G., Mazo R., Urrego G., Giraldo G.L., Gabriel Tamura G., Martínez J.C., Rincón L.F., Pabón M.C, Villota A., Muñoz-Fernández J.C, Villegas N., Parra C. Lecciones aprendidas y agenda de trabajo académico-industrial para mejorar la gestión de la reutilización y la variabilidad en la ingeniería de software colombiana. Hacia la aplicación de la reutilización y la variabilidad en la industria del software en Colombia (memorias del primer foro REVASOFT), pp. 74–76, Cali-Colombia, ISBN 978-958-46-5857-9, January 26, 2015.

  10. Jaramillo León, Giraldo Gloria., Urrego Germán, Mazo Raúl. Método para la selección de solvers para hacer razonamiento automático sobre modelos de líneas de productos. Hacia la aplicación de la reutilización y la variabilidad en la industria del software en Colombia (memorias del primer foro REVASOFT), pp. 9–15, Cali-Colombia, ISBN 978-958-46-5857-9, January 2015.

  11. López Jose-Ignacio., Urrego Germán, Mazo Raúl. Proceso para configurar modelos de líneas de productos de manera incremental, interactiva y sensible al contexto. Hacia la aplicación de la reutilización y la variabilidad en la industria del software en Colombia (memorias del primer foro REVASOFT), pp. 16–22, Cali-Colombia, ISBN 978-958-46-5857-9, January 26, 2015.

  12. Mazo Raúl, Urrego Germán, Quiroz Diego. Comparación de mecanismos para la implementación de componentes en líneas de productos de software. Hacia la aplicación de la reutilización y la variabilidad en la industria del software en Colombia (memorias del primer foro REVASOFT), pp. 54–60, Cali-Colombia, ISBN 978-3-540-71436-1, 2015.

  13. Monsalve Sebastián., Urrego Germán, Mazo Raúl. Marco de trabajo para gestionar la corrección de defectos en la ingeniería de líneas de productos. Hacia la aplicación de la reutilización y la variabilidad en la industria del software en Colombia (memorias del primer foro REVASOFT), pp. 42–48, Cali-Colombia, ISBN 978-958-46-5857-9, January 2015.

  14. Salinesi Camille, Triki Raouia, Mazo Raúl. A combined configuration and recommendation of Product Lines. Journée d'étude sur les moteurs de recommandation, pp. 1-10. Paris France, June 2012.

  15. Mazo Raúl, Grünbacher Paul, Heider Wolfgang, Rabiser Rick, Salinesi Camille, Diaz Daniel. Using Constraint Programming to Verify DOPLER Variability Models. 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), pp. 97-103. Namur-Belgium, January 2011. (Acceptation rate: 55 %)

  16. Lora-Michiels Alberto, Salinesi Camille, Mazo Raúl. A Method based on Association Rules to Construct Product Line Models. 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'10) "Celebrating 20 Years of Feature Models", pp. 147-150. Linz-Austria, January 2010.

  17. Lora-Michiels Aalberto, Salinesi Camille, Mazo Raúl. The Baxter Return of Experience on the Use of Association Rules to Construct its Product Line Model. Journée SPL, Lignes de produits logiciels et usines logicielles, pp. 50-60. Nantes-France, October 2009.

  18. Salinesi Camille, Rolland Colette, Mazo Raúl. VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), pp. 173 - 176. Sevilla-Spain, January 2009.

Scientific and technical reports

  1. Mazo Raúl, Salinesi Camille. Methods, Techniques and Tools for PLM Verification. Research repport in Centre de Recherche en Informatique (CRI), Université Panthéon Sorbonn, Paris - France, octobre 2008.

  2. Groupe de travail AFIS sur l'ingénierie de lignes de produits. Fiche Ligne de produit n°2: L’architecture système dans une ligne de produits. Edition du 31/12/2009.

  3. Groupe de travail AFIS sur l'ingénierie de lignes de produits. Fiche Ligne de produit n°3: Les exigences système dans une ligne de produits. Edition du 08/04/2010

  4. Groupe de travail AFIS sur l'ingénierie de lignes de produits. Fiche Ligne de produit n°4: Ingénierie système d’une ligne de produits pilotée par les modèles. Edition du 26/02/2012