2024
Journal articles
- titre
- E-SCORE: A web-based tool for security requirements engineering
- auteur
- Hiba Hnaini, Raul Mazo, Joël Champeau, Paola Vallejo, Jose Galindo
- article
- SoftwareX, 2024, 26, pp.101704. ⟨10.1016/j.softx.2024.101704⟩
- Accès au bibtex
-
- titre
- Robustness Assessment of AI-Based 2D Object Detection Systems: A Method and Lessons Learned from Two Industrial Cases
- auteur
- Anne-Laure Wozniak, Sergio Segura, Raul Mazo
- article
- Electronics, 2024, 13 (7), pp.1368. ⟨10.3390/electronics13071368⟩
- Accès au bibtex
-
Conference papers
- titre
- Security Contracts a Property-Based Approach to Support Security Patterns
- auteur
- Sylvain Guérin, Joël Champeau, Salvador Martínez, Raul Mazo
- article
- 10th International Conference on Information Systems Security and Privacy, Feb 2024, Rome, France. pp.103-111, ⟨10.5220/0012305600003648⟩
- Accès au bibtex
-
- titre
- SECRET: A New SECurity REquirements SpecificaTion Template
- auteur
- Hiba Hnaini, Raul Mazo, Paola Vallejo, Andres Lopez, Joël Champeau, Jose Galindo
- article
- International Conference on Information Technology and Systems, ICITS 2024, Jan 2024, Temuco, Chile. pp.235-246, ⟨10.1007/978-3-031-54256-5_22⟩
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- Colla-Config: A stakeholders preferences-based approach for product lines collaborative configuration
- auteur
- Sihem Ben Sassi, Sabrine Edded, Raul Mazo, Henda Ben Ghezala, Camille Salinesi
- article
- Journal of Systems and Software, 2023, 197, pp.111586. ⟨10.1016/j.jss.2022.111586⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver Agnostic Approach
- auteur
- Camilo Correa, Jacques Robin, Raùl MAZO
- article
- ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Oct 2023, Lisboa, Portugal. ⟨10.1145/3624007.3624060⟩
- Accès au texte intégral et bibtex
-
- titre
- Robustness Testing of an Industrial Road Object Detection System
- auteur
- Anne-Laure Wozniak, Ngoc Duong, Ian Benderitter, Sarah Leroy, Sergio Segura, Raul Mazo
- article
- 2023 IEEE International Conference On Artificial Intelligence Testing (AITest), Jul 2023, Athens, Greece. pp.82-89, ⟨10.1109/AITest58265.2023.00022⟩
- Accès au bibtex
-
- titre
- Taxonomy of Requirements Specification Templates
- auteur
- Hiba Hnaini, Raúl Mazo, Paola Vallejo, Jose Galindo, Joël Champeau
- article
- SoftEng 23, Apr 2023, Venice, Italy
- Accès au texte intégral et bibtex
-
- titre
- A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability Models
- auteur
- Camilo Correa, Raul Mazo, Andres O. Lopez, Jacques Robin
- article
- SOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering, IARIA: International Academy, Research and Industry Association, Apr 2023, Venise, Italy
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- “Snapshot” of the State of Software Reuse in Colombia
- auteur
- Luisa-Fernanda Restrepo-Gutiérrez, Elizabeth Suescún-Monsalve, Raúl Mazo, Paola-Andrea Vallejo-Correa, Daniel Correa
- article
- Revista Científica de la Universidad Distrital, 2022, 44 (2), pp.242-256. ⟨10.14483/23448350.18389⟩
- Accès au bibtex
-
- titre
- Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned
- auteur
- George Bravos, Antonio J Cabrera, Camilo Correa, Dragan Danilovic, Nikolaos Evangeliou, Gilad Ezov, Zoran Gajica, Dusan Jakovetic, Leonidas Kallipolitis, Milan Lukic, Julien Mascolo, Davide Masera, Ivan Mezei, Andreas 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, Raul Mazo
- article
- IEEE Access, 2022, 10, pp.124747-124765. ⟨10.1109/ACCESS.2022.3225074⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case
- auteur
- Anne-Laure Wozniak, Sergio Segura, Raúl Mazo, Sarah Leroy
- article
- 1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI), May 2022, Pittsburgh (virtual), United States. ⟨10.1145/3526073.3527592⟩
- Accès au texte intégral et bibtex
-
2021
Journal articles
- titre
- Guidelines for the Specification of IoT Requirements: A Smart Cars Case
- auteur
- Asmaa Achtaich, Camille Salinesi, Nissrine Souissi, Ounsa Roudies, Raul Mazo
- article
- IoT Protocols and Applications for Improving Industry, Environment, and Society, 2021
- Accès au texte intégral et bibtex
-
- titre
- State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements
- auteur
- Camille Salinesi, Asmaa Achtaich, Nissrine Souissi, Raul Mazo, Ounsa Roudies, Angela Villota
- article
- Journal of Integrated Design and Process Science, 2021, 25 (2), pp.80-99. ⟨10.3233/JID210027⟩
- Accès au bibtex
-
Conference papers
- titre
- Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search
- auteur
- Camilo Correa, Jacques Robin, Raul Mazo, Salvador Abreu
- article
- 16th International Conference on Risks and Security of Internet and Systems, CRISIS 2021, Nov 2021, Virtual, Online, United States. pp.91-107, ⟨10.1007/978-3-031-02067-4_6⟩
- Accès au bibtex
-
- titre
- A SysML-based Holistic Variability Modelling of Software and Systems Product Lines
- auteur
- Olfa Ferchichi, Raoudha Beltaifa, Raul Mazo, Lamia Labed Jilani
- article
- 34th International Conference on Computer Applications in Industry and Engineering, CAINE 2021, Oct 2021, Virtual online, United States. pp.99 - 112
- Accès au texte intégral et bibtex
-
- titre
- Fouille de Processus de Configuration dans les Lignes de Produits
- auteur
- Camille Salinesi, Houssem Chemingui, Ines Gam, Raul Mazo, Henda Benghezala
- article
- INFORSID, Jun 2021, Dijon, France
- Accès au texte intégral et bibtex
-
- titre
- SDN Intent-based conformance checking: application to security policies
- auteur
- Nicolas Herbaut, Camilo Correa, Jacques Robin, Raul Mazo
- article
- 7th IEEE International Conference on Network Softwarization (IEEE NetSoft 2021), Jun 2021, Tokyo (virtual), Japan
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Devising Configuration Guidance with Process Mining Support
- auteur
- Houssem Chemingui, Camille Salinesi, Inès Gam, Raul Mazo, Henda Ben Ghezala
- article
- 2021
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- Comparing two active learning strategies for teaching Scrum in an introductory software engineering course
- auteur
- Silvia I. Lozano, Elizabeth Suescún, Paola Vallejo, Raúl Mazo, Daniel Correa
- article
- Ingeniare : Revista Chilena de Ingeniería, 2020, 28 (1), pp.83-94. ⟨10.4067/S0718-33052020000100083⟩
- Accès au bibtex
-
- titre
- Towards a new template for the specification of requirements in semi-structured natural language
- auteur
- Raul Mazo, Carlos Andrés Jaramillo, Paola Vallejo, Jhon Harvey Medina
- article
- Journal of Software Engineering Research and Development, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Contract-based design patterns: a design by contract approach to specify security patterns
- auteur
- Caine Silva, Sylvain Guérin, Raul Mazo, Joël Champeau
- article
- 15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
- Accès au bibtex
-
- titre
- A Unified Vision of Configurable Software
- auteur
- Houssem Chemingui, Ines Gam, Raul Mazo, Henda Benghezala, Camille Salinesi
- article
- Inforsid, Jun 2020, Dijon, France. ⟨10.3166/RCMA.25.1-n⟩
- Accès au texte intégral et bibtex
-
- titre
- Preference-based Conflict Resolution for Collaborative Configuration of Product Lines
- auteur
- Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala
- article
- International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
- Accès au texte intégral et bibtex
-
- titre
- A Domain-specific Modeling Framework for Attack Surface Modeling
- auteur
- Tithnara Nicolas Sun, Bastien Drouot, Fahad R Golra, Joël Champeau, Sylvain Guerin, Luka Le Roux, Raul Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L ' Hostis
- article
- ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Collaborative configuration approaches in software product lines engineering: a systematic mapping study
- auteur
- Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala
- article
- Journal of Systems and Software, 2019, 158, ⟨10.1016/j.jss.2019.110422⟩
- Accès au texte intégral et bibtex
-
- titre
- Management Capabilities for Mobile and IoT Devices: An Evaluation Framework
- auteur
- Asmaa Achtaich, Raul Mazo, Nissrine Souissi, Camille Salinesi, Ounsa Roudies
- article
- International Journal of Engineering and Advanced Technology, 2019, 8 (6), pp.420-430. ⟨10.35940/ijeat.E7822.088619⟩
- Accès au bibtex
-
- titre
- A Constraint-based Approach to Deal with Self-Adaptation: The Case of Smart Irrigation Systems
- auteur
- Asmaa Achtaich, Nissrine Souissi, Camille Salinesi, Raúl Mazo, Ounsa Roudies
- article
- International journal of advanced computer science and applications (IJACSA), 2019, 10 (7), ⟨10.14569/IJACSA.2019.0100727⟩
- Accès au bibtex
-
Conference papers
- titre
- Product Line Configuration Meets Process Mining
- auteur
- Houssem Chemingui, Ines Gam, Raul Mazo, Camille Salinesi, Henda Ben Ghézala
- article
- CENTERIS, Oct 2019, Sousse, Tunisia. pp.199-210, ⟨10.1016/j.procs.2019.12.173⟩
- Accès au texte intégral et bibtex
-
- titre
- REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
- auteur
- Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin, Raúl Mazo, Elena Gallego
- article
- International Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.406-417, ⟨10.1007/978-3-030-29852-4_34⟩
- Accès au texte intégral et bibtex
-
- titre
- REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges
- auteur
- Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin, Raul Mazo, Elena Gallego
- article
- Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Oct 2019, Innopolis, Russia. pp.406-417, ⟨10.1007/978-3-030-29852-4_34⟩
- Accès au texte intégral et bibtex
-
- titre
- Analyzing the convenience of adopting a product line engineering approach
- auteur
- Luisa Rincón, Raul Mazo, Camille Salinesi
- article
- Proceedings of the 23rd International Systems and Software Product Line Conference, Sep 2019, Paris, France. pp.1-8, ⟨10.1145/3307630.3342418⟩
- Accès au bibtex
-
- titre
- Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado
- auteur
- Raúl Mazo, Carlos Jaramillo
- article
- Requirements Engineering Track (RET) of CIbSE, 2019, Habana, Cuba
- Accès au texte intégral et bibtex
-
- titre
- The High-Level Variability Language: An Ontological Approach
- auteur
- Angela Villota, Raúl Mazo, Camille Salinesi
- article
- International Systems and Software Product Line Conference-Volume B, 2019, Paris, France. ⟨10.1145/3307630.3342401⟩
- Accès au texte intégral et bibtex
-
- titre
- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
- auteur
- Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
- article
- International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland
- Accès au bibtex
-
Poster communications
- titre
- Product Line Configurations guided by Process Traces
- auteur
- Houssem Chemingui, Camille Salinesi, Inès Gam El Golli, Raul Mazo, Henda Benghezala
- article
- Journées nationales du Génie de la Programmation et du Logiciel, Jun 2019, Toulouse, France
- Accès au texte intégral et bibtex
-
Proceedings
- titre
- SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A
- auteur
- 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 Thum, Tewfik Ziadi
- article
- 2019
- Accès au bibtex
-
Preprints, Working Papers, ...
- titre
- ConfiLog: An approach to Guide Product Line Configuration Processes based on Configuration Traces
- auteur
- Houssem Chemingui, Ines Gam, Raul Mazo, Camille Salinesi, Henda Ben Ghézala
- article
- 2019
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- Evaluating Company’s Readiness for Adopting Product Line Engineering: a Second Evaluation Round
- auteur
- Luisa Rincón, Raul Mazo, Camille Salinesi
- article
- Complex Systems Informatics and Modeling Quarterly, 2018, 17, pp.69-94. ⟨10.7250/csimq.2018-17.04⟩
- Accès au texte intégral et bibtex
-
- titre
- A DSPL Design Framework for SASs: A Smart Building Example
- auteur
- Asmaa Achtaich, Nissrine Souissi, Raul Mazo, Ounsa Roudies, Camille Salinesi
- article
- EAI Endorsed Transactions on Smart Cities, 2018, 2 (8), ⟨10.4108/eai.26-6-2018.154829⟩
- Accès au bibtex
-
Conference papers
- titre
- How Useful and Understandable is the APPLIES Framework? a Preliminary Evaluation With Software Practitioners
- auteur
- Luisa Rincón, Raul Mazo, Camille Salinesi
- article
- 2018 ICAI Workshops (ICAIW), Nov 2018, Bogota, Colombia. pp.1-6, ⟨10.1109/ICAIW.2018.8555002⟩
- Accès au bibtex
-
- titre
- APPLIES: A framework for evaluAting organization's motivation and preparation for adopting product lines
- auteur
- Luisa Rincón, Raúl Mazo, Camille Salinesi
- article
- Proceedings of the 2018 12th International Conference on Research Challenges in Information Science (RCIS), May 2018, Nantes, France. pp.1-12, ⟨10.1109/RCIS.2018.8406641⟩
- Accès au bibtex
-
2017
Conference papers
- titre
- Designing a Framework for Smart IoT Adaptations
- auteur
- Asmaa Achtaich, Nissrine Souissi, Raul Mazo, Camille Salinesi, Ounsa Roudies
- article
- International Conference on Emerging Technologies for Developing Countries, Mar 2017, Marrakech, Morocco
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Using the AMAN-DA method to generate security requirements: a case study in the maritime domain
- auteur
- Amina Souag, Raúl Mazo, Camille Salinesi, Isabelle Comyn-Wattiau
- article
- 2017
- Accès au texte intégral et bibtex
-
2016
Journal articles
- titre
- Reference software architecture for improving modifiability of personalised web applications - a controlled experiment
- auteur
- Luz-Viviana Cobaleda, Raul Mazo, Jorge Luis Risco Becerra, John-Freddy Duitama
- article
- International Journal of Web Engineering and Technology, 2016, 11 (4), pp.351-370. ⟨10.1504/IJWET.2016.081768⟩
- Accès au texte intégral et bibtex
-
- titre
- Requirements Analysis for Context-oriented Systems
- auteur
- Manuele Kirsch Pinheiro, Manuele Kirsch-Pinheiro, Raul Mazo, Carine Souveyet, Danillo Sprovieri
- article
- Procedia Computer Science, 2016, 83, pp.253-261. ⟨10.1016/j.procs.2016.04.123⟩
- Accès au bibtex
-
Conference papers
- titre
- Run-time planning of case-based business processes
- auteur
- Danillo Sprovieri, Daniel Diaz, Raul Mazo, Knut Hinkelmann
- article
- IEEE 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 6, ⟨10.1109/RCIS.2016.7549282⟩
- Accès au texte intégral et bibtex
-
- titre
- Requirements Analysis for Context-oriented Systems
- auteur
- Manuele Kirsch-Pinheiro, Raul Mazo, Carine Souveyet, Danillo Sprovieri
- article
- The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) , May 2016, Madrid, Spain. ⟨10.1016/j.procs.2016.04.123⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Context Management and Intention Mining for Adaptive Systems in Mobile Environments: from Business Process Management to Video Games?
- auteur
- Rébecca Deneckère, Charlotte Hug, Ali Jaffal, Manuele Kirsch Pinheiro, Bénédicte Le Grand, Raúl Mazo, Irina Rychkova
- article
- Digital Interfaces in Situation of Mobility: Cognitive, Artistic and Game devices, 2016
- Accès au texte intégral et bibtex
-
Books
- titre
- Construcción de Modelos de Características: Un Marco para Comparar y Clasificar Propuestas.
- auteur
- Ricardo Gacitua, Samuel Sepulveda, Raul Mazo
- article
- 2016
- Accès au bibtex
-
2015
Journal articles
- titre
- Towards a requirements specification multi-view framework for self-adaptive systems
- auteur
- Juan C Muñoz-Fenández, Gabriel Tamura, Raúl Mazo, Camille Salinesi
- article
- CLEI electronic journal, 2015, Best Papers from CLEI 2014 Special Issue, 18 : 2015 (2, August 2015)
- Accès au texte intégral et bibtex
-
- titre
- Method to Identify Corrections of Defects on Product Line Models
- auteur
- Luisa Rincón-Perez, Gloria-Lucia Giraldo-Gómez, Raul Mazo, Camille Salinesi, Daniel Diaz
- article
- Electronic Notes in Theoretical Computer Science, 2015, 314, pp.61-81. ⟨10.1016/j.entcs.2015.05.005⟩
- Accès au bibtex
-
- titre
- Reusable knowledge in security requirements engineering: a systematic mapping study
- auteur
- Amina Souag, Raul Mazo, Camille Salinesi, Isabelle Comyn-Wattiau
- article
- Requirements Engineering, 2015, pp.1-33. ⟨10.1007/s00766-015-0220-8⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Continuous Monitoring of Adaptive e-learning Systems Requirements
- auteur
- Lamiae Dounas, Raul Mazo, Camille Salinesi, Omar El Beqqali
- article
- 12th ACS/IEEE International Conference on Computer Systems and Applications ( AICCSA 2015 ), Nov 2015, Marrakech Morocco
- Accès au bibtex
-
- titre
- Continuous monitoring of adaptive e-learning systems requirements
- auteur
- Lamiae Dounas, Raul Mazo, Camille Salinesi, Omar El Beqqali
- article
- 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), Nov 2015, Marrakech, Morocco. ⟨10.1109/AICCSA.2015.7507210⟩
- Accès au texte intégral et bibtex
-
- titre
- VariaMos: an extensible tool for engineering (dynamic) product lines
- auteur
- Raul Mazo, Juan C Muñoz-Fernández, Luisa Rincón-Perez, Camille Salinesi, Gabriel Tamura
- article
- SPLC 2015, Vanderbilt University, Jul 2015, Nashville, United States. pp.374-379, ⟨10.1145/2791060.2791103⟩
- Accès au texte intégral et bibtex
-
- titre
- REFAS: A PLE Approach for Simulation of Self-Adaptive Systems Requirements
- auteur
- Juan C Muñoz-Fernández, Gabriel Tamura, Irina Raicu, Raúl Mazo, Camille Salinesi
- article
- SPLC 2015, Vanderbilt University, Jul 2015, Nashville, United States. pp.444, ⟨10.1145/2791060.2791102⟩
- Accès au texte intégral et bibtex
-
- titre
- Runtime Requirements Monitoring Framework for Adaptive e-Learning Systems
- auteur
- Lamiae Dounas, Raul Mazo, Camille Salinesi, Omar El Beqqali
- article
- International Conference on Software & Systems Engineering and their Applications (ICSSEA'15), May 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Three strategies to Specify Multi-Instantiation in Product Lines
- auteur
- Raouia Triki, Camille Salinesi, Raul Mazo
- article
- IEEE RCIS 2015, May 2015, athène, Greece
- Accès au texte intégral et bibtex
-
- titre
- A Security Ontology for Security Requirements Elicitation
- auteur
- Amina Souag, Camille Salinesi, Raul Mazo, Isabelle Comyn-Wattiau
- article
- International Symposium on Engineering Secure Software and Systems, Mar 2015, Milan, Italy. ⟨10.1007/978-3-319-15618-7_13⟩
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Avantages et limites des modèles de caractéristiques dans la modélisation des exigences de variabilité
- auteur
- Raul Mazo
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 111, pp.42-48
- Accès au texte intégral et bibtex
-
- titre
- Using software product line to improve ERP engineering : literature review and analysis
- auteur
- Raul Mazo, Saïd Assar, Camille Salinesi, Noura Ben Hassen
- article
- Latin-American Journal of Computing, 2014, 1 (1)
- Accès au texte intégral et bibtex
-
- titre
- Dynamic adaptation of service compositions with variability models
- auteur
- G.H. Alférez, V. Pelechano, Raul Mazo, Daniel Diaz, Camille Salinesi
- article
- Journal of Systems and Software, 2014, 91, pp.24-47. ⟨10.1016/j.jss.2013.06.034⟩
- Accès au bibtex
-
- titre
- Identifying dead features and their causes in product line models: an ontological approach
- auteur
- Gloria-Lucia Giraldo-Gómez, Luisa Rincón-Perez, Raúl Mazo
- article
- DYNA, 2014, 81 (183), pp.68 - 77
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines
- auteur
- Jabier Martinez, Tewfik Ziadi, Raul Mazo, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
- article
- IEEE Working Conference on Software Visualization (VISSOFT 2014), Sep 2014, Victoria, Canada. pp.50 - 59, ⟨10.1109/VISSOFT.2014.18⟩
- Accès au texte intégral et bibtex
-
- titre
- Método para Identificar Correcciones de Defectos en Modelos de Características que representan Líneas de Productos / Method to identify corrections of defects on product line models
- auteur
- Luisa Rincón-Perez, Gloria-Lucia Giraldo-Gómez, Raúl Mazo, Camille Salinesi, Daniel Diaz
- article
- XL Latin American Computing Conference (CLEI), Sep 2014, Montevideo, Uruguay
- Accès au texte intégral et bibtex
-
- titre
- Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems
- auteur
- Muñoz-Fenández Juan C, Gabriel Tamura, Raúl Mazo, Camille Salinesi
- article
- 2014 XL Latin American Computing Conference (CLEI), Montevideo, Uruguay, September 15-19, 2014, Sep 2014, Montevideo, Uruguay
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Combining configuration and recommendation to enable an interactive guidance of product line configuration
- auteur
- Raouia Triki, Raul Mazo, Camille Salinesi
- article
- Gérald Kembellec, Ghislaine Chartron et Imad Saleh. Les systèmes et moteurs de recommandation, Hermès, pp.141-160, 2014
- Accès au texte intégral et bibtex
-
- titre
- Recommendation Heuristics for Improving Product Line Configuration Processes
- auteur
- Raúl Mazo, Cosmin Dumitrescu, Camille Salinesi, Daniel Diaz
- article
- Robillard M, Maalej W., Walker R. and Zimmermann T. Recommendation Systems in Software Engineering, Springer, pp.100, 2014, 978-3-642-45135-5
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- Capturing variability in Model Based Systems Engineering
- auteur
- Cosmin Dumitrescu, Patrick Tessier, Camille Salinesi, Sébastien Gerard, Alain Dauron, Raúl Mazo
- article
- Complex Systems Design & Management (CSD&M) Conference, Dec 2013, Paris, France. pp.100-115
- Accès au texte intégral et bibtex
-
- titre
- Material Needs Forecast for Product Lines, a Bayesian-based Analysis Approach
- auteur
- Raúl Mazo, Gloria-Lucia Giraldo-Gómez, Leon Jaramillo, Camille Salinesi, Cosmin Dumitrescu
- article
- 25th International Conference on Software and Systems Engineering and their Applications (ICSSEA), Nov 2013, France
- Accès au texte intégral et bibtex
-
- titre
- Material Needs Forecast for Product Lines, a Bayesian-based Analysis Approach
- auteur
- Raúl Mazo, Gloria Lucia Giraldo, Leon Jaramillo, Camille Salinesi, Cosmin Dumitrescu
- article
- 25th International Conference on Software and Systems Engineering and their Applications (ICSSEA), Nov 2013, Paris, France
- Accès au bibtex
-
- titre
- An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
- auteur
- Luisa Rincón, Gloria Lucia Giraldo, Raúl Mazo, Camille Salinesi
- article
- XXXIX Latin American Computing Conference (CLEI), Oct 2013, Naiguatá, Venezuela
- Accès au texte intégral et bibtex
-
- titre
- Bridging the Gap Between Product Lines and Systems Engineering: An experience in Variability Management for Automotive Model-based Systems Engineering
- auteur
- Cosmin Dumitrescu, Raúl Mazo, Camille Salinesi, Alain Dauron
- article
- 17th International Software Product Line Conference (SPLC), Aug 2013, Tokio, Japan
- Accès au texte intégral et bibtex
-
- titre
- 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
- auteur
- Luisa Rincón, Gloria Lucia Giraldo, Raúl Mazo, Camille Salinesi, Daniel Diaz
- article
- 8th Computer Colombian Conference (CCC), Aug 2013, Armenia, Colombia
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems
- auteur
- Pete Sawyer, Raul Mazo, Daniel Diaz, Camille Salinesi, Danny Hughes
- article
- Special Issue in IEEE Computer Dynamic Software Product Lines, 2012, pp.1-12
- Accès au texte intégral et bibtex
-
- titre
- Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy
- auteur
- Raul Mazo, Camille Salinesi, Olfa Djebbi, Daniel Diaz, Alberto Lora-Michiels
- article
- International Journal of Information System Modeling and Design, 2012, 3 (2), pp.50
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach
- auteur
- Raul Mazo, Camille Salinesi, Daniel Diaz
- article
- 24th International Conference on Advanced Information Systems Engineering (CAiSE Forum'12), Jun 2012, Gdansk, Poland
- Accès au texte intégral et bibtex
-
- titre
- Combining configuration and recommendation to define an interactive product line configuration approach
- auteur
- Camille Salinesi, Raouia Triki, Raul Mazo
- article
- Journée d'étude sur les moteurs de recommandation, Jun 2012, PARIS, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Defects in Product Line Models and how to Identify them
- auteur
- Camille Salinesi, Raul Mazo
- article
- Abdelrahman Elfaki. Software Product Line - Advanced Topic, InTech editions, pp.50, 2012, 978-953-51-0436-0
- Accès au texte intégral et bibtex
-
2011
Journal articles
- titre
- Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models
- auteur
- Raul Mazo, Camille Salinesi, Daniel Diaz
- article
- INSIGHT - International Council on Systems Engineering (INCOSE), 2011, 14 (4), pp.22
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Conformance Checking with Constraint Logic Programming: The Case of Feature Models
- auteur
- Raul Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed
- article
- In 35th IEEE International Computer Software and Applications Conference (COMPSAC), Jul 2011, Munich, Germany
- Accès au texte intégral et bibtex
-
- titre
- Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains
- auteur
- Raul Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels
- article
- 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Jun 2011, Beijing, China
- Accès au texte intégral et bibtex
-
- titre
- Constraints: the Core of Product Line Engineering
- auteur
- Camille Salinesi, Raul Mazo, Olfa Djebbi, Daniel Diaz, Alberto Lora-Michiels
- article
- Fifth IEEE International Conference on Research Challenges in Information Science (RCIS), May 2011, Guadeloupe, France
- Accès au texte intégral et bibtex
-
- titre
- Using Constraint Programming to Verify DOPLER Variability Models
- auteur
- Raul Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz
- article
- 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium
- Accès au texte intégral et bibtex
-
Theses
- titre
- A Generic Approach for Automated Verification of Product Line Models
- auteur
- Raul Mazo
- article
- Software Engineering [cs.SE]. Université Panthéon-Sorbonne - Paris I, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2010
Conference papers
- titre
- Solving Integer Constraint in Reuse Based Requirements Engineering
- auteur
- Camille Salinesi, Raul Mazo, Daniel Diaz, Olfa Djebbi
- article
- 18th IEEE International Conference on Requirements Engineering (RE'10), Sep 2010, Sydney, Australia. pp.50
- Accès au texte intégral et bibtex
-
- titre
- Using Integer Constraint Solving in Reuse Based Requirements Engineering
- auteur
- Camille Salinesi, Raul Mazo, Daniel Diaz, Olfa Djebbi
- article
- 18th IEEE International Requirements Engineering Conference (RE), 2010, Sep 2010, Sydney, Australia. pp.243-251, ⟨10.1109/RE.2010.36⟩
- Accès au texte intégral et bibtex
-
- titre
- Criteria for the verification of feature models
- auteur
- Camille Salinesi, Raul Mazo, Daniel Diaz
- article
- INFORSID 2010, May 2010, Marseille, France
- Accès au texte intégral et bibtex
-
- titre
- A Method based on Association Rules to Construct Product Line Model
- auteur
- Alberto Lora-Michiels, Camille Salinesi, Raul Mazo
- article
- 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMos), Jan 2010, Linz, Austria. pp.50
- Accès au texte intégral et bibtex
-
2009
Conference papers
- titre
- Spécification d'Exigences dans le Contexte de Lignes de Produits.
- auteur
- Camille Salinesi, Daniel Diaz, Raul Mazo, Olfa Djebbi
- article
- Journée Action IDM - INFORSID Exigence, Traçabilité et Co-conception dans les processus de développement, Oct 2009, France
- Accès au bibtex
-
- titre
- The Baxter Return of Experience on the Use of Association Rules to Construct its Product Line Model
- auteur
- Alberto Lora-Michiels, Camille Salinesi, Raul Mazo
- article
- Journée SPL, Lignes de produits logiciels et usines logicielles, Oct 2009, Nantes, France
- Accès au texte intégral et bibtex
-
- titre
- Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. (Poster)
- auteur
- Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raul Mazo, Colette Rolland
- article
- 17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.375-376, ⟨10.1109/RE.2009.52⟩
- Accès au bibtex
-
- titre
- Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria
- auteur
- Camille Salinesi, Colette Rolland, Daniel Diaz, Raul Mazo
- article
- 17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.385-386, ⟨10.1109/RE.2009.57⟩
- Accès au bibtex
-
- titre
- VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models
- auteur
- Camille Salinesi, Colette Rolland, Raul Mazo
- article
- International Workshop on Variability Modelling of Software-intensive Systems, Jan 2009, Seville, Spain. pp.173-176
- Accès au bibtex
-
- titre
- VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models
- auteur
- Camille Salinesi, Colette Rolland, Raul Mazo
- article
- International Workshop on Variability Modelling of Software-intensive Systems (VaMos), Jan 2009, Sevilla, Spain. pp.173
- Accès au texte intégral et bibtex
-
Reports
- titre
- An Ontology of Verification Criteria in the Product Line Domain
- auteur
- Camille Salinesi, Colette Rolland, Raul Mazo
- article
- 2009
- Accès au bibtex
-
2008
Other publications
- titre
- Methods, Techniques and Tools for PLM Verification
- auteur
- Raul Mazo, Camille Salinesi
- article
- 2008
- Accès au bibtex
-
Preprints, Working Papers, ...
- titre
- Methods, Techniques and Tools for Product Line Model Verification
- auteur
- Raul Mazo, Camille Salinesi
- article
- 2008
- Accès au texte intégral et bibtex
-
2007
Journal articles
- titre
- BÚSQUEDA DE OBJETOS DE APRENDIZAJE A PARTIR DE OBJETIVOS INSTRUCCIONALES ESCRITOS EN LENGUAJE NATURAL
- auteur
- Aldrin Fredy Jaramillo, John Freddy Duitama, Juan Fernando Vélez, Raul Mazo
- article
- Journal TECNO-LÓGICAS, ITM - Medellín-Colombia, 2007, 1 (19), pp.1
- Accès au texte intégral et bibtex
-