Raúl Mazo

REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges

Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, 2019, TOOLS.

Using the AMAN-DA method to generate security requirements: a case study in the maritime domain

Camille Salinesi, Isabelle Comyn-Wattiau, Amina Souag, 2018, Requirements Engineering.

A Security Ontology for Security Requirements Elicitation

Camille Salinesi, Isabelle Comyn-Wattiau, Amina Souag, 2015, ESSoS.

A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence

Henrique Madeira, Salvador Abreu, Jacques Robin, 2019, SAFECOMP Workshops.

10 Challenges for the specification of self-adaptive software

Gabriel Tamura, Camille Salinesi, Raúl Mazo, 2018, 2018 12th International Conference on Research Challenges in Information Science (RCIS).

Material Needs Forecast for Product Lines, a Bayesian-based Analysis Approach

Camille Salinesi, Raúl Mazo, Cosmin Dumitrescu, 2013 .

A Constraint-based Approach to Deal with Self-Adaptation: The Case of Smart Irrigation Systems

Camille Salinesi, Nissrine Souissi, Ounsa Roudies, 2019, International Journal of Advanced Computer Science and Applications.

Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains

Camille Salinesi, Raúl Mazo, Alberto Lora-Michiels, 2011, ENASE.

Contract-based design patterns: a design by contract approach to specify security patterns

Raúl Mazo, Joel Champeau, Caine Silva, 2020, ARES.