• Home
  • ENSTA Bretagne
  • Pôle Sciences et Technologies de l'Information et de la Communication (STIC)
  • Raúl Mazo
Raúl Mazo

Raúl Mazo
ENSTA Bretagne · Pôle Sciences et Technologies de l'Information et de la Communication (STIC)

PhD

About

118
Publications
24,457
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
1,067
Citations
Introduction
Raúl Mazo is Professor at ENSTA Bretagne from September 2019, and Visiting Professor at Eafit University (Colombia) from September 2016. He received a Computer Science Engineering degree in 2005 from the University of Antioquia (Medellin, Colombia), a Master of Science degree in Information Systems in 2008, a Ph.D. degree in Computer Science in 2011, and an "habilitation à diriger des recherches" (HDR) in 2018, the last three from the Panthéon Sorbonne University. His research and teaching topics include: Software engineering, self-adaptive (cyber-physical) systems and (dynamic) product line engineering. Since 2015, Dr. Mazo is accredited by the French Ministry of Higher Education and Scientific Research to review and evaluate industrial research projects (CIR proposals).
Additional affiliations
June 2010 - October 2010

Publications

Publications (118)
Article
Existing formal languages for the specification of self-adaptive cyber-physical systems focus on re-configuring the system-to-be depending on its current context, to satisfy the user’s requirements, that is by dynamically composing the software’s structure and behavior. While these approaches specify context-sensitive requirements, they rarely cons...
Article
Due to competitive markets, the software business wants faster, better, and cheaper solutions in a short amount of time. Software reuse emerges as a viable solution to these demands since it offers significant benefits, such as increased quality and efficiency and lower development costs and effort, as well as shorter commercialization times. This...
Article
Existing formal languages for the specification of self-adaptive cyber-physical systems focus on re-configuring the system-to-be depending on its current context, to satisfy the user’s requirements, that is by dynamically composing the software’s structure and behavior. While these approaches specify context-sensitive requirements, they rarely cons...
Article
Objetivo: Conocer el estado del arte de la reutilización de software, centrándose en sus factores de éxito y barreras de adopción. Metodología: Para alcanzarlo realizamos una revisión de la literatura en la cual adoptamos algunos elementos de un estudio de mapeo sistemático. Esta revisión de la literatura constó de cinco etapas (i) definición de la...
Chapter
In the last five years, we witnessed the shift from the vision of the internet of things (IoT) to an actual reality. It is currently shifting again from specific and single applications to larger and more generic ones, which serves the needs of thousands of users across borders and platforms. To avoid losing the personification of applications, on...
Conference Paper
Full-text available
In practice, software configuration is error-prone due to the plethora of requirements and constraints to satisfy at the same time. Practitioners face awkward scalability issues when configuring large variability-based software. Indeed, standard variability modeling methods such as feature and even decision models fail in mastering a suitable confi...
Article
Full-text available
El aprendizaje activo consiste en cualquier método de instrucción que comprometa a los estudiantes en su proceso de aprendizaje a través de actividades o discusiones realizadas principalmente durante las clases. En este artículo se reportaron los resultados de la comparación de dos estrategias de aprendizaje activo para la enseñanza del marco de tr...
Article
Full-text available
Requirements engineering is a systematic and disciplined approach for the specification and management of software requirements; one of its objectives is to transform the requirements of the stakeholders into formal spec-ifications in order to analyze and implement a system. These requirements are usually expressed and articulated in natural langua...
Conference Paper
Full-text available
Product line engineering is a new production paradigm that provides organizations a competitive edge by improving productivity and decreasing costs. The purpose with this new production paradigm is no longer to develop a single product but to develop a product family and to generate the products of the line through configuration processes. However,...
Article
Full-text available
Product line engineering is a new production paradigm that provides organizations a competitive edge by improving productivity and decreasing costs. The purpose with this new production paradigm is no longer to develop a single product but to develop a product family and to generate the products of the line through configuration processes. However,...
Chapter
The REVaMP2 Project is a major European effort towards Round-Trip Engineering of Software Product Lines for software intensive systems. Indeed, software is predominant in almost every modern industry. The importance of time-to-market has grown tremendously in many business domains. Organizations are in a constant search for approaches for mass prod...
Conference Paper
Engineering Software Product Lines may be a strategy to reduce costs and efforts for developing software and increasing business productivity. However, it cannot be considered as a "silver bullet" that applies to all types of organizations. Companies must consider pros and cons to determine sound reasons and justify its adoption. In previous work,...
Conference Paper
Given its relevance, there is an extensive body of research for modeling variability in diverse domains. Regretfully, the community still faces issues and challenges to port or share variability models among tools and methodological approaches. There are researchers, for instance, implementing the same algorithms and analyses again because they use...
Conference Paper
Full-text available
Self-adaptive systems (SAS) are exceptional systems, on account of their versatile composition, dynamic behavior and evolutive nature. Existing formal languages for the specification of SAS focus on adapting system elements to achieve a target goal, following specific rules, without much attention on the adaptation of requirements themselves. The S...
Article
Full-text available
Recent experience indicates that mobile and connected devices are increasingly becoming a key enabler of advanced services and applications. Specifically, in the case of the enterprise, they represent a land of opportunities to grow in efficiency and quality with reduced costs and time-to-market. However, mobile and IoT also exposes enterprises to...
Chapter
Full-text available
We present a versatile architecture for AI-powered self-adaptive self-certifiable critical systems. It aims at supporting semi-automated low-cost re-certification for self-adaptive systems after each adaptation of their behavior to a persistent change in their operational environment throughout their lifecycle.
Article
Software product line engineering has emerged as a prominent software engineering paradigm, as it comprises a set of core assets sharing functionality and quality attributes. Feature modelling is one of the most frequently used techniques for modelling the variability within a software product line. There are several proposals for building Feature...
Article
Full-text available
Smart irrigation is a specific application of the IoT, where devices composed of sensors and actuators, collect environmental data, like soil humidity, air temperature and brightness, in order to lunch or plan irrigation cycles. These systems function according to a configuration that dictates the way in which every component should operate. Static...
Chapter
Software product lines (SPL) have become an efficient paradigm for systematic reuse. SPL engineering is about the planned reuse of common assets for the rapid production of a software systems family. In SPL, an effective product derivation process is key to ensure that the effort required to develop the common assets will be lower than the benefits...
Poster
Full-text available
How process mining can resolve configuration difficulties : An overview of the ConfiLog approach
Article
Full-text available
Product lines have emerged in the software industry as an attractive approach to perform planned reuse of code. Nevertheless, a product line solution is not appropriate in all cases and also requires some conditions to be implemented successfully. The literature offers several contributions regarding the adoption of product lines. However, only a f...
Article
Full-text available
Security requirements are known to be “the most difficult of requirements types” and potentially the ones causing the greatest risk if they are not correct. One approach to requirements elicitation is based on the reuse of explicit knowledge. AMAN-DA is a requirement elicitation method that reuses encapsulated knowledge in security and domain ontol...
Conference Paper
Full-text available
Although engineering software product lines have proven to be an efficient way to develop similar products with high quality and increased time-to-market, companies must determine if they are willing to do the business and technical changes that this strategy requires. To support decision making, we are proposing APPLIES, a framework for evaluating...
Article
Full-text available
Software product lines facilitate the industrialization of software development. The main goal is to create a set of reusable software components for the rapid production of a software systems family. Many authors have proposed different approaches to design and implement the components of a product line. However, the construction and integration o...
Article
Full-text available
There is empirical evidence concerning the effectiveness and benefits of game-based learning (GBL). Our mainly interest is to present a tool that can be used to complement teaching software engineering in a motivating and didactic way. This paper studies the use of a GBL tool called SimulES-W (Simulation in Software Engineering), to teach Software...
Conference Paper
Full-text available
Las líneas de productos de software (LPS) aprovechan los elementos comunes y variables que comparten entre sí productos de un mismo dominio para favorecer la reutilización y disminuir tiempos de desarrollo de software. Cambios en las líneas de productos conllevan a la evolución y en la literatura diferentes trabajos han sido propuestos para afronta...
Conference Paper
Taking into account dynamic user properties such as emotions for interfaces adaptation at runtime is a challenging task. To deal with this issue, we propose to personalize user interfaces at runtime based on user’s emotions. This approach depends on emotion recognition tools to allow an Inferring Engine to deduce user emotions during the interactio...
Conference Paper
Full-text available
In the software industry, product Lines has emerged as an attractive approach to perform planned reuse. Nevertheless, a product line solution is not appropriate for all the cases and requires some conditions to be implemented successfully. The literature offers several contributions regarding the adoption of product lines. However, only a few of th...
Method
Full-text available
Protocols defined to conduct the empirical evaluations of APPLIES
Chapter
Nowadays the use of Web Application Frameworks has been the default choice to develop software applications inside the web domain. These frameworks provide many benefits such as: faster development, enhanced security, and clearer structure of code. However, web application frameworks have a high learning curve and each time someone wants to learn a...
Conference Paper
Full-text available
Background: Transparency is anchored in the principle of disclosure information. In pedagogy, transparency emerges as an important issue that proposes to aware students about the educational processes and contents. Here, we investigate the viability of using the transparency concept through the SimulES game as a pedagogical support to teach an intr...
Conference Paper
Full-text available
The Internet of Things (IoT) is the science of connecting multiple devices that coordinate to provide the service in question. IoT environments are complex, dynamic, rapidly changing and resource constrained. Therefore, proactively adapting devices to align with context fluctuations becomes a concern. To propose suitable configurations, it should b...
Article
Full-text available
Context-oriented systems are systems that observe and handle context information from the environment to guide their own behavior. Engineering such systems represents a complex task not only due to their complexity, but also due to the notion of context. Handling this notion involves tackling several challenges, demanding to system designers a cert...
Conference Paper
Context: Security is becoming increasingly important during software engineering. Software developers should be able to adapt and deploy secure systems in a continuously changing execution context. Method: We use Software Product Lines (SPLs), Business Process Management (BPM) and Security Requirements Engineering (SRE) techniques for anticipating...
Conference Paper
There are several proposals to build models feature either semi-automatic or fully automatic in the field of Software Product Lines. Unfortunately, there is no clarity on the common elements, their main differences and elements that characterize these proposals. The wide variety of terms used to refer to the process of building a feature model (e.g...
Conference Paper
Full-text available
Security management and business assets protection have been a paramount concern for many years. Due to the flood of arising innovative technologies such as cloud computing or big data, security approaches have constantly evolved toward more sophisticate solutions, aiming to tackle always more complex security issues. Nowadays, integrated framework...
Conference Paper
Organizations act in highly competitive markets, which forces them to be flexible. Constantly changing business requirements require flexible business processes. Case Management Model and Notation (CMMN) supports modeling run-time flexibility of partially structured business process models, but does not fully specify the control flow. Objective: Th...
Article
Full-text available
Although web personalisation has been studied for the last two decades, there remains a need to address current challenges: context-awareness and the inclusion in a business environment. The wide variety of mobile devices and their continuous technological evolution demands the permanent development of new personalisation strategies. Additionally,...
Conference Paper
Full-text available
E-learning is a promising research area, as they are expected to increase enrollment and improve the quality of education. Adaptive e-learning systems, traditionally focused on content personalization, are in need to cope with continuous changing requirements and changing environment. Indeed, the specification and the management quality attributes...
Article
Full-text available
The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from several sources. Despite advances in requirements for SAS, uncertainty remains an extremely difficult challenge. In this paper, we propose REFAS, a framework to model the requirements of self-adaptive software systems. Our aim with REFAS is to address and...
Conference Paper
Full-text available
This paper presents the new release of VariaMos, a Java-based tool for defining variability modeling languages, modeling (dynamic) product lines and cyber-physical self-adaptive systems, and supporting automated verification, analysis, configuration and simulation of these models. In particular, we describe the characteristics of this new version r...
Conference Paper
Full-text available
Model simulation has demonstrated its usefulness in evaluation and decision-making for improving preliminary versions of artefacts before production. Particularly, one of the main goals of simulation is to verify model properties based on data collected from its execution. In this paper, we present the simulation capabilities of our REFAS framework...
Article
Full-text available
Software product line engineering is a promising paradigm for developing software intensive systems. Among their proven benefits are reduced time to market, better asset reuse and improved software quality. To achieve this, the collection of products of the product line are specified by means of product line models. Feature Models (FMs) are a commo...
Conference Paper
Full-text available
As academic learners and companies are turning to e-learning courses to achieve their personal and professional goals, it becomes more and more important to handle service quality in this sector. Despite scientific research conducted to personalize the learning process and meet learner's requirements under adaptive e-learning systems, however, the...
Conference Paper
Full-text available
Product line engineering uses product line models to define the valid combinations of elements in a product and to configure them. Several modeling languages have been proposed to represent product line models. These languages have limits and they do not always fit the requirements of the context. For instance, in the industrial context, product li...
Conference Paper
Full-text available
La ingeniería de líneas de productos se ha convertido en un área altamente explotada para lograr un nivel de reúso importante en el desarrollo de aplicaciones. En el medio es posible encontrar diferentes herramientas que brindan opciones para modelar líneas de productos y realizar configuraciones de éstas con el fin de obtener productos que satisfa...