Skip to content

Ral Mazo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

34

Venues

18

Active years

2009–2024

Best venue rank

B

Where they publish

Papers

34 indexed papers, newest first.

YearVenueTitleAuthors
2024ICISSPSecurity Contracts a Property-Based Approach to Support Security Patterns.Sylvain Gurin, Jol Champeau, Salvador Martnez, Ral Mazo
2024MODELSExtensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning.Camilo Correa-Restrepo, Jacques Robin, Ral Mazo
2023GPCEGenerating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach.Camilo Correa-Restrepo, Jacques Robin, Ral Mazo
2021CRiSISIntelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search.Camilo Correa, Jacques Robin, Ral Mazo, Salvador Abreu
2021ENASEAn Ontology for Service-Oriented Dynamic Software Product Lines Knowledge Management.Najla Maalaoui, Raoudha Beltaifa, Lamia Labed Jilani, Ral Mazo
2021NetSoftSDN Intent-based conformance checking: application to security policies.Nicolas Herbaut, Camilo Correa, Jacques Robin, Ral Mazo
2020ENASEPreference-based Conflict Resolution for Collaborative Configuration of Product Lines.Sabrine Edded, Sihem Ben Sassi, Ral Mazo, Camille Salinesi, Henda Ben Ghzala
2020ICISSPA Domain-specific Modeling Framework for Attack Surface Modeling.Tithnara Nicolas Sun, Bastien Drouot, Fahad Rafique Golra, Jol Champeau, Sylvain Gurin, Luka Le Roux, Ral Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L'Hostis
2020SPLCA multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering.Luisa Rincn, Ral Mazo, Camille Salinesi
2019ICSRExtending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines.Daniel Correa B., Ral Mazo, Gloria Luca Giraldo
2019SAFECOMPA Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.Jacques Robin, Ral Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
2019SPLCEvaluation of the state-constraint transition modelling language: a goal question metric approach.Asmaa Achtaich, Ounsa Roudis, Nissrine Souissi, Camille Salinesi, Ral Mazo
2019SPLCAnalyzing the convenience of adopting a product line engineering approach: an industrial qualitative evaluation.Luisa Rincn, Ral Mazo, Camille Salinesi
2019SPLCThe high-level variability language: an ontological approach.ngela Villota, Ral Mazo, Camille Salinesi
2018ICWECME - A Web Application Framework Learning Technique Based on Concerns, Micro-Learning and Examples.Daniel Correa B., Fernando Arango Isaza, Ral Mazo, Gloria Luca Giraldo
2018RCIS10 Challenges for the specification of self-adaptive software.Juan C. Muoz-Fernndez, Ral Mazo, Camille Salinesi, Gabriel Tamura
2018RCISAPPLIES: A framework for evaluAting organization's motivation and preparation for adopting product lines.Luisa Rincn, Ral Mazo, Camille Salinesi
2016ANTRequirements Analysis for Context-oriented Systems.Manuele Kirsch-Pinheiro, Ral Mazo, Carine Souveyet, Danillo Sprovieri
2016CLEIBuilding feature models: A framework for comparing and classifying proposals.Ricardo Gacita, Samuel Seplveda, Ral Mazo
2016RCISRun-time planning of case-based business processes.Danillo Sprovieri, Daniel Diaz, Ral Mazo, Knut Hinkelmann
2015AICCSAContinuous monitoring of adaptive e-learning systems requirements.Lamiae Dounas, Ral Mazo, Camille Salinesi, Omar El Beqqali
2015RCISThree strategies to specify multi-instantiation in product lines.Raouia Triki, Camille Salinesi, Ral Mazo
2015SPLCVariaMos: an extensible tool for engineering (dynamic) product lines.Ral Mazo, Juan C. Muoz-Fernndez, Luisa Rincn, Camille Salinesi, Gabriel Tamura
2015SPLCREFAS: a PLE approach for simulation of self-adaptive systems requirements.Juan C. Muoz-Fernndez, Gabriel Tamura, Irina Raicu, Ral Mazo, Camille Salinesi
2014CLEITowards a requirements specification multi-view framework for self-adaptive systems.Juan C. Muoz-Fernndez, Gabriel Tamura, Ral Mazo, Camille Salinesi
2014VISSOFTFeature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines.Jabier Martinez, Tewfik Ziadi, Ral Mazo, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon
2013SPLCBridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering.Cosmin Dumitrescu, Ral Mazo, Camille Salinesi, Alain Dauron
2012CaiSEVariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach.Ral Mazo, Camille Salinesi, Daniel Diaz
2011COMPSACConformance Checking with Constraint Logic Programming: The Case of Feature Models.Ral Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed
2011ENASETransforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains.Ral Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels
2011RCISConstraints: The core of product line engineering.Camille Salinesi, Olfa Djebbi, Ral Mazo, Daniel Diaz, Alberto Lora-Michiels
2010REUsing Integer Constraint Solving in Reuse Based Requirements Engineering.Camille Salinesi, Ral Mazo, Daniel Diaz, Olfa Djebbi
2009REExploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models.Camille Salinesi, Daniel Diaz, Olfa Djebbi, Ral Mazo, Colette Rolland
2009RELooking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria.Camille Salinesi, Colette Rolland, Daniel Diaz, Ral Mazo