@article{PANIZO2025101059,

title = {Runtime monitoring of 5G network slicing using STAn},

author = {Laura Panizo and María-del-Mar Gallardo and Francisco Luque-Schempp and Pedro Merino},

url = {https://www.sciencedirect.com/science/article/pii/S2352220825000252},

doi = {https://doi.org/10.1016/j.jlamp.2025.101059},

issn = {2352-2208},

year  = {2025},

date = {2025-01-01},

journal = {Journal of Logical and Algebraic Methods in Programming},

volume = {145},

pages = {101059},

abstract = {The most recent technology in the evolution of mobile networks is 5G, which is aimed at offering differentiated quality of service (QoS) to specific groups of users or devices. Such groups could include public safety agencies, connected vehicles, citizens streaming video content, fixed Internet of Things devices, etc. Insofar as each group has different requirements in terms of bandwidth, latency, error rate, coverage or other relevant quality indicators, the network can be divided into multiple slices, with each slice supporting a group's requirements. Such network slicing is becoming a key feature for telecom operators, who need to face the challenge of validating its correct behavior. In this paper, we propose a monitoring system to check that a 5G network is offering slicing in the proper way. To this end, we use the tool STAn, a general purpose runtime verification tool where the requirements to be monitored are expressed using temporal formulae. The paper identifies first a list of requirements that define the expected behavior of network slicing. Then, we describe how the initial logic eLTL supported by STAn is extended to the so-called eXtended Event-driven Temporal Logic (xeLTL) in order to represent the slicing requirements. Finally, we validate that the new version of STAn and the catalogue of xeLTL formulae are suitable to monitor and check if real 5G networks properly support slicing. This way, we provide a complete new system for runtime monitoring of 5G network slicing.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{burgueno2025open,

title = {Toward an Open Source MLOps Architecture},

author = {A. M. Burgueno-Romero and A. Benitez-Hidalgo and C. Barba-Gonzalez and J. F. Aldana-Montes},

doi = {10.1109/MS.2024.3421675},

year  = {2025},

date = {2025-01-01},

journal = {IEEE Software},

volume = {42},

number = {1},

pages = {59–64},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{alcaraz2025digital,

title = {Digital Twin Communities: An Approach for Secure DT Data Sharing},

author = {C. Alcaraz and I. H. Meskini and J. Lopez},

doi = {10.1007/s10207-024-00912-1},

year  = {2025},

date = {2025-01-01},

journal = {International Journal of Information Security},

volume = {24},

pages = {17},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{penizo2025runtime,

title = {Runtime Monitoring of 5G Network Slicing Using STAn},

author = {Laura Penizo and Marie-del-Mar Galindo and Francisco Luque-Schempp and Pedro Merino},

doi = {10.1016/j.jlamp.2025.101059},

year  = {2025},

date = {2025-01-01},

journal = {Journal of Logical and Algebraic Methods in Programming},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{horcas2025fmsans,

title = {FMSans: An Efficient Approach for Constraints Removal and Parallel Analysis of Feature Models},

author = {Jose-Miguel Horcas and Joaquín Ballesteros and Monica Pinto and Licia Fuentes},

doi = {10.1016/j.jss.2025.112434},

year  = {2025},

date = {2025-01-01},

journal = {Journal of Systems and Software},

volume = {227},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{horcas2025fm,

title = {FM Fact Label},

author = {Jose-Miguel Horcas and Jose A. Galindo and Licia Fuentes and David Benavides},

doi = {10.1016/j.scico.2024.103214},

year  = {2025},

date = {2025-01-01},

journal = {Science of Computer Programming},

volume = {240},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nematzadeh2025model,

title = {Model-Agnostic Local Explanation: Multi-Objective Genetic Algorithm Explainer},

author = {Hossein Nematzadeh and José García-Nisto and Sandro Hurtado and José F. Aldana-Montes and Ismael Navas-Delgado},

doi = {10.1016/j.engappai.2024.109628},

year  = {2025},

date = {2025-01-01},

journal = {Engineering Applications of Artificial Intelligence},

volume = {139},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{chicano2025combinatorial,

title = {Combinatorial Optimization with Quantum Computers},

author = {F. Chicano and G. Luque and Z. A. Dahl and R. Gil-Merino},

doi = {10.1080/0305215X.2024.2435538},

year  = {2025},

date = {2025-01-01},

journal = {Engineering Optimization},

pages = {1–26},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{burgueno2025big,

title = {Big Data-Driven MLOps Workflow for Annual High-Resolution Land Cover Classification Models},

author = {Antonio M. Burgueno-Romero and Cristóbal Barba-González and José F. Aldana-Montes},

doi = {10.1016/j.future.2024.107499},

year  = {2025},

date = {2025-01-01},

journal = {Future Generation Computer Systems},

volume = {163},

note = {IF(2023)7.5.01},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{morales2025cost,

title = {Toward a Framework for Cost-Effective and Publicly Verifiable Confidential Computations in Blockchain},

author = {D. Morales and I. Agudo and J. Lopez},

doi = {10.1109/MCOM.001.2300839},

year  = {2025},

date = {2025-01-01},

journal = {IEEE Communications Magazine},

volume = {63},

number = {2},

pages = {96–102},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{morales2025lightweight,

title = {A Lightweight Mechanism for Dynamic Secret Sharing of Private Data by Constrained Devices},

author = {D. Morales and I. Agudo and J. Lopez},

doi = {10.1109/JIOT.2025.3555026},

year  = {2025},

date = {2025-01-01},

journal = {IEEE Internet of Things Journal},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{alcaraz2025digitalb,

title = {Digital Twin Security: A Perspective on Efforts From Standardization Bodies},

author = {C. Alcaraz and J. Lopez},

doi = {10.1109/MSEC.2024.3504193},

year  = {2025},

date = {2025-01-01},

journal = {IEEE Security & Privacy},

volume = {23},

number = {1},

pages = {83–90},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{burgueno2025openb,

title = {Toward an Open Source MLOps Architecture},

author = {A. M. Burgueno-Romero and A. Benítez-Hidalgo and C. Barba-González and J. F. Aldana-Montes},

doi = {10.1109/MS.2024.3421675},

year  = {2025},

date = {2025-01-01},

journal = {IEEE Software},

volume = {42},

number = {1},

pages = {59–64},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Carnero2024,

title = {Online learning and continuous model upgrading with data streams through the Kafka-ML framework},

author = {Alejandro Carnero and Cristian Martín and Gwanggil Jeon and Manuel Díaz},

doi = {10.1016/j.future.2024.06.001},

issn = {0167-739X},

year  = {2024},

date = {2024-11-01},

journal = {Future Generation Computer Systems},

volume = {160},

pages = {251--263},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Nematzadeh2024,

title = {Feature selection using a classification error impurity algorithm and an adaptive genetic algorithm improved with an external repository},

author = {Hossein Nematzadeh and José García-Nieto and Ismael Navas-Delgado and José F. Aldana-Montes},

url = {https://www.sciencedirect.com/science/article/pii/S0950705124009791},

doi = {https://doi.org/10.1016/j.knosys.2024.112345},

issn = {0950-7051},

year  = {2024},

date = {2024-10-09},

urldate = {2024-01-01},

journal = {Knowledge-Based Systems},

volume = {301},

pages = {112345},

key = {NEMATZADEH2024112345},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Gutiérrez-Fernández2024,

title = {Variability management and software product line knowledge in software companies},

author = {Antonio M. Gutiérrez-Fernández and Ana Eva Chacón-Luna and David Benavides and Lidia Fuentes and Rick Rabiser},

doi = {10.1016/j.jss.2024.112114},

issn = {0164-1212},

year  = {2024},

date = {2024-10-01},

journal = {Journal of Systems and Software},

volume = {216},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1016/j.eswa.2024.123521,

title = {Pattern recognition frequency-based feature selection with multi-objective discrete evolution strategy for high-dimensional medical datasets},

author = {Hossein Nematzadeh and José García-Nieto and José F. Aldana-Montes and Ismael Navas-Delgado},

url = {https://www.sciencedirect.com/science/article/pii/S0957417424003865},

doi = {10.1016/j.eswa.2024.123521},

issn = {0957-4174},

year  = {2024},

date = {2024-09-01},

urldate = {2024-09-01},

journal = {Expert Systems with Applications},

volume = {249},

pages = {123521},

abstract = {Feature selection has a prominent role in high-dimensional datasets to increase classification accuracy, decrease the learning algorithm computational time, and present the most informative features to decision-makers. This paper proposes a two-stage hybrid feature selection for high-dimensional medical datasets: Maximum Pattern Recognition - Multi-objective Discrete Evolution Strategy (MPR-MDES). MPR is a rapid filter ranker that significantly outperforms existing frequency-based rankers in recognizing non-linear patterns, effectively eliminating a majority of non-informative features. Then, the wrapper Multi-objective Discrete Evolution Strategy (MDES) uses the remaining features and obtains sets of solutions which are automatically presented to decision-makers. The experiments conducted on large medical datasets demonstrate that MPR-MDES achieves considerable improvements compared to state-of-the-art methods, in terms of both classification accuracy and dimensionality reduction. In this sense, the proposal successfully performs when presenting informative feature sets to decision-makers. The implementation is available on https://github.com/KhaosResearch/MPR-MDES.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Segura-Ortiz2024,

title = {Multi-objective context-guided consensus of a massive array of techniques for the inference of Gene Regulatory Networks},

author = {Adrián Segura-Ortiz and José García-Nieto and José F. Aldana-Montes and Ismael Navas-Delgado},

doi = {10.1016/j.compbiomed.2024.108850},

issn = {0010-4825},

year  = {2024},

date = {2024-09-01},

journal = {Computers in Biology and Medicine},

volume = {179},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Burgueño-Romero2024,

title = {Towards an open-source MLOps architecture},

author = {Antonio M. Burgueño-Romero and Antonio Benítez-Hidalgo and Cristóbal Barba-González and José F. Aldana-Montes},

doi = {10.1109/ms.2024.3421675},

issn = {1937-4194},

year  = {2024},

date = {2024-09-01},

journal = {IEEE Softw.},

pages = {1--6},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Diaz-Frances2024,

title = {Semi-supervised semantic image segmentation by deep diffusion models and generative adversarial networks},

author = {Jose Angel Diaz-Frances and Jose David Fernandez-Rodriguez and Karl Thurnhofer-Hemsi and Ezequiel Lopez-Rubio},

doi = {10.1142/s0129065724500576},

issn = {1793-6462},

year  = {2024},

date = {2024-07-05},

journal = {Int. J. Neur. Syst.},

publisher = {World Scientific Pub Co Pte Ltd},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1016/j.cose.2024.103856,

title = {Malware similarity and a new fuzzy hash: Compound Code Block Hash (CCBHash)},

author = {Jose A. Onieva and Pablo Pérez-Jiménez and Javier López},

url = {https://www.sciencedirect.com/science/article/pii/S0167404824001573?via%3Dihub},

doi = {10.1016/j.cose.2024.103856},

issn = {0167-4048},

year  = {2024},

date = {2024-07-01},

urldate = {2024-07-01},

journal = {Computers & Security},

volume = {142},

pages = {103856},

abstract = {In the last few years, malware analysis has become increasingly important due to the rise of sophisticated cyberattacks. One of the objectives of this cybersecurity branch is to find similarities between different files or functions used by malware programmers, thus allowing malware detection, classification and even attribution in a timely manner. In this article we survey the state of the art in this area, reviewing the different techniques that can be applied to the field, with the objective of studying similarity, and therefore detecting, classifying and attributing malware samples. We have developed a fuzzy hash capable of characterizing malware by generating an easily comparable and storable signature of its functions. Since our goal is to detect these similarities in huge amounts of data within a reasonable time-frame, the size of the hash must be limited while retaining as much information as possible.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Fernandez-Gago2024,

title = {Trust interoperability in the Internet of Things},

author = {Carmen Fernandez-Gago and Davide Ferraris and Rodrigo Roman and Javier Lopez},

doi = {10.1016/j.iot.2024.101226},

issn = {2542-6605},

year  = {2024},

date = {2024-07-01},

journal = {Internet of Things},

volume = {26},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Tinós2024,

title = {Iterated Local Search with Linkage Learning},

author = {Renato Tinós and Michal W. Przewozniczek and L. Darrell Whitley and Francisco Chicano},

doi = {10.1145/3651165},

issn = {2688-3007},

year  = {2024},

date = {2024-06-30},

urldate = {2024-06-30},

journal = {ACM Trans. Evol. Learn. Optim.},

volume = {4},

number = {2},

pages = {1--29},

publisher = {Association for Computing Machinery (ACM)},

abstract = {<jats:p>In pseudo-Boolean optimization, a variable interaction graph represents variables as vertices, and interactions between pairs of variables as edges. In black-box optimization, the variable interaction graph may be at least partially discovered by using empirical linkage learning techniques. These methods never report false variable interactions, but they are computationally expensive. The recently proposed local search with linkage learning discovers the partial variable interaction graph as a side-effect of iterated local search. However, information about the strength of the interactions is not learned by the algorithm. We propose local search with linkage learning 2, which builds a weighted variable interaction graph that stores information about the strength of the interaction between variables. The weighted variable interaction graph can provide new insights about the optimization problem and behavior of optimizers. Experiments with NK landscapes, knapsack problem, and feature selection show that local search with linkage learning 2 is able to efficiently build weighted variable interaction graphs. In particular, experiments with feature selection show that the weighted variable interaction graphs can be used for visualizing the feature interactions in machine learning. Additionally, new transformation operators that exploit the interactions between variables can be designed. We illustrate this ability by proposing a new perturbation operator for iterated local search.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{doi:10.1016/j.future.2024.02.022,

title = {A multi-objective approach for communication reduction in federated learning under devices heterogeneity constraints.},

author = {José Ángel Morell and Zakaria Abdelmoiz Dahi and Francisco Chicano and Gabriel Luque and Enrique Alba},

url = {https://www.sciencedirect.com/science/article/pii/S0167739X24000682},

doi = {https://doi.org/10.1016/j.future.2024.02.022},

issn = {0167-739X},

year  = {2024},

date = {2024-06-01},

urldate = {2024-06-01},

journal = {Future Generation Computer Systems},

volume = {155},

pages = {367-383},

abstract = {Federated learning is a paradigm that proposes protecting data privacy by sharing local models instead of raw data during each iteration of model training. However, these models can be large, with many parameters, provoking a substantial communication cost and having a notable environmental impact. Reducing communication overhead is paramount but conflictual to maintaining the model’s accuracy. Most research has dealt with the different factors influencing communication reduction separately without addressing their correlations. Moreover, most of them do not consider the heterogeneity of clients’ hardware. Finding the optimal configuration to fulfil all these training aspects can become intractable for classical techniques. This work explores the add-in that multi-objective evolutionary algorithms can provide for solving the communication overhead problem while achieving high accuracy. We do this by 1) realistically modelling and formulating this task as a multi-objective problem by considering the devices’ heterogeneity, 2) including all the communication-triggering aspects, and 3) applying a multi-objective evolutionary algorithm with an intensification operator to solve the problem. A simulated client–server architecture of four devices with four different processing speeds is studied. Both fully connected and convolutional neural network models are investigated with 33,400 and 887,530 weights, respectively. The experiments are performed using the MNIST and Fashion-MNIST datasets. A comparison is made between three approaches using an extensive set of metrics. Results prove that our approach obtains solutions with better accuracy than the full-communication setting and other methods while getting reductions in communications by around 1,000 times in most cases and up to 10,000 times in some cases compared to the maximum communication setting.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{López-Gómez2024,

title = {Flextory: Flexible Software Factory of IoT Data Consumers},

author = {Rafael López-Gómez and Laura Panizo and María-del-Mar Gallardo},

doi = {10.3390/s24082550},

issn = {1424-8220},

year  = {2024},

date = {2024-04-16},

urldate = {2024-04-16},

journal = {Sensors},

volume = {24},

number = {8},

publisher = {MDPI AG},

abstract = {<jats:p>The success of the Internet of Things (IoT) has driven the development, among others, of many different software architectures for producing, processing, and analyzing heterogeneous data. In many cases, IoT applications share common features, such as the use of a platform or middleware, also known as message broker, that collects and manages data traffic between endpoints. However, in general, data processing is very dependent on the case study (sensors that send temperature data, drones that send images, etc.). Thus, the applications responsible for receiving and processing data, which we call consumers, have to be built ad hoc, since some of their elements have to be specially configured to solve specific needs of the case study. This paper presents Flextory, a software factory tool to make it easier for IoT developers to automatically construct configurable consumer applications, which we call FLEX-consumers. Flextory guides developers through the process of generating Java consumers by selecting some desired features such as, for instance, the particular communication protocol to be used. This way, the developer only has to concentrate on designing the algorithm to process the data. In short, the use of Flextory will result in consumer applications with configurable behavior, namely FLEX-consumers, that can connect to a messaging server (for example RabbitMQ) and process the received messages.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Chaves2024,

title = {Towards flexible data stream collaboration: Federated Learning in Kafka-ML},

author = {Antonio Jesús Chaves and Cristian Martín and Manuel Díaz},

doi = {10.1016/j.iot.2023.101036},

issn = {2542-6605},

year  = {2024},

date = {2024-04-01},

journal = {Internet of Things},

volume = {25},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Flammini2024,

title = {Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives},

author = {Francesco Flammini and Cristina Alcaraz and Emanuele Bellini and Stefano Marrone and Javier Lopez and Andrea Bondavalli},

doi = {10.1109/tetc.2022.3227113},

issn = {2168-6750},

year  = {2024},

date = {2024-04-01},

journal = {IEEE Trans. Emerg. Topics Comput.},

volume = {12},

number = {2},

pages = {601--614},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ferraris2023,

title = {A survey on IoT trust model frameworks},

author = {Davide Ferraris and Carmen Fernandez-Gago and Rodrigo Roman and Javier Lopez},

doi = {10.1007/s11227-023-05765-4},

issn = {1573-0484},

year  = {2024},

date = {2024-04-01},

journal = {J Supercomput},

volume = {80},

number = {6},

pages = {8259--8296},

publisher = {Springer Science and Business Media LLC},

abstract = {<jats:title>Abstract</jats:title><jats:p>Trust can be considered as a multidisciplinary concept, which is strongly related to the context and it falls in different fields such as Philosophy, Psychology or Computer Science. Trust is fundamental in every relationship, because without it, an entity will not interact with other entities. This aspect is very important especially in the Internet of Things (IoT), where many entities produced by different vendors and created for different purposes have to interact among them through the internet often under uncertainty. Trust can overcome this uncertainty, creating a strong basis to ease the process of interaction among these entities. We believe that considering trust in the IoT is fundamental, and in order to implement it in any IoT entity, it is fundamental to consider it through the whole System Development Life Cycle. In this paper, we propose an analysis of different works that consider trust for the IoT. We will focus especially on the analysis of frameworks that have been developed in order to include trust in the IoT. We will make a classification of them providing a set of parameters that we believe are fundamental in order to properly consider trust in the IoT. Thus, we will identify important aspects to be taken into consideration when developing frameworks that implement trust in the IoT, finding gaps and proposing possible solutions.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1002/spe.3322,

title = {Integrating FMI and ML/AI models on the open-source digital twin framework OpenTwins},

author = {Sergio Infante and Cristian Martín and Julia Robles and Bartolomé Rubio and Manuel Díaz and Rafael González-Perea and Pilar Montesinos and Emilio Camacho-Poyato},

url = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/spe.3322},

doi = {10.1002/spe.3322},

year  = {2024},

date = {2024-03-05},

urldate = {2024-03-05},

journal = {Software: Practice and Experience},

abstract = {The realm of digital twins is experiencing rapid growth and presents a wealth of opportunities for Industry 4.0. In conjunction with traditional simulation methods, digital twins offer a diverse range of possibilities. However, many existing tools in the domain of open-source digital twins concentrate on specific use cases and do not provide a versatile framework. In contrast, the open-source digital twin framework, OpenTwins, aims to provide a versatile framework that can be applied to a wide range of digital twin applications. In this article, we introduce a re-definition of the original OpenTwins platform that enables the management of custom simulation services and the management of FMI simulation services, which is one of the most widely used simulation standards in the industry and its coexistence with machine learning models, which enables the definition of the next-gen digital twins. Thanks to this integration, digital twins that reflect reality better can be developed, through hybrid models, where simulation data can feed the scarcity of machine learning data and so forth. As part of this project, a simulation model developed through the hydraulic software Epanet was validated in OpenTwins, in addition to an FMI simulation service. The hydraulic model was implemented and tested in an agricultural use case in collaboration with the University of Córdoba, Spain. A machine learning model has been developed to assess the behavior of an FMI simulation through machine learning.

},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{doi:10.1016/j.infsof.2023.107378,

title = {BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning},

author = {Cristóbal Barba-González and Ismael Caballero and Ángel Jesús Varela-Vaca and José A. Cruz-Lemus and María Teresa Gómez-López and Ismael Navas-Delgado},

url = {https://www.sciencedirect.com/science/article/pii/S0950584923002331},

doi = {10.1016/j.infsof.2023.107378},

issn = {0950-5849},

year  = {2024},

date = {2024-03-01},

urldate = {2024-03-01},

journal = {Information and Software Technology},

volume = {167},

pages = {107378},

abstract = {Context:

Data quality should be at the core of many Artificial Intelligence initiatives from the very first moment in which data is required for a successful analysis. Measurement and evaluation of the level of quality are crucial to determining whether data can be used for the tasks at hand. Conscientious of this importance, industry and academia have proposed several data quality measurements and assessment frameworks over the last two decades. Unfortunately, there is no common and shared vocabulary for data quality terms. Thus, it is difficult and time-consuming to integrate data quality analysis within a (Big) Data workflow for performing Artificial Intelligence tasks. One of the main reasons is that, except for a reduced number of proposals, the presented vocabularies are neither machine-readable nor processable, needing human processing to be incorporated.

Objective:

This paper proposes a unified data quality measurement and assessment information model. This model can be used in different environments and contexts to describe data quality measurement and evaluation concerns.

Method:

The model has been developed as an ontology to make it interoperable and machine-readable. For better interoperability and applicability, this ontology, BIGOWL4DQ, has been developed as an extension of a previously developed ontology for describing knowledge management in Big Data analytics.

Conclusions:

This extended ontology provides a data quality measurement and assessment framework required when designing Artificial Intelligence workflows and integrated reasoning capacities. Thus, BIGOWL4DQ can be used to describe Big Data analysis and assess the data quality before the analysis.

Result:

Our proposal has been validated with two use cases. First, the semantic proposal has been assessed using an academic use case. And second, a real-world case study within an Artificial Intelligence workflow has been conducted to endorse our work.}

},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1016/j.ins.2024.120184,

title = {MOODY: An ontology-driven framework for standardizing multi-objective evolutionary algorithms},

author = {José F. Aldana-Martín and María del Mar Roldán-García and Antonio J. Nebro and José F. Aldana-Montes},

url = {https://www.sciencedirect.com/science/article/pii/S0020025524000975},

doi = {10.1016/j.ins.2024.120184},

issn = {0020-0255},

year  = {2024},

date = {2024-03-01},

journal = {Information Sciences},

volume = {661},

pages = {120184},

abstract = {The application of semantic technologies, particularly ontologies, in the realm of multi-objective evolutionary algorithms is overlook despite their effectiveness in knowledge representation. In this paper, we introduce MOODY, an ontology specifically tailored to formalize these kinds of algorithms, encompassing their respective parameters, and multi-objective optimization problems based on a characterization of their search space landscapes. MOODY is designed to be particularly applicable in automatic algorithm configuration, which involves the search of the parameters of an optimization algorithm to optimize its performance. In this context, we observe a notable absence of standardized components, parameters, and related considerations, such as problem characteristics and algorithm configurations. This lack of standardization introduces difficulties in the selection of valid component combinations and in the re-use of algorithmic configurations between different algorithm implementations. MOODY offers a means to infuse semantic annotations into the configurations found by automatic tools, enabling efficient querying of the results and seamless integration across diverse sources through their incorporation into a knowledge graph. We validate our proposal by presenting four case studies.}

},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{doi:10.1002/spe.3318,

title = {Functions as a service for distributed deep neural network inference over the cloud-to-things continuum},

author = {Altair Bueno and Bartolomé Rubio and Cristian Martín and Manuel Díaz},

url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.3318},

doi = {https://doi.org/10.1002/spe.3318},

issn = {0038-0644},

year  = {2024},

date = {2024-02-11},

urldate = {2024-02-01},

journal = {Software: Practice and Experience},

abstract = {The use of serverless computing has been gaining popularity in recent years as an alternative to traditional Cloud computing. We explore the usability and potential development benefits of three popular open-source serverless platforms in the context of IoT: OpenFaaS, Fission, and OpenWhisk. To address this we discuss our experience developing a serverless and low-latency Distributed Deep Neural Network (DDNN) application. Our findings indicate that these serverless platforms require significant resources to operate and are not ideal for constrained devices. In addition, we archived a 55% improvement compared to Kafka-ML's performance under load, a framework without dynamic scaling support, demonstrating the potential of serverless computing for low-latency applications.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Chaves2023,

title = {The orchestration of Machine Learning frameworks with data streams and GPU acceleration in Kafka‐ML: A deep‐learning performance comparative},

author = {Antonio Jesús Chaves and Cristian Martín and Manuel Díaz},

doi = {10.1111/exsy.13287},

issn = {1468-0394},

year  = {2024},

date = {2024-02-01},

urldate = {2024-02-01},

journal = {Expert Systems},

volume = {41},

number = {2},

publisher = {Wiley},

abstract = {<jats:title>Abstract</jats:title><jats:p>Machine Learning (ML) applications need large volumes of data to train their models so that they can make high‐quality predictions. Given digital revolution enablers such as the Internet of Things (IoT) and the Industry 4.0, this information is generated in large quantities in terms of continuous data streams and not in terms of static datasets as it is the case with most AI (Artificial Intelligence) frameworks. Kafka‐ML is a novel open‐source framework that allows the complete management of ML/AI pipelines through data streams. In this article, we present new features for the Kafka‐ML framework, such as the support for the well‐known ML/AI framework PyTorch, as well as for GPU acceleration at different points along the pipeline. This pipeline will be described by taking a real Industry 4.0 use case in the Petrochemical Industry. Finally, a comprehensive evaluation with state‐of‐the‐art deep learning models will be carried out to demonstrate the feasibility of the platform.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Chaves2023b,

title = {Pollen recognition through an open-source web-based system: automated particle counting for aerobiological analysis},

author = {Antonio Jesús Chaves and Cristian Martín and Luis Llopis Torres and Manuel Díaz and Rocío Ruiz-Mata and Enrique de Gálvez-Montañez and Marta Recio and María del Mar Trigo and Antonio Picornell},

doi = {10.1007/s12145-023-01189-z},

issn = {1865-0481},

year  = {2024},

date = {2024-02-01},

urldate = {2024-02-01},

journal = {Earth Sci Inform},

volume = {17},

number = {1},

pages = {699--710},

publisher = {Springer Science and Business Media LLC},

abstract = {<jats:title>Abstract</jats:title><jats:p>Airborne pollen is produced by plants for their sexual reproduction and can have negative impacts on public health. The current monitoring systems are based on manual sampling processes which are tedious and time-consuming. Due to that, pollen concentrations are often reported with a delay of up to one week. In this study, we present an open-source user-friendly web application powered by deep learning for automatic pollen count and classification. The application aims to simplify the process for non-IT users to count and classify different types of pollen, reducing the effort required compared to manual methods. To overcome the challenges of acquiring large labelled datasets, we propose a semi-automatic labelling approach, which combines human expertise and machine learning techniques. The results demonstrate that our approach significantly reduces the effort required for users to count and classify pollen taxa accurately. The model achieved high precision and recall rates (<jats:inline-formula><jats:alternatives><jats:tex-math>$$varvec{>96%}$$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">

                  <mml:mrow>

                    <mml:mo>></mml:mo>

                    <mml:mn>96</mml:mn>

                    <mml:mo>%</mml:mo>

                  </mml:mrow>

                </mml:math></jats:alternatives></jats:inline-formula> mAP@0.5), enabling reliable pollen identification and prediction.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rodríguez-Rodríguez2024,

title = {The Impact of Noise and Brightness on Object Detection Methods},

author = {José A. Rodríguez-Rodríguez and Ezequiel López-Rubio and Juan A. Ángel-Ruiz and Miguel A. Molina-Cabello},

doi = {10.3390/s24030821},

issn = {1424-8220},

year  = {2024},

date = {2024-02-01},

journal = {Sensors},

volume = {24},

number = {3},

publisher = {MDPI AG},

abstract = {<jats:p>The application of deep learning to image and video processing has become increasingly popular nowadays. Employing well-known pre-trained neural networks for detecting and classifying objects in images is beneficial in a wide range of application fields. However, diverse impediments may degrade the performance achieved by those neural networks. Particularly, Gaussian noise and brightness, among others, may be presented on images as sensor noise due to the limitations of image acquisition devices. In this work, we study the effect of the most representative noise types and brightness alterations on images in the performance of several state-of-the-art object detectors, such as YOLO or Faster-RCNN. Different experiments have been carried out and the results demonstrate how these adversities deteriorate their performance. Moreover, it is found that the size of objects to be detected is a factor that, together with noise and brightness factors, has a considerable impact on their performance.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1007/s00607-023-01254-x,

title = {Distributed mobile CEP for collaborative social computing},

author = {Alejandro Pérez-Vereda and Carlos Canal and Ramón Hervás},

url = {https://link.springer.com/article/10.1007/s00607-023-01254-x#citeas},

doi = {10.1007/s00607-023-01254-x},

year  = {2024},

date = {2024-01-24},

urldate = {2024-01-24},

journal = {Computing},

volume = {106},

pages = {889-913},

abstract = {Smartphones have become highly personalized interfaces between people and the technology ecosystem around them. In this sense, they play a key role for a technology shift from the current Internet of Things to a future human-centric paradigm of an Internet of People, automatically adapting smart things and services to the preferences and context of their users. In this paper, we propose the use of Complex Event Processing (CEP) engines deployed in the users’ smartphones granting them context-awareness capabilities in order to react to external stimulus, and enabling them to interact both with smart things and services in the surroundings of the users. With that purpose, we have designed a communication architecture that interconnects CEP engines running on smartphones, providing a framework for building applications for Mobile-based Collaborative Social Computing (MCSC). For that, we make use of previous works of the authors with Digital Avatars, a framework which promotes the use of smartphones for inferring and sharing a unique digital avatar or virtual profile of each user. The resulting framework, which we have called Collaborative CEP, allows to implement complex interactions among users, and between them and the IoT, a common need in Collaborative Social Computing applications. We provide a proof of concept based on the implementation of a Cops and Robbers game to test the expressiveness and correct functioning of the framework, and we evaluate its performance and efficiency.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1016/j.compbiomed.2023.107706,

title = {A deep learning LSTM-based approach for forecasting annual pollen curves: Olea and Urticaceae pollen types as a case study},

author = {Antonio Picornell and Sandro Hurtado and María Luisa Antequera-Gómez and Cristóbal Barba-González and Rocío Ruiz-Mata and Enrique de Gálvez-Montañez and Marta Recio and María del Mar Trigo and José F. Aldana-Montes and Ismael Navas-Delgado},

url = {https://www.sciencedirect.com/science/article/pii/S001048252301171X},

doi = {10.1016/j.compbiomed.2023.107706},

issn = {0010-4825},

year  = {2024},

date = {2024-01-01},

journal = {Computers in Biology and Medicine},

volume = {168},

pages = {107706},

abstract = {Airborne pollen can trigger allergic rhinitis and other respiratory diseases in the synthesised population, which makes it one of the most relevant biological contaminants. Therefore, implementing accurate forecast systems is a priority for public health. The current forecast models are generally useful, but they falter when long time series of data are managed. The emergence of new computational techniques such as the LSTM algorithms could constitute a significant improvement for the pollen risk assessment. In this study, several LSTM variants were applied to forecast monthly pollen integrals in Málaga (southern Spain) using meteorological variables as predictors. Olea and Urticaceae pollen types were modelled as proxies of different annual pollen curves, using data from the period 1992–2022. The aims of this study were to determine the LSTM variants with the highest accuracy when forecasting monthly pollen integrals as well as to compare their performance with the traditional pollen forecast methods. The results showed that the CNN-LSTM were the most accurate when forecasting the monthly pollen integrals for both pollen types. Moreover, the traditional forecast methods were outperformed by all the LSTM variants. These findings highlight the importance of implementing LSTM models in pollen forecasting for public health and research applications.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1016/j.jnca.2023.103764,

title = {HADES: An NFV solution for energy-efficient placement and resource allocation in heterogeneous infrastructures},

author = {Ángel Cañete and Mercedes Amor and Lidia Fuentes},

url = {https://www.sciencedirect.com/science/article/pii/S1084804523001832},

doi = {10.1016/j.jnca.2023.103764},

issn = {1084-8045},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {Journal of Network and Computer Applications},

volume = {221},

pages = {103764},

abstract = {Network Function Virtualization (NFV) aims to replace traditional network functions running in proprietary hardware with software instances (i.e., Virtual Network Functions, VNFs) embedded in general-purpose virtualization solutions. Aware that the transition to a fully virtualized network infrastructure will pay a high energy cost, especially in IoT systems composed of a myriad of devices, energy efficiency is one of the key innovative targets of future networks. Edge computing should be considered in IoT environments to save time and energy by processing data near the producer devices. However, applying NFV in the context of IoT/Edge/Cloud environments complicates the placement of VNFs, due to the inherent heterogeneous nature of such environments and the variety of resource demands. This paper proposes an energy-aware placement of service function chains of VNFs and a resource-allocation solution for heterogeneous edge infrastructures that considers the computation and communication delays according to the VNFs’ location in the infrastructure. The solution has been integrated with the ETSI-sponsored project Open Source Management and Orchestration (OSM) as an extension called HADES, which allows the configuration of VNFs and their subsequent resource allocation and deployment at the edge, minimizing energy consumption and ensuring a quality of service. We have applied the deployment of augmented reality services in real and simulated scenarios. The results show up to a 59% reduction in power consumption and QoS compliance in all scenarios considered compared to default OSM placement and four other allocation policies. We prove that our solution has negligible power overhead, and validate the scalability and applicability of HADES.

},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Durán2024,

title = {Business processes resource management using rewriting logic and deep-learning-based predictive monitoring},

author = {Francisco Durán and Nicolás Pozas and Camilo Rocha},

doi = {10.1016/j.jlamp.2023.100928},

issn = {2352-2208},

year  = {2024},

date = {2024-01-01},

journal = {Journal of Logical and Algebraic Methods in Programming},

volume = {136},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Bossavit2023,

title = {A scoping review and a taxonomy of the use of motion-based technology centered on the end user. A special focus on elderly health},

author = {Benoit Bossavit and Antonio J. Fernández-Leiva},

doi = {10.1007/s11042-023-15185-4},

issn = {1573-7721},

year  = {2024},

date = {2024-01-01},

journal = {Multimed Tools Appl},

volume = {83},

number = {2},

pages = {3963--3984},

publisher = {Springer Science and Business Media LLC},

abstract = {<jats:title>Abstract</jats:title><jats:p>Motion-based technology (MBT) has been applied in the last decades with enormous success in a high number of applications. Its use continues growing and is specially interesting in the health area. Nowadays, its employment is being more and more specialised with respect to the profile of the end user (i.e., child, adolescent/teenager, adult or elderly). This paper first reviews the use of MBT centered in the end user from a global perspective. It also proposes a taxonomy that allows cataloguing the MBT employment directed to the end user. Then, from these results, the paper centers the review on the MBT application aiming to improve the health of elderly. The results highlighted in this paper can help to a better understanding of MBT, especially when it is applied thinking in elderly as the end users.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Hurtado2024,

title = {e-Science workflow: A semantic approach for airborne pollen prediction},

author = {Sandro Hurtado and María Luisa Antequera-Gómez and Cristóbal Barba-González and Antonio Picornell and Ismael Navas-Delgado},

doi = {10.1016/j.knosys.2023.111230},

issn = {0950-7051},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {Knowledge-Based Systems},

volume = {284},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{García-Aguilar2024,

title = {Detection of dangerously approaching vehicles over onboard cameras by speed estimation from apparent size},

author = {Iván García-Aguilar and Jorge García-González and Daniel Medina and Rafael Marcos Luque-Baena and Enrique Domínguez and Ezequiel López-Rubio},

doi = {10.1016/j.neucom.2023.127057},

issn = {0925-2312},

year  = {2024},

date = {2024-01-01},

journal = {Neurocomputing},

volume = {567},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nazzal2024improving,

title = {Improving Medical Image Segmentation Using Test-Time Augmentation with MedSAM},

author = {W. Nazzal and K. Thurnhofer-Hemsi and E. López-Rubio},

doi = {10.3390/math12244003},

year  = {2024},

date = {2024-01-01},

journal = {Mathematics},

volume = {12},

number = {24},

pages = {4003},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nazzal2024improvingb,

title = {Improving Medical Image Segmentation Using Test-Time Augmentation with MedSAM},

author = {W. Nazzal and K. Thurnhofer-Hemsi and E. López-Rubio},

doi = {10.3390/math12244003},

year  = {2024},

date = {2024-01-01},

journal = {Mathematics},

volume = {12},

number = {24},

pages = {4003},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{PozasGarcía2023,

title = {Location‐aware scalable service composition},

author = {Nicolás Pozas García and Francisco Durán and Katia Moreno Berrocal and Ernesto Pimentel},

doi = {10.1002/spe.3260},

issn = {1097-024X},

year  = {2023},

date = {2023-12-01},

urldate = {2023-12-01},

journal = {Softw Pract Exp},

volume = {53},

number = {12},

pages = {2408--2429},

publisher = {Wiley},

abstract = {<jats:title>Abstract</jats:title><jats:p>The problem of service composition is the process of assigning resources to services from a pool of available ones in the shortest possible time so that the overall quality of service is maximized. This article provides solutions for the composition problem that takes into account its scalability, services' locations, and users' restrictions, which are key for the management of applications using state‐of‐the‐art technologies. The provided solutions use different techniques, including genetic algorithms and heuristics. We provide an extensive experimental evaluation, which shows the pros and cons of each of them, and allows us to characterize the preferred option for each specific problem. Since no solution dominates the others, we propose a decision tree, based on our results, to select the best composition algorithm in each situation.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rico2023,

title = {Verification of a multi-connectivity protocol for Tactile Internet applications},

author = {Delia Rico and María-del-Mar Gallardo and Pedro Merino},

doi = {10.1016/j.comcom.2023.10.013},

issn = {0140-3664},

year  = {2023},

date = {2023-12-01},

journal = {Computer Communications},

volume = {212},

pages = {390--406},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Aldana-Martín2023,

title = {Evolver: Meta-optimizing multi-objective metaheuristics},

author = {José F. Aldana-Martín and Juan J. Durillo and Antonio J. Nebro},

doi = {10.1016/j.softx.2023.101551},

issn = {2352-7110},

year  = {2023},

date = {2023-12-01},

journal = {SoftwareX},

volume = {24},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1002/spe.3334,

title = {Continuous QoS-compliant orchestration in the Cloud-Edge continuum},

author = {Giuseppe Bisicchia and Stefano Forti and Ernesto Pimentel and Antonio Brogi},

url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.3334},

doi = {10.48550/arXiv.2310.02985},

year  = {2023},

date = {2023-11-09},

urldate = {2023-11-09},

journal = {Software: Practice and Experience},

abstract = {Abstract The problem of managing multi-service applications on top of Cloud-Edge networks in a quality of service (QoS)-aware manner has been thoroughly studied in recent years from a decision-making perspective. However, only a few studies addressed the problem of actively enforcing such decisions while orchestrating multi-service applications and considering infrastructure and application variations. In this article, we propose a next-gen orchestrator prototype based on Docker to achieve the continuous and QoS-compliant management of multiservice applications on top of geographically distributed Cloud-Edge resources, in continuity with CI/CD pipelines and infrastructure monitoring tools. Finally, we assess our proposal over a geographically distributed testbed across Italy.}

},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Robles2023,

title = {OpenTwins: An open-source framework for the development of next-gen compositional digital twins},

author = {Julia Robles and Cristian Martín and Manuel Díaz},

doi = {10.1016/j.compind.2023.104007},

issn = {0166-3615},

year  = {2023},

date = {2023-11-01},

journal = {Computers in Industry},

volume = {152},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Brys2023,

title = {Wildfire risk weighting and behaviour prediction using open geospatial data and ontologies},

author = {Carlos Brys and Ismael Navas-Delgado and José F. Aldana-Montes},

doi = {10.1177/01655515231202757},

issn = {1741-6485},

year  = {2023},

date = {2023-10-31},

urldate = {2023-10-31},

journal = {Journal of Information Science},

publisher = {SAGE Publications},

abstract = {<jats:p> This article presents a novel approach to wildfire risk assessment and behaviour prediction by leveraging open geospatial data and ontologies. The proposed methodology includes a spatially weighted index model and multicriteria analysis to represent the risk of forest fires in the affected area. It bridges gaps in theory and practice, offering a comprehensive solution for evaluating potential forest fire risk in near real time, predicting fire behaviour and elucidating the semantics of fire management. During dry and hot conditions, forest fires tend to escalate. Hence, we propose an algorithm that combines experts’ empirical criteria and open-source data to identify dangerous fires in near real time, aiding authorities in directing attention to the riskiest areas. The objective is to predict forest fire behaviour, a complex and nonlinear system influenced by dynamic factors such as weather conditions, topography and land use. Our methodology enables real-time assessment of potential forest fire risks, complemented by predictive fire behaviour scenarios and a descriptive ontology of fire management semantics. We examine existing fire-related ontologies and propose a comprehensive one encompassing incident descriptions, firefighting resources, actor interrelations and knowledge for effective action. By classifying fire sources, our algorithm enables strategic decision-making to prevent uncontrolled fires. This solution significantly enhances data using semantic and spatial relationships among wildfire resources. Furthermore, we demonstrate how ontologies improve data integration and interoperability among diverse systems and organisations involved in forest fire risk management, fostering better coordination and faster responses to critical situations. To facilitate decision-making, we create decision-making scenarios linked to analysed hot spots, drawing from open hot spot data such as National Aeronautics and Space Administration (NASA) Fire Information for Resource Management System (FIRMS), OpenStreetMap (OSM), OpenWeatherMap (OWM) and OpenTopoData (OTD). We propose an ordinal and linguistic classification system (F1–F5) denoting risk levels as low, moderate, high, very high and extreme. These values are obtained through factor aggregation and fuzzy logic. A publicly accessible, interactive web map displays the results derived from this model. Overall, our contributions to wildfire risk management provide authorities with a valuable tool to make informed decisions and mitigate the damaging effects of wildfires. </jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Munoz2023,

title = {Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language},

author = {Daniel-Jesus Munoz and Mónica Pinto and Lidia Fuentes and Don Batory},

doi = {10.1016/j.jss.2023.111770},

issn = {0164-1212},

year  = {2023},

date = {2023-10-01},

journal = {Journal of Systems and Software},

volume = {204},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Luque-Schempp2023,

title = {AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking},

author = {Francisco Luque-Schempp and Laura Panizo and María-Del-Mar Gallardo and Pedro Merino},

doi = {10.1109/access.2023.3302264},

issn = {2169-3536},

year  = {2023},

date = {2023-08-04},

journal = {IEEE Access},

volume = {11},

pages = {82960--82977},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Morales2023,

title = {Private set intersection: A systematic literature review},

author = {Daniel Morales and Isaac Agudo and Javier Lopez},

doi = {10.1016/j.cosrev.2023.100567},

issn = {1574-0137},

year  = {2023},

date = {2023-08-01},

journal = {Computer Science Review},

volume = {49},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rico2023b,

title = {Performance Analysis of the Multi-connection Tactile Internet Protocol over 5G},

author = {Delia Rico and Karl-Johan Grinemmo and Anna Brunstrom and Pedro Merino},

doi = {10.1007/s10922-023-09737-0},

issn = {1573-7705},

year  = {2023},

date = {2023-07-01},

journal = {J Netw Syst Manage},

volume = {31},

number = {3},

publisher = {Springer Science and Business Media LLC},

abstract = {<jats:title>Abstract</jats:title><jats:p>Tactile Internet is an Internet network that combines ultra-low latency with extremely high availability and reliability. Since traditional protocols, such as UDP and TCP, cannot support this operation, other transport protocols are required to meet the stringent requirements of the Tactile Internet. This paper evaluates the implementation of the Multi-connection Tactile Internet Protocol (MTIP), a multi-connectivity transport protocol for the Tactile Internet. MTIP uses application and network status information to select network paths intelligently and, in so doing, to improve reliability and latency. The paper studies how different configurations of the MTIP algorithm impact its path selection and the effect on lost and late packets. This evaluation is performed in an emulated environment and in a 4G/5G lab to evaluate the protocol in diverse scenarios. The results show a direct trade-off between higher reliability requirements and the number of duplicate packets.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Cardas2022,

title = {On the performance of SQL scalable systems on Kubernetes: a comparative study},

author = {Cristian Cardas and José F. Aldana-Martín and Antonio M. Burgueño-Romero and Antonio J. Nebro and Jose M. Mateos and Juan J. Sánchez},

doi = {10.1007/s10586-022-03718-9},

issn = {1573-7543},

year  = {2023},

date = {2023-06-01},

journal = {Cluster Comput},

volume = {26},

number = {3},

pages = {1935--1947},

publisher = {Springer Science and Business Media LLC},

abstract = {<jats:title>Abstract</jats:title><jats:p>The popularization of Hadoop as the the-facto standard platform for data analytics in the context of Big Data applications has led to the upsurge of SQL-on-Hadoop systems, which provide scalable query execution engines allowing the use of SQL queries on data stored in HDFS. In this context, Kubernetes appears as the leading choice to simplify the deployment and scaling of containerized applications; however, there is a lack of studies about the performance of SQL-on-Hadoop systems deployed on Kubernetes, and this is the gap we intend to fill in this paper. We present an experimental study involving four representative SQL scalable platforms: Apache Drill, Apache Hive, Apache Spark SQL and Trino. Concretely, we analyze the performance of these systems when they are deployed on a Hadoop cluster with Kubernetes by using the TPC-H benchmark. The results of our study can help practitioners and users about what they can expect in terms of performance if they plan to use the advantages of Kubernetes to deploy applications using the analyzed SQL scalable platforms.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Salto2023,

title = {Big optimization with genetic algorithms: Hadoop, Spark, and MPI},

author = {Carolina Salto and Gabriela Minetti and Enrique Alba and Gabriel Luque},

doi = {10.1007/s00500-023-08301-x},

issn = {1433-7479},

year  = {2023},

date = {2023-05-20},

journal = {Soft Comput},

volume = {27},

number = {16},

pages = {11469--11484},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{doi:10.1177/01655515231161562,

title = {LEGO: Linked electronic government ontology},

author = {Carlos Brys and Ismael Navas-Delgado and José F. Aldana-Montes and María del Mar Roldán-García},

url = {https://journals.sagepub.com/doi/epub/10.1177/01655515231161562},

doi = {10.1177/01655515231161562},

issn = {0165-5515},

year  = {2023},

date = {2023-05-06},

urldate = {2023-05-06},

journal = {Journal of Information Science},

volume = {0},

number = {0},

abstract = {E-government services are subject to a growing level of complexity, which requires a disruptive approach that better support the citizen needs concerning the government administration. Nowadays, available information technologies facilitate the description and online execution of administrative tasks, saving time and reducing possible errors. These technologies reduce administrative costs but require a complex electronic government system.We propose using semantic technologies to describe the e-government organisational units and services in the Open Government Data and Services context. The use of semantics improves government management, service delivery and decision-making processes.This article presents an extension of related work, introducing the evolution of the Ontology for Electronic Government (EGO): integrating other existing ontologies, supporting new features to describe e-government services and widening the usage scenarios. This extension enables the use in a real scenario with four use cases: the electronic government in the Province of Misiones (Argentina). However, the use in the domain of electronic government in a provincial context is also a proof of concept that this approach is general enough to expand into superior domains of countries that adopt the republican system of government with the division of government into the executive, legislative and judicial branches.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Roman2023a,

title = {Current Perspectives on Securing Critical Infrastructures’ Supply Chains},

author = {Rodrigo Roman and Cristina Alcaraz and Javier Lopez and Kouichi Sakurai},

url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10063981},

doi = {10.1109/MSEC.2023.3247946},

issn = {1540-7993},

year  = {2023},

date = {2023-03-08},

journal = {IEEE Security & Privacy},

volume = {21},

issue = {4},

pages = {29-38},

publisher = {IEEE},

abstract = {Digitalization and industrial paradigms are transforming the landscape of critical infrastructures and supply chains. With emerging technologies, it is possible to deploy services to enhance trust and transparency, but they are susceptible to threats, as discussed in this article.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{3132,

title = {Human Activity Recognition From Sensorised Patient's Data in Healthcare: A Streaming Deep Learning-Based Approach},

author = {Sandro Hurtado and José García-Nieto and Anton Popov and Ismael Navas-Delgado},

url = {https://www.ijimai.org/journal/sites/default/files/2023-02/ijimai8_1_3.pdf},

doi = {10.9781/ijimai.2022.05.004},

issn = {1989-1660},

year  = {2023},

date = {2023-03-01},

urldate = {2024-03-01},

journal = {International Journal of Interactive Multimedia and Artificial Intelligence},

volume = {8},

number = {1},

pages = {23-37},

abstract = {Physical inactivity is one of the main risk factors for mortality, and its relationship with the main chronic diseases has experienced intensive medical research. A well-known method for assessing people’s activity is the use of accelerometers implanted in wearables and mobile phones. However, a series of main critical issues arise in the healthcare context related to the limited amount of available labelled data to build a classification model. Moreover, the discrimination ability of activities is often challenging to capture since the variety of movement patterns in a particular group of patients (e.g. obesity or geriatric patients) is limited over time. Consequently, the proposed work presents a novel approach for Human Activity Recognition (HAR) in healthcare to avoid this problem. This proposal is based on semi-supervised classification with Encoder-Decoder Convolutional Neural Networks (CNNs) using a combination strategy of public labelled and private unlabelled raw sensor data. In this sense, the model will be able to take advantage of the large amount of unlabelled data available by extracting relevant characteristics in these data, which will increase the knowledge in the innermost layers. Hence, the trained model can generalize well when used in real-world use cases. Additionally, real-time patient monitoring is provided by Apache Spark streaming processing with sliding windows. For testing purposes, a real-world case study is conducted with a group of overweight patients in the healthcare system of Andalusia (Spain), classifying close to 30 TBs of accelerometer sensor-based data. The proposed HAR streaming deep-learning approach properly classifies movement patterns in real-time conditions, crucial for long-term daily patient monitoring.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Cintrano2023,

title = {Hybridization of Evolutionary Operators with Elitist Iterated Racing for the Simulation Optimization of Traffic Lights Programs},

author = {Christian Cintrano and Javier Ferrer and Manuel López-Ibáñez and Enrique Alba},

doi = {10.1162/evco_a_00314},

issn = {1530-9304},

year  = {2023},

date = {2023-03-01},

volume = {31},

number = {1},

pages = {31--51},

publisher = {MIT Press},

abstract = {AbstractIn the traffic light scheduling problem, the evaluation of candidate solutions requires the simulation of a process under various (traffic) scenarios. Thus, good solutions should not only achieve good objective function values, but they must be robust (low variance) across all different scenarios. Previous work has shown that combining IRACE with evolutionary operators is effective for this task due to the power of evolutionary operators in numerical optimization. In this article, we further explore the hybridization of evolutionary operators and the elitist iterated racing of IRACE for the simulation–optimization of traffic light programs. We review previous works from the literature to find the evolutionary operators performing the best when facing this problem to propose new hybrid algorithms. We evaluate our approach over a realistic case study derived from the traffic network of Málaga (Spain) with 275 traffic lights that should be scheduled optimally. The experimental analysis reveals that the hybrid algorithm comprising IRACE plus differential evolution offers statistically better results than the other algorithms when the budget of simulations is low. In contrast, IRACE performs better than the hybrids for a high simulations budget, although the optimization time is much longer.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Trinidad-Fernández2023,

title = {Head-Mounted Display for Clinical Evaluation of Neck Movement Validation with Meta Quest 2},

author = {Manuel Trinidad-Fernández and Benoît Bossavit and Javier Salgado-Fernández and Susana Abbate-Chica and Antonio J. Fernández-Leiva and Antonio I. Cuesta-Vargas},

doi = {10.3390/s23063077},

issn = {1424-8220},

year  = {2023},

date = {2023-03-01},

journal = {Sensors},

volume = {23},

number = {6},

publisher = {MDPI AG},

abstract = {<jats:p>Neck disorders have a significant impact on people because of their high incidence. The head-mounted display (HMD) systems, such as Meta Quest 2, grant access to immersive virtual reality (iRV) experiences. This study aims to validate the Meta Quest 2 HMD system as an alternative for screening neck movement in healthy people. The device provides data about the position and orientation of the head and, thus, the neck mobility around the three anatomical axes. The authors develop a VR application that solicits participants to perform six neck movements (rotation, flexion, and lateralization on both sides), which allows the collection of corresponding angles. An InertiaCube3 inertial measurement unit (IMU) is also attached to the HMD to compare the criterion to a standard. The mean absolute error (MAE), the percentage of error (%MAE), and the criterion validity and agreement are calculated. The study shows that the average absolute errors do not exceed 1° (average = 0.48 ± 0.09°). The rotational movement’s average %MAE is 1.61 ± 0.82%. The head orientations obtain a correlation between 0.70 and 0.96. The Bland–Altman study reveals good agreement between the HMD and IMU systems. Overall, the study shows that the angles provided by the Meta Quest 2 HMD system are valid to calculate the rotational angles of the neck in each of the three axes. The obtained results demonstrate an acceptable error percentage and a very minimal absolute error when measuring the degrees of neck rotation; therefore, the sensor can be used for screening neck disorders in healthy people.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Alcaraz2023,

title = {Protecting Digital Twin Networks for 6G-enabled Industry 5.0 Ecosystems},

author = {Cristina Alcaraz and Javier Lopez},

doi = {10.1109/mnet.004.2200529},

issn = {1558-156X},

year  = {2023},

date = {2023-03-01},

journal = {IEEE Network},

volume = {37},

number = {2},

pages = {302--308},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Guzmán2023,

title = {Study of PM2.5-bound polycyclic aromatic hydrocarbons and anhydro-sugars in ambient air near two Spanish oil refineries: Covid-19 effects},

author = {Marco A. Guzmán and Antonio J. Fernández-Leiva and Carlos Boente and Gonzalo Márquez and Ana M. Sánchez-De-La-Campa and Erica Lorenzo},

doi = {10.1016/j.apr.2023.101694},

issn = {1309-1042},

year  = {2023},

date = {2023-03-01},

urldate = {2023-03-01},

journal = {Atmospheric Pollution Research},

volume = {14},

number = {3},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/jss/HorcasPF23,

title = {A modular metamodel and refactoring rules to achieve software product 

 line interoperability},

author = {José Miguel Horcas and Mónica Pinto and Lidia Fuentes},

url = {https://doi.org/10.1016/j.jss.2022.111579},

doi = {10.1016/j.jss.2022.111579},

year  = {2023},

date = {2023-01-01},

journal = {J. Syst. Softw.},

volume = {197},

pages = {111579},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/jss/HorcasGHFB23,

title = {A Monte Carlo tree search conceptual framework for feature model analyses},

author = {José Miguel Horcas and José A. Galindo and Ruben Heradio and David Fernández-Amorós and David Benavides},

url = {https://doi.org/10.1016/j.jss.2022.111551},

doi = {10.1016/j.jss.2022.111551},

year  = {2023},

date = {2023-01-01},

journal = {J. Syst. Softw.},

volume = {195},

pages = {111551},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/compsec/MunozRRL23,

title = {A survey on the (in)security of trusted execution environments},

author = {Antonio Muñoz and Ruben Rios and Rodrigo Román and Javier López},

url = {https://doi.org/10.1016/j.cose.2023.103180},

doi = {10.1016/j.cose.2023.103180},

year  = {2023},

date = {2023-01-01},

journal = {Comput. Secur.},

volume = {129},

pages = {103180},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/fgcs/GonzalezManzanoBFDA23,

title = {Cybersecurity in the digital world},

author = {Lorena González-Manzano and Marta Beltrán and José M. de Fuentes and Gianluca Dini and Cristina Alcaraz},

url = {https://doi.org/10.1016/j.future.2023.03.001},

doi = {10.1016/j.future.2023.03.001},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

journal = {Future Gener. Comput. Syst.},

volume = {144},

pages = {242–243},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/kbs/MunozPF23,

title = {Detecting feature influences to quality attributes in large and partially 

 measured spaces using smart sampling and dynamic learning},

author = {Daniel-Jesus Munoz and Mónica Pinto and Lidia Fuentes},

url = {https://doi.org/10.1016/j.knosys.2023.110558},

doi = {10.1016/j.knosys.2023.110558},

year  = {2023},

date = {2023-01-01},

journal = {Knowl. Based Syst.},

volume = {270},

pages = {110558},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/sosym/HorcasPF23,

title = {Empirical analysis of the tool support for software product lines},

author = {José Miguel Horcas and Mónica Pinto and Lidia Fuentes},

url = {https://doi.org/10.1007/s10270-022-01011-2},

doi = {10.1007/s10270-022-01011-2},

year  = {2023},

date = {2023-01-01},

journal = {Softw. Syst. Model.},

volume = {22},

number = {1},

pages = {377–414},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/cbm/NematzadehGDM23,

title = {Ensemble-based genetic algorithm explainer with automized image segmentation:  A case study on melanoma detection dataset},

author = {Hossein Nematzadeh and José García-Nieto and Ismael Navas-Delgado and José F. Aldana-Montes},

url = {https://doi.org/10.1016/j.compbiomed.2023.106613},

doi = {10.1016/j.compbiomed.2023.106613},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

journal = {Comput. Biol. Medicine},

volume = {155},

pages = {106613},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/cbm/SeguraOrtizGMD23,

title = {GENECI: A novel evolutionary machine learning consensus-based  approach for the inference of gene regulatory networks},

author = {Adrián Segura-Ortiz and José García-Nieto and José F. Aldana-Montes and Ismael Navas-Delgado},

url = {https://doi.org/10.1016/j.compbiomed.2023.106653},

doi = {10.1016/j.compbiomed.2023.106653},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

journal = {Comput. Biol. Medicine},

volume = {155},

pages = {106653},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{GALLEGO2023100241,

title = {Maintaining flexibility in smart grid consumption through deep learning and deep reinforcement learning},

author = {Fernando Gallego and Cristian Martín and Manuel Díaz and Daniel Garrido},

url = {https://www.sciencedirect.com/science/article/pii/S2666546823000137},

doi = {https://doi.org/10.1016/j.egyai.2023.100241},

issn = {2666-5468},

year  = {2023},

date = {2023-01-01},

journal = {Energy and AI},

volume = {13},

pages = {100241},

abstract = {The smart grid concept is key to the energy revolution that has been taking place in recent years. Smart Grids have been present in energy research since their emergence. However, the scarcity of data from different energy sources, hardware power, or co-simulation environments has hindered their development. With advances in multi-agent-based systems, the possibility of simulating the behavior of different energy sources, combining real building consumption, and simulated data, storage batteries and vehicle charging points, has opened up. This development has resulted in much research published using both simulated and physical data. All these investigations show that the main problem is that the machine learning algorithms do not fully match the real behavior, it is complex to use them to replicate the different actions to be performed. This paper aims to combine the approach of behavior prediction with state-of-the-art techniques, such as deep learning and deep reinforcement learning, to simulate unknown or critical system scenarios. A very important element in smart grids is the possibility of maintaining consumption within specific ranges (flexibility). For this purpose, we have made use of Tensorflow libraries that predict energy consumption and deep reinforcement learning to select the optimal actions to be performed in our system. The developed platform is flexible enough to include new technologies such as smart batteries, electric vehicles, etc., and it is oriented to real-time operation, being applied in an on-going real project such as the European ebalance-plus project.11Ebalance-plus: https://www.ebalanceplus.eu.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{article,

title = {Portable motorized telescope system for wind turbine blades damage detection},

author = {Alejandro Carnero Hijano and Cristian Martín and Manuel Díaz},

doi = {10.1002/eng2.12618},

year  = {2023},

date = {2023-01-01},

journal = {Engineering Reports},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/bmcbi/BenitezHidalgoMDG23,

title = {SALON ontology for the formal description of sequence alignments},

author = {Antonio Benítez-Hidalgo and José F. Aldana-Montes and Ismael Navas-Delgado and María del Mar Roldán-García},

url = {https://doi.org/10.1186/s12859-023-05190-7},

doi = {10.1186/s12859-023-05190-7},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

journal = {BMC Bioinform.},

volume = {24},

number = {1},

pages = {69},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/ase/PanizoG23,

title = {STAn: analysis of data traces using an event-driven interval temporal  logic},

author = {Laura Panizo and María-del-Mar Gallardo},

url = {https://doi.org/10.1007/s10515-022-00367-5},

doi = {10.1007/s10515-022-00367-5},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

journal = {Autom. Softw. Eng.},

volume = {30},

number = {1},

pages = {3},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/jwe/GarciaLuqueTMTCP23,

title = {Integrating Citizens' Avatars in Urban Digital Twins},

author = {Rafael García-Luque and Lorenzo Toro-Gálvez and Nathalie Moreno and Javier Troya and Carlos Canal and Ernesto Pimentel},

url = {https://doi.org/10.13052/jwe1540-9589.2264},

doi = {10.13052/JWE1540-9589.2264},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

journal = {J. Web Eng.},

volume = {22},

number = {6},

pages = {913–938},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rodríguez2023,

title = {Composition of multilevel domain-specific modelling languages},

author = {Alejandro Rodríguez and Fernando Macías and Francisco Durán and Adrian Rutle and Uwe Wolter},

doi = {10.1016/j.jlamp.2022.100831},

issn = {2352-2208},

year  = {2023},

date = {2023-01-01},

journal = {Journal of Logical and Algebraic Methods in Programming},

volume = {130},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{RuizQuiñones2022,

title = {Automated video game parameter tuning with XVGDL+},

author = {Jorge Ruiz Quiñones and Antonio J. Fernández-Leiva},

doi = {10.3897/jucs.75357},

issn = {0948-6968},

year  = {2022},

date = {2022-12-28},

urldate = {2022-12-28},

journal = {jucs},

volume = {28},

number = {12},

pages = {1282--1311},

publisher = {Pensoft Publishers},

abstract = {<jats:p>Usually, human participation is required in order to provide feedback during the game tuning or balancing process. Moreover, this is commonly an iterative process in which play-testing is required as well as human interaction for gathering all important information to improve and tune the game components’ specification. In this paper, a mechanism is proposed to accelerate this process and reduce significantly the costs of it, contributing with a solution to perform the game parameter tuning and game balancing using search algorithms and artificial intelligence (AI) techniques. The process is executed in a fully automated way, and just requires a game specification written in a particular video game description language. Automated play-testing, and game’s feedback information analysis, are related to perform game parameters’ tuning and balancing, leading to offer a solution for the problem of optimizing a video game specification. Recently, XVGDL, a new language for specifying video games which is based on the eXtensible Markup Language (XML), has been presented. This paper uses XVGDL<jats:bold>+</jats:bold>, an extension of this lan- guage that incorporates new components to specify, within the video game specification, desirable goals or requirements to be evaluated after each game execution. A prototypical implementation of a Game Engine (termed XGE<jats:bold>+</jats:bold>) was also presented. This game engine not only enables the execution of an XVGDL<jats:bold>+ </jats:bold>game specification but also provides feedback information once the game has finished.</jats:p>

          <jats:p>The paper demonstrates that the combination of XVGDL<jats:bold>+ </jats:bold>with XGE<jats:bold>+</jats:bold><jats:bold> </jats:bold>offers a powerful mechanism for helping solving game AI research problems, in this case, the game tuning of video game parameters, with respect to initial optimization goals. These goals, as one of the particularities of the proposal presented here, are included within the game specification, minimizing the input of the process.</jats:p>

          <jats:p>As a practical proof of it, two experiments have been conducted to optimize a game specification written in XVGDL via a hill climbing local search method, in a fully automated way.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Perez-Vereda2022,

title = {Digital Avatars: A programming framework for personalized human interactions through virtual profiles},

author = {Alejandro Perez-Vereda and Ramon Hervas and Carlos Canal},

doi = {10.1016/j.pmcj.2022.101718},

issn = {1574-1192},

year  = {2022},

date = {2022-12-01},

journal = {Pervasive and Mobile Computing},

volume = {87},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Meraouche2022,

title = {Learning Multi-Party Adversarial Encryption and Its Application to Secret Sharing},

author = {Ishak Meraouche and Sabyasachi Dutta and Sraban Kumar Mohanty and Isaac Agudo and Kouichi Sakurai},

doi = {10.1109/access.2022.3223430},

issn = {2169-3536},

year  = {2022},

date = {2022-11-18},

journal = {IEEE Access},

volume = {10},

pages = {121329--121339},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1016/j.asoc.2022.109699,

title = {Automatic frequency-based feature selection using discrete weighted evolution strategy},

author = {Hossein Nematzadeh and José García-Nieto and Ismael Navas-Delgado and José F. Aldana-Montes},

url = {https://www.sciencedirect.com/science/article/pii/S1568494622007487#!},

doi = {10.1016/j.asoc.2022.109699},

issn = {ISSN 1568-4946},

year  = {2022},

date = {2022-11-01},

urldate = {2022-11-01},

journal = {Applied Soft Computing},

volume = {130},

pages = {109699},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Durán2022b,

title = {Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.},

author = {Francisco Durán},

doi = {10.5381/jot.2022.21.4.a2},

issn = {1660-1769},

year  = {2022},

date = {2022-10-01},

journal = {JOT},

volume = {21},

number = {4},

publisher = {AITO - Association Internationale pour les Technologies Objets},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Chicano2022,

title = {Dynastic Potential Crossover Operator},

author = {Francisco Chicano and Gabriela Ochoa and L. Darrell Whitley and Renato Tinós},

doi = {10.1162/evco_a_00305},

issn = {1530-9304},

year  = {2022},

date = {2022-09-01},

volume = {30},

number = {3},

pages = {409--446},

publisher = {MIT Press},

abstract = {Abstract

               An optimal recombination operator for two-parent solutions provides the best solution among those that take the value for each variable from one of the parents (gene transmission property). If the solutions are bit strings, the offspring of an optimal recombination operator is optimal in the smallest hyperplane containing the two parent solutions. Exploring this hyperplane is computationally costly, in general, requiring exponential time in the worst case. However, when the variable interaction graph of the objective function is sparse, exploration can be done in polynomial time. In this article, we present a recombination operator, called Dynastic Potential Crossover (DPX), that runs in polynomial time and behaves like an optimal recombination operator for low-epistasis combinatorial problems. We compare this operator, both theoretically and experimentally, with traditional crossover operators, like uniform crossover and network crossover, and with two recently defined efficient recombination operators: partition crossover and articulation points partition crossover. The empirical comparison uses NKQ Landscapes and MAX-SAT instances. DPX outperforms the other crossover operators in terms of quality of the offspring and provides better results included in a trajectory and a population-based metaheuristic, but it requires more time and memory to compute the offspring.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Toutouh2022,

title = {A Low Cost IoT Cyber-Physical System for Vehicle and Pedestrian Tracking in a Smart Campus},

author = {Jamal Toutouh and Enrique Alba},

doi = {10.3390/s22176585},

issn = {1424-8220},

year  = {2022},

date = {2022-08-31},

journal = {Sensors},

volume = {22},

number = {17},

publisher = {MDPI AG},

abstract = {<jats:p>Human tracking and traffic monitoring systems are required to build advanced intelligent, innovative mobility services. In this study, we introduce an IoT system based on low-cost hardware that has been installed on the campus of the University of Malaga, in Spain. The sensors gather smart wireless devices (Bluetooth and Wi-Fi) anonymous information and environmental noise level around them. This research studies the spatio-temporal behavior of people and noise pollution in the campus as a short-scale Smart City, i.e., a Smart Campus. Applying specific machine learning algorithms, we have analyzed two months of captured data (61 days). The main findings from the analysis show that most university community members move through the campus at similar hours, generating congestion problems. In addition, the campus suffers from acoustic pollution according to regulations; therefore, we conclude that the proposed system is useful for gathering helpful information for the university community members and managers. Thanks to its low cost, it can be easily extended and even used in other similar environments, allowing democratic access to Smart City services as an excellent added value.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Morell2022,

title = {Dynamic and adaptive fault-tolerant asynchronous federated learning using volunteer edge devices},

author = {José Ángel Morell and Enrique Alba},

doi = {10.1016/j.future.2022.02.024},

issn = {0167-739X},

year  = {2022},

date = {2022-08-01},

journal = {Future Generation Computer Systems},

volume = {133},

pages = {53--67},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Durán2022,

title = {Models and analysis for user-driven reconfiguration of rule-based IoT applications},

author = {Francisco Durán and Ajay Krishna and Michel Le Pallec and Radu Mateescu and Gwen Salaün},

doi = {10.1016/j.iot.2022.100515},

issn = {2542-6605},

year  = {2022},

date = {2022-08-01},

journal = {Internet of Things},

volume = {19},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Horcas2022,

title = {Combining multiple granularity variability in a software product line approach for web engineering},

author = {José Miguel Horcas and Alejandro Cortiñas and Lidia Fuentes and Miguel R. Luaces},

doi = {10.1016/j.infsof.2022.106910},

issn = {0950-5849},

year  = {2022},

date = {2022-08-01},

urldate = {2022-08-01},

journal = {Information and Software Technology},

volume = {148},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Dahi2022b,

title = {Metaheuristics on quantum computers: Inspiration, simulation and real execution},

author = {Zakaria Abdelmoiz Dahi and Enrique Alba},

doi = {10.1016/j.future.2021.12.015},

issn = {0167-739X},

year  = {2022},

date = {2022-05-01},

journal = {Future Generation Computer Systems},

volume = {130},

pages = {164--180},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rojo2022,

title = {SOWCompact: A federated process mining method for social workflows},

author = {Javier Rojo and Jose Garcia-Alonso and Javier Berrocal and Juan Hernández and Juan Manuel Murillo and Carlos Canal},

doi = {10.1016/j.ins.2022.02.035},

issn = {0020-0255},

year  = {2022},

date = {2022-05-01},

journal = {Information Sciences},

volume = {595},

pages = {18--37},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Alcaraz2022,

title = {Digital Twin: A Comprehensive Survey of Security Threats},

author = {Cristina Alcaraz and Javier Lopez},

doi = {10.1109/comst.2022.3171465},

issn = {1553-877X},

year  = {2022},

date = {2022-04-29},

journal = {IEEE Commun. Surv. Tutorials},

volume = {24},

number = {3},

pages = {1475--1503},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Harada2022,

title = {A fresh approach to evaluate performance in distributed parallel genetic algorithms},

author = {Tomohiro Harada and Enrique Alba and Gabriel Luque},

doi = {10.1016/j.asoc.2022.108540},

issn = {1568-4946},

year  = {2022},

date = {2022-04-01},

journal = {Applied Soft Computing},

volume = {119},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Osaba2022,

title = {Editorial: Memetic Computing: Accelerating optimization heuristics with problem-dependent local search methods},

author = {Eneko Osaba and Javier Del Ser and Carlos Cotta and Pablo Moscato},

doi = {10.1016/j.swevo.2022.101047},

issn = {2210-6502},

year  = {2022},

date = {2022-04-01},

journal = {Swarm and Evolutionary Computation},

volume = {70},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Martín2022,

title = {Facilitating the monitoring and management of structural health in civil infrastructures with an Edge/Fog/Cloud architecture},

author = {Cristian Martín and Daniel Garrido and Luis Llopis and Bartolomé Rubio and Manuel Díaz},

doi = {10.1016/j.csi.2021.103600},

issn = {0920-5489},

year  = {2022},

date = {2022-04-01},

journal = {Computer Standards & Interfaces},

volume = {81},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rodríguez2021,

title = {Simulation and analysis of MultEcore multilevel models based on rewriting logic},

author = {Alejandro Rodríguez and Francisco Durán and Lars Michael Kristensen},

doi = {10.1007/s10270-021-00947-1},

issn = {1619-1374},

year  = {2022},

date = {2022-04-01},

journal = {Softw Syst Model},

volume = {21},

number = {2},

pages = {561--586},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Delgado-Pérez2020,

title = {Evaluation of alternative design choices for evolutionary mutation testing by means of automated configuration},

author = {Pedro Delgado-Pérez and Francisco Chicano},

doi = {10.1007/s11219-020-09530-1},

issn = {1573-1367},

year  = {2022},

date = {2022-03-01},

urldate = {2022-03-01},

journal = {Software Qual J},

volume = {30},

number = {1},

pages = {101--126},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Dahi2022,

title = {A takeover time-driven adaptive evolutionary algorithm for mobile user tracking in pre-5G cellular networks},

author = {Zakaria Abdelmoiz Dahi and Enrique Alba and Gabriel Luque},

doi = {10.1016/j.asoc.2021.107992},

issn = {1568-4946},

year  = {2022},

date = {2022-02-01},

journal = {Applied Soft Computing},

volume = {116},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Saborido2022,

title = {Automatizing Software Cognitive Complexity Reduction},

author = {Ruben Saborido and Javier Ferrer and Francisco Chicano and Enrique Alba},

doi = {10.1109/access.2022.3144743},

issn = {2169-3536},

year  = {2022},

date = {2022-01-19},

journal = {IEEE Access},

volume = {10},

pages = {11642--11656},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/computing/BrogiCDPS22,

title = {Self-healing trans-cloud applications},

author = {Antonio Brogi and Jose Carrasco and Francisco Durán and Ernesto Pimentel and Jacopo Soldani},

url = {https://doi.org/10.1007/s00607-021-00977-z},

doi = {10.1007/s00607-021-00977-z},

year  = {2022},

date = {2022-01-01},

journal = {Computing},

volume = {104},

number = {4},

pages = {809–833},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/cn/AumayrCBDAGKBGK22,

title = {Service-based Analytics for 5G open experimentation platforms},

author = {Erik Aumayr and Giuseppe Caso and Anne-Marie Bosneag and Almudena Díaz-Zayas and Özgü Alay and Bruno García García and Konstantinos Kousias and Anna Brunström and Pedro Merino and Harilaos Koumaras},

url = {https://doi.org/10.1016/j.comnet.2021.108740},

doi = {10.1016/j.comnet.2021.108740},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

journal = {Comput. Networks},

volume = {205},

pages = {108740},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/network/Luque-SchemppPG22,

title = {Toward Zero Touch Configuration of 5G Non-Public Networks for Time  Sensitive Networking},

author = {Francisco Luque-Schempp and Laura Panizo and María-del-Mar Gallardo and Pedro Merino and Javier Rivas},

url = {https://doi.org/10.1109/MNET.006.2100442},

doi = {10.1109/MNET.006.2100442},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

journal = {IEEE Netw.},

volume = {36},

number = {2},

pages = {50–56},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Aldana-Martín2022,

title = {Semantic modelling of Earth Observation remote sensing},

author = {José F. Aldana-Martín and José García-Nieto and María del Mar Roldán-García and José F. Aldana-Montes},

doi = {10.1016/j.eswa.2021.115838},

issn = {0957-4174},

year  = {2022},

date = {2022-01-01},

journal = {Expert Systems with Applications},

volume = {187},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Martín2022b,

title = {Kafka-ML: Connecting the data stream with ML/AI frameworks},

author = {Cristian Martín and Peter Langendoerfer and Pouya Soltani Zarrin and Manuel Díaz and Bartolomé Rubio},

doi = {10.1016/j.future.2021.07.037},

issn = {0167-739X},

year  = {2022},

date = {2022-01-01},

journal = {Future Generation Computer Systems},

volume = {126},

pages = {15--33},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Cañete2022,

title = {Supporting IoT applications deployment on edge-based infrastructures using multi-layer feature models},

author = {Angel Cañete and Mercedes Amor and Lidia Fuentes},

doi = {10.1016/j.jss.2021.111086},

issn = {0164-1212},

year  = {2022},

date = {2022-01-01},

journal = {Journal of Systems and Software},

volume = {183},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rios2022,

title = {Personal IoT Privacy Control at the Edge},

author = {Ruben Rios and Jose A. Onieva and Rodrigo Roman and Javier Lopez},

doi = {10.1109/msec.2021.3101865},

issn = {1558-4046},

year  = {2022},

date = {2022-01-01},

journal = {IEEE Secur. Privacy},

volume = {20},

number = {1},

pages = {23--32},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Moreno2021,

title = {Merge Nondominated Sorting Algorithm for Many-Objective Optimization},

author = {Javier Moreno and Daniel Rodriguez and Antonio J. Nebro and Jose A. Lozano},

doi = {10.1109/tcyb.2020.2968301},

issn = {2168-2275},

year  = {2021},

date = {2021-12-01},

journal = {IEEE Trans. Cybern.},

volume = {51},

number = {12},

pages = {6154--6164},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Benítez-Hidalgo2021,

title = {TITAN: A knowledge-based platform for Big Data workflow management},

author = {Antonio Benítez-Hidalgo and Cristóbal Barba-González and José García-Nieto and Pedro Gutiérrez-Moncayo and Manuel Paneque and Antonio J. Nebro and María del Mar Roldán-García and José F. Aldana-Montes and Ismael Navas-Delgado},

doi = {10.1016/j.knosys.2021.107489},

issn = {0950-7051},

year  = {2021},

date = {2021-11-28},

journal = {Knowledge-Based Systems},

volume = {232},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Canete2021,

title = {Energy-Efficient Deployment of IoT Applications in Edge-Based Infrastructures: A Software Product Line Approach},

author = {Angel Canete and Mercedes Amor and Lidia Fuentes},

doi = {10.1109/jiot.2020.3030197},

issn = {2327-4662},

year  = {2021},

date = {2021-11-15},

journal = {IEEE Internet Things J.},

volume = {8},

number = {22},

pages = {16427--16439},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Hurtado2021,

title = {FIMED: Flexible management of biomedical data},

author = {Sandro Hurtado and José García-Nieto and Ismael Navas-Delgado and José F. Aldana-Montes},

doi = {10.1016/j.cmpb.2021.106496},

issn = {0169-2607},

year  = {2021},

date = {2021-11-01},

journal = {Computer Methods and Programs in Biomedicine},

volume = {212},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Durán2021,

title = {Resource provisioning strategies for BPMN processes: Specification and analysis using Maude},

author = {Francisco Durán and Camilo Rocha and Gwen Salaün},

doi = {10.1016/j.jlamp.2021.100711},

issn = {2352-2208},

year  = {2021},

date = {2021-11-01},

journal = {Journal of Logical and Algebraic Methods in Programming},

volume = {123},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Barba-González2021,

title = {Injecting domain knowledge in multi-objective optimization problems: A semantic approach},

author = {Cristóbal Barba-González and Antonio J. Nebro and José García-Nieto and María del Mar Roldán-García and Ismael Navas-Delgado and José F. Aldana-Montes},

doi = {10.1016/j.csi.2021.103546},

issn = {0920-5489},

year  = {2021},

date = {2021-10-01},

journal = {Computer Standards & Interfaces},

volume = {78},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Stolfi2021,

title = {Yellow Swarm: LED panels to advise optimal alternative tours to drivers in the city of Malaga},

author = {Daniel H. Stolfi and Enrique Alba},

doi = {10.1016/j.asoc.2021.107566},

issn = {1568-4946},

year  = {2021},

date = {2021-09-01},

journal = {Applied Soft Computing},

volume = {109},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Alba2021,

title = {Metaheuristics and Software Engineering: Past, Present, and Future},

author = {Enrique Alba and Javier Ferrer and Ignacio Villalobos},

doi = {10.1142/s0218194021500443},

issn = {1793-6403},

year  = {2021},

date = {2021-09-01},

journal = {Int. J. Soft. Eng. Knowl. Eng.},

volume = {31},

number = {09},

pages = {1349--1375},

publisher = {World Scientific Pub Co Pte Ltd},

abstract = {<jats:p> This work aims at giving an updated vision on the successful combination between Metaheuristics and Software Engineering (SE). Mostly during the 90s, varied groups of researchers dealing with search, optimization, and learning (SOL) met SE researchers, all of them looking for a quantified manner of modeling and solving problems in the software field. This paper will discuss on the construction, assessment, and exploitation tasks that help in making software programs a scientific object, subject to automatic study and control. We also want to show with several case studies how the quantification of software features and the automatic search for bugs can improve the software quality process, which eases compliance to ISO/IEEE standards. In short, we want to build intelligent automatic tools that will upgrade the quality of software products and services. Since we approach this new field as a cross-fertilization between two research domains, we then need to talk not only on metaheuristics for SE (well known by now), but also on SE for metaheuristics (not so well known nowadays). In summary, we will discuss here with three time horizons in mind: the old times [before the term search-based SE (SBSE) was used for this], the recent years on SBSE, and the many avenues for future research/development. A new body of knowledge in SOL and SE exists internationally, which is resulting in a new class of researchers able of building intelligent techniques for the benefit of software, that is, of modern societies. </jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Laso2021,

title = {Human microservices: A framework for turning humans into service providers},

author = {Sergio Laso and Javier Berrocal and José García‐Alonso and Carlos Canal and Juan Manuel Murillo},

doi = {10.1002/spe.2976},

issn = {1097-024X},

year  = {2021},

date = {2021-09-01},

journal = {Softw Pract Exp},

volume = {51},

number = {9},

pages = {1910--1935},

publisher = {Wiley},

abstract = {<jats:title>Summary</jats:title><jats:p>During the last decade, the mobile application market has grown steadily thanks to the massive use of smartphones and the emergence of cloud computing for offloading computation tasks and improving the quality of experience. With the more recent deployment of Internet of Things (IoT) devices, this cloud‐based architectural design and the corresponding communication flow has been maintained. Nevertheless, the increasing amount of information exchanged, the stringent requirements of many IoT applications, and the need for these applications to adapt their behavior in real time to the user's context set these architectural assumptions a challenge. Paradigms such as mobile, mist, and edge computing have recently been proposed to exploit the computational and storage capabilities of current smartphones and IoT devices in order to onload some tasks onto them, reducing the overhead on both the cloud and the network. Currently, the application of these paradigms requires much attention from skilled developers to create ad hoc systems, as there lack standards and tools facilitating their use. This communication introduces Human Microservices as a framework facilitating the deployment of APIs on companion devices in order to provide personal and updated information that can be consumed by other entities. The framework improves the integration of humans in the IoT loop and facilitates the deployment of computation units in devices closer to end users, enhancing system response time by reducing the stress on cloud and network infrastructure. The proposed framework is based on existing standards in order to improve software quality and shorten the learning curve.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Carnero2021,

title = {Managing and Deploying Distributed and Deep Neural Models Through Kafka-ML in the Cloud-to-Things Continuum},

author = {Alejandro Carnero and Cristian Martin and Daniel R. Torres and Daniel Garrido and Manuel Diaz and Bartolome Rubio},

doi = {10.1109/access.2021.3110291},

issn = {2169-3536},

year  = {2021},

date = {2021-09-01},

journal = {IEEE Access},

volume = {9},

pages = {125478--125495},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Fischer-Hübner2021,

title = {Stakeholder perspectives and requirements on cybersecurity in Europe},

author = {Simone Fischer-Hübner and Cristina Alcaraz and Afonso Ferreira and Carmen Fernandez-Gago and Javier Lopez and Evangelos Markatos and Lejla Islami and Mahdi Akil},

doi = {10.1016/j.jisa.2021.102916},

issn = {2214-2126},

year  = {2021},

date = {2021-09-01},

urldate = {2021-09-01},

journal = {Journal of Information Security and Applications},

volume = {61},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Torres2021b,

title = {An open source framework based on Kafka-ML for Distributed DNN inference over the Cloud-to-Things continuum},

author = {Daniel R. Torres and Cristian Martín and Bartolomé Rubio and Manuel Díaz},

doi = {10.1016/j.sysarc.2021.102214},

issn = {1383-7621},

year  = {2021},

date = {2021-09-01},

journal = {Journal of Systems Architecture},

volume = {118},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Harada2020,

title = {Parallel Genetic Algorithms},

author = {Tomohiro Harada and Enrique Alba},

doi = {10.1145/3400031},

issn = {1557-7341},

year  = {2021},

date = {2021-07-31},

journal = {ACM Comput. Surv.},

volume = {53},

number = {4},

pages = {1--39},

publisher = {Association for Computing Machinery (ACM)},

abstract = {In this article, we encompass an analysis of the recent advances in parallel genetic algorithms (PGAs). We have selected these algorithms because of the deep interest in many research fields for techniques that can face complex applications where running times and other computational resources are greedily consumed by present solvers, and PGAs act then as efficient procedures that fully use modern computational platforms at the same time that allow the resolution of cutting-edge open problems. We have faced this survey on PGAs with the aim of helping newcomers or busy researchers who want to have a wide vision on the field. Then, we discuss the most well-known models and their implementations from a recent (last six years) and useful point of view: We discuss on highly cited articles, keywords, the venues where they can be found, a very comprehensive (and new) taxonomy covering different research domains involved in PGAs, and a set of recent applications. We also introduce a new vision on open challenges and try to give hints that guide practitioners and specialized researchers. Our conclusion is that there are many advantages to using these techniques and lots of potential interactions to other evolutionary algorithms; as well, we contribute to creating a body of knowledge in PGAs by summarizing them in a structured way, so the reader can find this article useful for practical research, graduate teaching, and as a pedagogical guide to this exciting domain.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Camero2021,

title = {Bayesian neural architecture search using a training-free performance metric},

author = {Andrés Camero and Hao Wang and Enrique Alba and Thomas Bäck},

doi = {10.1016/j.asoc.2021.107356},

issn = {1568-4946},

year  = {2021},

date = {2021-07-01},

journal = {Applied Soft Computing},

volume = {106},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Domínguez-Ríos2021,

title = {Effective anytime algorithm for multiobjective combinatorial optimization problems},

author = {Miguel Ángel Domínguez-Ríos and Francisco Chicano and Enrique Alba},

doi = {10.1016/j.ins.2021.02.074},

issn = {0020-0255},

year  = {2021},

date = {2021-07-01},

journal = {Information Sciences},

volume = {565},

pages = {210--228},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Osaba2021,

title = {A Tutorial On the design, experimentation and application of metaheuristic algorithms to real-World optimization problems},

author = {Eneko Osaba and Esther Villar-Rodriguez and Javier Del Ser and Antonio J. Nebro and Daniel Molina and Antonio LaTorre and Ponnuthurai N. Suganthan and Carlos A. Coello Coello and Francisco Herrera},

doi = {10.1016/j.swevo.2021.100888},

issn = {2210-6502},

year  = {2021},

date = {2021-07-01},

journal = {Swarm and Evolutionary Computation},

volume = {64},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{delMarRoldán-García2021,

title = {Ontology-driven approach for KPI meta-modelling, selection and reasoning},

author = {María del Mar Roldán-García and José García-Nieto and Alejandro Maté and Juan Trujillo and José F. Aldana-Montes},

doi = {10.1016/j.ijinfomgt.2019.10.003},

issn = {0268-4012},

year  = {2021},

date = {2021-06-01},

journal = {International Journal of Information Management},

volume = {58},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Araújo‐de‐Oliveira2021,

title = {A procedural and flexible approach for specification, modeling, definition, and analysis for self‐adaptive systems},

author = {Patrícia Araújo‐de‐Oliveira and Francisco Durán and Ernesto Pimentel},

doi = {10.1002/spe.2962},

issn = {1097-024X},

year  = {2021},

date = {2021-06-01},

journal = {Softw Pract Exp},

volume = {51},

number = {6},

pages = {1387--1415},

publisher = {Wiley},

abstract = {<jats:title>Abstract</jats:title><jats:p>An adaptive system can modify its settings at runtime as a response to changes in its operational environment. To analyse this kind of systems at design time is a difficult task since it requires considering the system together with the adaptation operations, and taking into account how such adaptations act on the system. In order to use simulation‐based techniques for the analysis of such systems, we not only need precise executable models of the systems to be analyzed, but also to capture the semantics of their adaptation mechanisms. Given the wide range and flexibility of adaptation operations, we need ways to allow the definition of new operations. We present a flexible approach for the definition and simulation‐based analysis in design‐time of adaptive component‐based systems. Our approach combines an extension of the Palladio component model in e‐Motions, a model of the adaptation mechanisms, and elastic requirements specification using the SYBL language. From the model of the system, its adaptation mechanisms, and its requirements, an executable Maude specification is generated for simulation. The application of the approach is illustrated on a use case that comprises some components and adaptations rules. The example is then analyzed using simulations. It is also shown that it is indeed possible to define additional metrics, specify adaptation requirements and rules which conduct simulations of the models in a more flexible way, and that the results of the simulation performed from these definitions can be used to carry on a valuable predictive performance analysis.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ayala2021,

title = {ProDSPL: Proactive self-adaptation based on Dynamic Software Product Lines},

author = {Inmaculada Ayala and Alessandro V. Papadopoulos and Mercedes Amor and Lidia Fuentes},

doi = {10.1016/j.jss.2021.110909},

issn = {0164-1212},

year  = {2021},

date = {2021-05-01},

journal = {Journal of Systems and Software},

volume = {175},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Agudo2021b,

title = {A Blockchain Approach for Decentralized V2X (D-V2X)},

author = {Isaac Agudo and Manuel Montenegro-Gomez and Javier Lopez},

doi = {10.1109/tvt.2020.3046640},

issn = {1939-9359},

year  = {2021},

date = {2021-05-01},

journal = {IEEE Trans. Veh. Technol.},

volume = {70},

number = {5},

pages = {4001--4010},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Hurtado2020,

title = {Reconstruction of gene regulatory networks with multi-objective particle swarm optimisers},

author = {Sandro Hurtado and José García-Nieto and Ismael Navas-Delgado and Antonio J. Nebro and José F. Aldana-Montes},

doi = {10.1007/s10489-020-01891-1},

issn = {1573-7497},

year  = {2021},

date = {2021-04-01},

journal = {Appl Intell},

volume = {51},

number = {4},

pages = {1972--1991},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ferrer2020,

title = {CMSA algorithm for solving the prioritized pairwise test data generation problem in software product lines},

author = {Javier Ferrer and Francisco Chicano and José Antonio Ortega-Toro},

doi = {10.1007/s10732-020-09462-w},

issn = {1572-9397},

year  = {2021},

date = {2021-04-01},

urldate = {2021-04-01},

journal = {J Heuristics},

volume = {27},

number = {1-2},

pages = {229--249},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Lopez2021,

title = {Digital Twins for Intelligent Authorization in the B5G-Enabled Smart Grid},

author = {Javier Lopez and Juan E. Rubio and Cristina Alcaraz},

doi = {10.1109/mwc.001.2000336},

issn = {1558-0687},

year  = {2021},

date = {2021-04-01},

journal = {IEEE Wireless Commun.},

volume = {28},

number = {2},

pages = {48--55},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Pimentel2021,

title = {Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications},

author = {Ernesto Pimentel and Jacopo Soldani},

doi = {10.1016/j.scico.2020.102594},

issn = {0167-6423},

year  = {2021},

date = {2021-04-01},

journal = {Science of Computer Programming},

volume = {204},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Pérez-Vereda2021,

title = {Modelling digital avatars: A tuple space approach},

author = {Alejandro Pérez-Vereda and Carlos Canal and Ernesto Pimentel},

doi = {10.1016/j.scico.2020.102583},

issn = {0167-6423},

year  = {2021},

date = {2021-03-01},

journal = {Science of Computer Programming},

volume = {203},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{RodríguezRueda2020,

title = {Metaheuristics for the template design problem: encoding, symmetry and hybridisation},

author = {David Rodríguez Rueda and Carlos Cotta and Antonio J. Fernández-Leiva},

doi = {10.1007/s10845-020-01587-w},

issn = {1572-8145},

year  = {2021},

date = {2021-02-01},

journal = {J Intell Manuf},

volume = {32},

number = {2},

pages = {559--578},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Valera-Muros2020,

title = {An Architecture for Creating Slices to Experiment on Wireless Networks},

author = {Barbara Valera-Muros and Laura Panizo and Alvaro Rios and Pedro Merino},

doi = {10.1007/s10922-020-09571-8},

issn = {1573-7705},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {J Netw Syst Manage},

volume = {29},

number = {1},

publisher = {Springer Science and Business Media LLC},

abstract = {<jats:title>Abstract</jats:title><jats:p>Researchers in mobile technologies and services are currently requesting testbeds to validate their proposals in a realistic large-scale and controlled environment. Such demands are some times satisfied with private ad-hoc deployments in a given area of coverage. However, given national regulations related to the use of the spectrum and the cost of deployments, these solutions are not feasible for most researchers. In this paper, we introduce the architecture of the research infrastructure developed in the EuWireless project. EuWireless’ objective is to provide private networks that can be dynamically created as slices with different levels of configuration and control, as a cost-effective way to access large-scale testbeds with a licensed spectrum even in different countries. The paper focuses on the architecture of the Point of Presence, the key element in the EuWireless project, and how it will work in practice. We also present a proof of concept implementation that satisfies some of the design objectives and demonstrates the feasibility of the proposal.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Cintrano2020,

title = {Using metaheuristics for the location of bicycle stations},

author = {Christian Cintrano and Francisco Chicano and Enrique Alba},

doi = {10.1016/j.eswa.2020.113684},

issn = {0957-4174},

year  = {2020},

date = {2020-12-15},

urldate = {2020-12-15},

journal = {Expert Systems with Applications},

volume = {161},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ferraris2020,

title = {A model-driven approach to ensure trust in the IoT},

author = {Davide Ferraris and Carmen Fernandez-Gago and Javier Lopez},

doi = {10.1186/s13673-020-00257-3},

issn = {2192-1962},

year  = {2020},

date = {2020-12-05},

journal = {Hum. Cent. Comput. Inf. Sci.},

volume = {10},

number = {1},

publisher = {Springer Science and Business Media LLC},

abstract = {<jats:title>Abstract</jats:title>

               <jats:p>The Internet of Things (IoT) is a paradigm that permits smart entities to be interconnected anywhere and anyhow. IoT opens new opportunities but also rises new issues. In this dynamic environment, trust is useful to mitigate these issues. In fact, it is important that the smart entities could know and trust the other smart entities in order to collaborate with them. So far, there is a lack of research when considering trust through the whole System Development Life Cycle (SDLC) of a smart IoT entity. In this paper, we suggest a new approach that considers trust not only at the end of the SDLC but also at the start of it. More precisely, we explore the modeling phase proposing a model-driven approach extending UML and SysML considering trust and its related domains, such as security and privacy. We propose stereotypes for each diagram in order to give developers a way to represent trust elements in an effective way. Moreover, we propose two new diagrams that are very important for the IoT: a traceability diagram and a context diagram. This model-driven approach will help developers to model the smart IoT entities according to the requirements elicited in the previous phases of the SDLC. These models will be a fundamental input for the following and final phases of the SDLC.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Oliveto2020,

title = {Guest Editorial Special Issue on Theoretical Foundations of Evolutionary Computation},

author = {Pietro S. Oliveto and Anne Auger and Francisco Chicano and Carlos M. Fonseca},

doi = {10.1109/tevc.2020.3035225},

issn = {1941-0026},

year  = {2020},

date = {2020-12-01},

journal = {IEEE Trans. Evol. Computat.},

volume = {24},

number = {6},

pages = {993--994},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Bertoa2020,

title = {Digital Avatars: Promoting Independent Living for Older Adults},

author = {Manuel F. Bertoa and Nathalie Moreno and Alejandro Perez-Vereda and David Bandera and José M. Álvarez-Palomo and Carlos Canal},

editor = {Marino Linaje},

doi = {10.1155/2020/8891002},

issn = {1530-8677},

year  = {2020},

date = {2020-11-24},

journal = {Wireless Communications and Mobile Computing},

volume = {2020},

pages = {1--11},

publisher = {Hindawi Limited},

abstract = {Population ageing, together with the desire to maintain an autonomous lifestyle, poses today’s societies with a challenge that technological advances can help considerably to cope with. The widespread use of smartphones and their increasing computing power and storage capacity make them the ideal tool to achieve this goal. In this paper, we present Digital Avatars, a software framework adapted to the needs of older adults who wish to preserve their lifestyle, but who require assistance through technology. Building on previous work on the People as a Service model, Digital Avatars takes advantage of a smartphone’s capabilities and services to collect information about the people who own them. To do this, it applies Complex Event Processing techniques extended with uncertainty to infer the habits, preferences, and needs of the device owner to build with them an enhanced virtual profile of the user. These virtual profiles are the mechanism for monitoring the quality of life of older adults: analyzing their patterns of activity, reminding them of medication schedules, or detecting risky situations that generate alerts to relatives, caregivers, or the community health system.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DíazZayas2020,

title = {A Modular Experimentation Methodology for 5G Deployments: The 5GENESIS Approach},

author = {Almudena Díaz-Zayas and Giuseppe Caso and Özgü Alay and Pedro Merino and Anna Brunstrom and Dimitris Tsolkas and Harilaos Koumaras},

doi = {10.3390/s20226652},

issn = {1424-8220},

year  = {2020},

date = {2020-11-20},

urldate = {2020-11-20},

journal = {Sensors},

volume = {20},

number = {22},

publisher = {MDPI AG},

abstract = {<jats:p>The high heterogeneity of 5G use cases requires the extension of the traditional per-component testing procedures provided by certification organizations, in order to devise and incorporate methodologies that cover the testing requirements from vertical applications and services. In this paper, we introduce an experimentation methodology that is defined in the context of the 5GENESIS project, which aims at enabling both the testing of network components and validation of E2E KPIs. The most important contributions of this methodology are its modularity and flexibility, as well as the open-source software that was developed for its application, which enable lightweight adoption of the methodology in any 5G testbed. We also demonstrate how the methodology can be used, by executing and analyzing different experiments in a 5G Non-Standalone (NSA) deployment at the University of Malaga. The key findings of the paper are an initial 5G performance assessment and KPI analysis and the detection of under-performance issues at the application level. Those findings highlight the need for reliable testing and validation procedures towards a fair benchmarking of generic 5G services and applications.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Camero2020,

title = {Random error sampling-based recurrent neural network architecture optimization},

author = {Andrés Camero and Jamal Toutouh and Enrique Alba},

doi = {10.1016/j.engappai.2020.103946},

issn = {0952-1976},

year  = {2020},

date = {2020-11-01},

journal = {Engineering Applications of Artificial Intelligence},

volume = {96},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rico2020,

title = {A Survey of End-to-End Solutions for Reliable Low-Latency Communications in 5G Networks},

author = {Delia Rico and Pedro Merino},

doi = {10.1109/access.2020.3032726},

issn = {2169-3536},

year  = {2020},

date = {2020-10-21},

journal = {IEEE Access},

volume = {8},

pages = {192808--192834},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Diaz2020,

title = {Integrating Blockchain in Safety-Critical Systems: An Application to the Nuclear Industry},

author = {Manuel Diaz and Enrique Soler and Luis Llopis and Joaquin Trillo},

doi = {10.1109/access.2020.3032322},

issn = {2169-3536},

year  = {2020},

date = {2020-10-19},

journal = {IEEE Access},

volume = {8},

pages = {190605--190619},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Alcaraz2020,

title = {Blockchain-assisted access for federated Smart Grid domains: Coupling and features},

author = {Cristina Alcaraz and Juan E. Rubio and Javier Lopez},

doi = {10.1016/j.jpdc.2020.05.012},

issn = {0743-7315},

year  = {2020},

date = {2020-10-01},

journal = {Journal of Parallel and Distributed Computing},

volume = {144},

pages = {124--135},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rubio2020,

title = {Integration of a Threat Traceability Solution in the Industrial Internet of Things},

author = {Juan E. Rubio and Rodrigo Roman and Javier Lopez},

doi = {10.1109/tii.2020.2976747},

issn = {1941-0050},

year  = {2020},

date = {2020-10-01},

journal = {IEEE Trans. Ind. Inf.},

volume = {16},

number = {10},

pages = {6575--6583},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Stolfi2019,

title = {Can I Park in the City Center? Predicting Car Park Occupancy Rates in Smart Cities},

author = {Daniel H. Stolfi and Enrique Alba and Xin Yao},

doi = {10.1080/10630732.2019.1586223},

issn = {1466-1853},

year  = {2020},

date = {2020-10-01},

journal = {Journal of Urban Technology},

volume = {27},

number = {4},

pages = {27--41},

publisher = {Informa UK Limited},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Berrocal2020,

title = {Early Evaluation of Mobile Applications’ Resource Consumption and Operating Costs},

author = {Javier Berrocal and Jose García-Alonso and Pablo Fernandez and Alejandro Pérez-vereda and Juan Hernandez and Carlos Canal and Juan Manuel Murillo and Antonio Ruiz-Cortes},

doi = {10.1109/access.2020.3015082},

issn = {2169-3536},

year  = {2020},

date = {2020-08-20},

journal = {IEEE Access},

volume = {8},

pages = {146648--146665},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Delgado-Pérez2020b,

title = {An experimental and practical study on the equivalent mutant connection: An evolutionary approach},

author = {Pedro Delgado-Pérez and Francisco Chicano},

doi = {10.1016/j.infsof.2020.106317},

issn = {0950-5849},

year  = {2020},

date = {2020-08-01},

journal = {Information and Software Technology},

volume = {124},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ballesteros2020,

title = {Evolving dynamic self-adaptation policies of mHealth systems for long-term monitoring},

author = {Joaquin Ballesteros and Inmaculada Ayala and Juan Rafael Caro-Romero and Mercedes Amor and Lidia Fuentes},

doi = {10.1016/j.jbi.2020.103494},

issn = {1532-0464},

year  = {2020},

date = {2020-08-01},

journal = {Journal of Biomedical Informatics},

volume = {108},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{López-Camacho2019,

title = {Optimizing ligand conformations in flexible protein targets: a multi-objective strategy},

author = {Esteban López-Camacho and María Jesús García-Godoy and José García-Nieto and Antonio J. Nebro and José F. Aldana-Montes},

doi = {10.1007/s00500-019-04575-2},

issn = {1433-7479},

year  = {2020},

date = {2020-07-01},

journal = {Soft Comput},

volume = {24},

number = {14},

pages = {10705--10719},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Garcia-Alonso2020,

title = {Using Bluetooth Low Energy Advertisements for the Detection of People Temporal Proximity Patterns},

author = {Jose Garcia-Alonso and Javier Berrocal and Alejandro Pérez-Vereda and Jaime Galán-Jiménez and Carlos Canal and Juan Manuel Murillo},

doi = {10.1155/2020/8506323},

issn = {1875-905X},

year  = {2020},

date = {2020-06-13},

urldate = {2020-06-13},

journal = {Mobile Information Systems},

volume = {2020},

pages = {1--17},

publisher = {Hindawi Limited},

abstract = {<jats:p>The pervasive presence of smartphones has emerged as one of the key elements for sensing people contextual information. Their sensors and communication capabilities can be used to gather a huge amount of data. Such capabilities have made it possible to compose profiles of people by relating different parameters such as time and location. This paper contributes in this sense by providing the basis for the composition of temporal proximity patterns—when and whom people share their time with each other. For this purpose, the Bluetooth Low Energy (BLE) advertisement protocol was used. The contribution of this work departs from that of those who use BLE technology focused on measuring the intensity of the signals to, for example, determine distances. In this field, a huge amount of work has been already done with very interesting results. Instead, in this work, BLE is used to emit and sense the presence of people. A set of algorithms are then used inside the smartphones to analyse the data gathered and to detect proximity patterns between people. This scenario avoids the difficulties that appear in other works—like those focused on people positioning—derived from the lack of precision of the sensors and the differences between BLE chipsets. Tests to evaluate the consumption, precision, and reliability of using this technology, together with the proposed algorithms, confirmed the feasibility of the approach. In addition, the proposal has proved very useful for the automatic construction of social networks based on physical closeness of people.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Abdelhafez2020,

title = {Parallel execution combinatorics with metaheuristics: Comparative study},

author = {Amr Abdelhafez and Gabriel Luque and Enrique Alba},

doi = {10.1016/j.swevo.2020.100692},

issn = {2210-6502},

year  = {2020},

date = {2020-06-01},

journal = {Swarm and Evolutionary Computation},

volume = {55},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Benítez-Hidalgo2020,

title = {Sequoya: multiobjective multiple sequence alignment in Python},

author = {Antonio Benítez-Hidalgo and Antonio J. Nebro and José F. Aldana-Montes},

editor = {Alfonso Valencia},

doi = {10.1093/bioinformatics/btaa257},

issn = {1367-4811},

year  = {2020},

date = {2020-06-01},

urldate = {2020-06-01},

volume = {36},

number = {12},

pages = {3892--3893},

publisher = {Oxford University Press (OUP)},

abstract = {<jats:title>Abstract</jats:title>

               <jats:sec>

                  <jats:title>Motivation</jats:title>

                  <jats:p>Multiple sequence alignment (MSA) consists of finding the optimal alignment of three or more biological sequences to identify highly conserved regions that may be the result of similarities and relationships between the sequences. MSA is an optimization problem with NP-hard complexity (non-deterministic polynomial-time hardness), because the time needed to find optimal alignments raises exponentially along with the number of sequences and their length. Furthermore, the problem becomes multiobjective when more than one score is considered to assess the quality of an alignment, such as maximizing the percentage of totally conserved columns and minimizing the number of gaps. Our motivation is to provide a Python tool for solving MSA problems using evolutionary algorithms, a nonexact stochastic optimization approach that has proven to be effective to solve multiobjective problems.</jats:p>

               </jats:sec>

               <jats:sec>

                  <jats:title>Results</jats:title>

                  <jats:p>The software tool we have developed, called Sequoya, is written in the Python programming language, which offers a broad set of libraries for data analysis, visualization and parallelism. Thus, Sequoya offers a graphical tool to visualize the progress of the optimization in real time, the ability to guide the search toward a preferred region in run-time, parallel support to distribute the computation among nodes in a distributed computing system, and a graphical component to assist in the analysis of the solutions found at the end of the optimization.</jats:p>

               </jats:sec>

               <jats:sec>

                  <jats:title>Availability and implementation</jats:title>

                  <jats:p>Sequoya can be freely obtained from the Python Package Index (pip) or, alternatively, it can be downloaded from Github at https://github.com/benhid/Sequoya.</jats:p>

               </jats:sec>

               <jats:sec>

                  <jats:title>Supplementary information</jats:title>

                  <jats:p>Supplementary data are available at Bioinformatics online.</jats:p>

               </jats:sec>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Barba-González2020,

title = {On the design of a framework integrating an optimization engine with streaming technologies},

author = {Cristóbal Barba-González and Antonio J. Nebro and Antonio Benítez-Hidalgo and José García-Nieto and José F. Aldana-Montes},

doi = {10.1016/j.future.2020.02.020},

issn = {0167-739X},

year  = {2020},

date = {2020-06-01},

journal = {Future Generation Computer Systems},

volume = {107},

pages = {538--550},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ramírez2020,

title = {A systematic literature review of the SBSE research community in Spain},

author = {Aurora Ramírez and Pedro Delgado-Pérez and Javier Ferrer and José Raúl Romero and Inmaculada Medina-Bulo and Francisco Chicano},

doi = {10.1007/s13748-020-00205-3},

issn = {2192-6360},

year  = {2020},

date = {2020-06-01},

journal = {Prog Artif Intell},

volume = {9},

number = {2},

pages = {113--128},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Saborido2020,

title = {Software systems from smart city vendors},

author = {Rubén Saborido and Enrique Alba},

doi = {10.1016/j.cities.2020.102690},

issn = {0264-2751},

year  = {2020},

date = {2020-06-01},

urldate = {2020-06-01},

journal = {Cities},

volume = {101},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Gallardo2020,

title = {Introduction to the Special Issue devoted to SPIN 2018},

author = {María-del-Mar Gallardo and Pedro Merino},

doi = {10.1007/s10009-020-00550-7},

issn = {1433-2787},

year  = {2020},

date = {2020-04-01},

urldate = {2020-04-01},

journal = {Int J Softw Tools Technol Transfer},

volume = {22},

number = {2},

pages = {103--104},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Villagra2020,

title = {A better understanding on traffic light scheduling: New cellular GAs and new in-depth analysis of solutions},

author = {Andrea Villagra and Enrique Alba and Gabriel Luque},

doi = {10.1016/j.jocs.2020.101085},

issn = {1877-7503},

year  = {2020},

date = {2020-03-01},

journal = {Journal of Computational Science},

volume = {41},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Dahi2019,

title = {The grid-to-neighbourhood relationship in cellular GAs: from design to solving complex problems},

author = {Zakaria Abdelmoiz Dahi and Enrique Alba},

doi = {10.1007/s00500-019-04125-w},

issn = {1433-7479},

year  = {2020},

date = {2020-03-01},

journal = {Soft Comput},

volume = {24},

number = {5},

pages = {3569--3589},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Barba-González2019,

title = {A multi-objective interactive dynamic particle swarm optimizer},

author = {Cristóbal Barba-González and Antonio J. Nebro and José García-Nieto and José F. Aldana-Montes},

doi = {10.1007/s13748-019-00198-8},

issn = {2192-6360},

year  = {2020},

date = {2020-03-01},

journal = {Prog Artif Intell},

volume = {9},

number = {1},

pages = {55--65},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Amaya2019,

title = {Deep memetic models for combinatorial optimization problems: application to the tool switching problem},

author = {Jhon Edgar Amaya and Carlos Cotta and Antonio J. Fernández-Leiva and Pablo García-Sánchez},

doi = {10.1007/s12293-019-00294-1},

issn = {1865-9292},

year  = {2020},

date = {2020-03-01},

journal = {Memetic Comp.},

volume = {12},

number = {1},

pages = {3--22},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Carrasco2020,

title = {Live migration of trans-cloud applications},

author = {Jose Carrasco and Francisco Durán and Ernesto Pimentel},

doi = {10.1016/j.csi.2019.103392},

issn = {0920-5489},

year  = {2020},

date = {2020-03-01},

journal = {Computer Standards & Interfaces},

volume = {69},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{BenAli2020,

title = {An efficient discrete PSO coupled with a fast local search heuristic for the DNA fragment assembly problem},

author = {Abdelkamel Ben Ali and Gabriel Luque and Enrique Alba},

doi = {10.1016/j.ins.2019.10.026},

issn = {0020-0255},

year  = {2020},

date = {2020-02-01},

journal = {Information Sciences},

volume = {512},

pages = {880--908},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rueda2020,

title = {Memetic collaborative approaches for finding balanced incomplete block designs},

author = {David Rodríguez Rueda and Carlos Cotta and Antonio J. Fernández-Leiva},

doi = {10.1016/j.cor.2019.104804},

issn = {0305-0548},

year  = {2020},

date = {2020-02-01},

journal = {Computers & Operations Research},

volume = {114},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Durán2020b,

title = {Ground confluence of order-sorted conditional specifications modulo axioms},

author = {Francisco Durán and José Meseguer and Camilo Rocha},

doi = {10.1016/j.jlamp.2019.100513},

issn = {2352-2208},

year  = {2020},

date = {2020-02-01},

journal = {Journal of Logical and Algebraic Methods in Programming},

volume = {111},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Cañete2020,

title = {Energy efficient adaptation engines for android applications},

author = {Angel Cañete and José Miguel Horcas and Inmaculada Ayala and Lidia Fuentes},

doi = {10.1016/j.infsof.2019.106220},

issn = {0950-5849},

year  = {2020},

date = {2020-02-01},

urldate = {2020-02-01},

journal = {Information and Software Technology},

volume = {118},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Quinones2020,

title = {XML-Based Video Game Description Language},

author = {Jorge Ruiz Quiñones and Antonio J. Fernandez-Leiva},

doi = {10.1109/access.2019.2962969},

issn = {2169-3536},

year  = {2020},

date = {2020-01-08},

urldate = {2020-01-08},

journal = {IEEE Access},

volume = {8},

pages = {4679--4692},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Monge2020,

title = {CMI: An online multi-objective genetic autoscaler for scientific and engineering workflows in cloud infrastructures with unreliable virtual machines},

author = {David A. Monge and Elina Pacini and Cristian Mateos and Enrique Alba and Carlos García Garino},

doi = {10.1016/j.jnca.2019.102464},

issn = {1084-8045},

year  = {2020},

date = {2020-01-01},

journal = {Journal of Network and Computer Applications},

volume = {149},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{García-Sánchez2020,

title = {Optimizing Hearthstone agents using an evolutionary algorithm},

author = {Pablo García-Sánchez and Alberto Tonda and Antonio J. Fernández-Leiva and Carlos Cotta},

doi = {10.1016/j.knosys.2019.105032},

issn = {0950-7051},

year  = {2020},

date = {2020-01-01},

journal = {Knowledge-Based Systems},

volume = {188},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Durán2020,

title = {Programming and symbolic computation in Maude},

author = {Francisco Durán and Steven Eker and Santiago Escobar and Narciso Martí-Oliet and José Meseguer and Rubén Rubio and Carolyn Talcott},

doi = {10.1016/j.jlamp.2019.100497},

issn = {2352-2208},

year  = {2020},

date = {2020-01-01},

journal = {Journal of Logical and Algebraic Methods in Programming},

volume = {110},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Benítez-Hidalgo2019,

title = {jMetalPy: A Python framework for multi-objective optimization with metaheuristics},

author = {Antonio Benítez-Hidalgo and Antonio J. Nebro and José García-Nieto and Izaskun Oregi and Javier Del Ser},

doi = {10.1016/j.swevo.2019.100598},

issn = {2210-6502},

year  = {2019},

date = {2019-12-01},

journal = {Swarm and Evolutionary Computation},

volume = {51},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ayala2019,

title = {A goal-driven software product line approach for evolving multi-agent systems in the Internet of Things},

author = {Inmaculada Ayala and Mercedes Amor and José Miguel Horcas and Lidia Fuentes},

doi = {10.1016/j.knosys.2019.104883},

issn = {0950-7051},

year  = {2019},

date = {2019-11-15},

urldate = {2019-11-15},

journal = {Knowledge-Based Systems},

volume = {184},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Cintrano2019,

title = {Facing robustness as a multi-objective problem: A bi-objective shortest path problem in smart regions},

author = {Christian Cintrano and Francisco Chicano and Enrique Alba},

doi = {10.1016/j.ins.2019.07.014},

issn = {0020-0255},

year  = {2019},

date = {2019-11-01},

urldate = {2019-11-01},

journal = {Information Sciences},

volume = {503},

pages = {255--273},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Domínguez-Ríos2019,

title = {Efficient anytime algorithms to solve the bi-objective Next Release Problem},

author = {Miguel Ángel Domínguez-Ríos and Francisco Chicano and Enrique Alba and Isabel del Águila and José del Sagrado},

doi = {10.1016/j.jss.2019.06.097},

issn = {0164-1212},

year  = {2019},

date = {2019-10-01},

journal = {Journal of Systems and Software},

volume = {156},

pages = {217--231},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Abdelhafez2019b,

title = {A component-based study of energy consumption for sequential and parallel genetic algorithms},

author = {Amr Abdelhafez and Enrique Alba and Gabriel Luque},

doi = {10.1007/s11227-019-02843-4},

issn = {1573-0484},

year  = {2019},

date = {2019-10-01},

journal = {J Supercomput},

volume = {75},

number = {10},

pages = {6194--6219},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Capilla2019,

title = {Software variability in dynamic environments},

author = {Rafael Capilla and Lidia Fuentes and Malte Lochau},

doi = {10.1016/j.jss.2019.06.003},

issn = {0164-1212},

year  = {2019},

date = {2019-10-01},

journal = {Journal of Systems and Software},

volume = {156},

pages = {62--64},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Abdelhafez2019,

title = {Performance analysis of synchronous and asynchronous distributed genetic algorithms on multiprocessors},

author = {Amr Abdelhafez and Enrique Alba and Gabriel Luque},

doi = {10.1016/j.swevo.2019.06.003},

issn = {2210-6502},

year  = {2019},

date = {2019-09-01},

journal = {Swarm and Evolutionary Computation},

volume = {49},

pages = {147--157},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Durán2019,

title = {A rewriting logic approach to resource allocation analysis in business process models},

author = {Francisco Durán and Camilo Rocha and Gwen Salaün},

doi = {10.1016/j.scico.2019.102303},

issn = {0167-6423},

year  = {2019},

date = {2019-09-01},

journal = {Science of Computer Programming},

volume = {183},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Camero2019,

title = {Waste generation prediction under uncertainty in smart cities through deep neuroevolution},

author = {Andrés Camero and Jamal Toutouh and Javier Ferrer and Enrique Alba},

doi = {10.17533/udea.redin.20190736},

issn = {2422-2844},

year  = {2019},

date = {2019-08-23},

journal = {Rev.Fac.Ing.Univ.Antioquia},

number = {93},

pages = {128--138},

publisher = {Universidad de Antioquia},

abstract = {The unsustainable development of countries has created a problem due to the unstoppable waste generation. Moreover, waste collection is carried out following a pre-defined route that does not take into account the actual level of the containers collected. Therefore, optimizing the way the waste is collected presents an interesting opportunity. In this study, we tackle the problem of predicting the waste generation ratio in real-world conditions, i.e., under uncertainty. Particularly, we use a deep neuroevolutionary technique to automatically design a recurrent network that captures the filling level of all waste containers in a city at once, and we study the suitability of our proposal when faced to noisy and faulty data. We validate our proposal using a real-world case study, consisting of more than two hundred waste containers located in a city in Spain, and we compare our results to the state-of-the-art. The results show that our approach exceeds all its competitors and that its accuracy in a real-world scenario, i.e., under uncertain data, is good enough for optimizing the waste collection planning.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Macías2019,

title = {Multilevel coupled model transformations for precise and reusable definition of model behaviour},

author = {Fernando Macías and Uwe Wolter and Adrian Rutle and Francisco Durán and Roberto Rodriguez-Echeverria},

doi = {10.1016/j.jlamp.2018.12.005},

issn = {2352-2208},

year  = {2019},

date = {2019-08-01},

journal = {Journal of Logical and Algebraic Methods in Programming},

volume = {106},

pages = {167--195},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Arellano-Verdejo2019,

title = {Optimal allocation of public parking spots in a smart city: problem characterisation and first algorithms},

author = {Javier Arellano-Verdejo and Federico Alonso-Pecina and Enrique Alba and Adolfo Guzmán Arenas},

doi = {10.1080/0952813x.2019.1591522},

issn = {1362-3079},

year  = {2019},

date = {2019-07-04},

journal = {Journal of Experimental & Theoretical Artificial Intelligence},

volume = {31},

number = {4},

pages = {575--597},

publisher = {Informa UK Limited},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rodríguez2019,

title = {Executing Multilevel Domain-Specific Models in Maude.},

author = {Alejandro Rodríguez and Francisco Durán and Adrian Rutle and Lars Michael Kristensen},

doi = {10.5381/jot.2019.18.2.a4},

issn = {1660-1769},

year  = {2019},

date = {2019-07-01},

journal = {JOT},

volume = {18},

number = {2},

publisher = {AITO - Association Internationale pour les Technologies Objets},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{deFuentes2018,

title = {Editorial: Security and Privacy in Internet of Things},

author = {José M. de Fuentes and Lorena Gonzalez-Manzano and Javier Lopez and Pedro Peris-Lopez and Kim-Kwang Raymond Choo},

doi = {10.1007/s11036-018-1150-8},

issn = {1572-8153},

year  = {2019},

date = {2019-06-15},

urldate = {2019-06-15},

journal = {Mobile Netw Appl},

volume = {24},

number = {3},

pages = {878--880},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{RosarioEspada2019,

title = {A formal approach to automatically analyse extra‐functional properties in mobile applications},

author = {Ana Rosario Espada and María-del-Mar Gallardo and Alberto Salmerón and Laura Panizo and Pedro Merino},

doi = {10.1002/stvr.1699},

issn = {1099-1689},

year  = {2019},

date = {2019-06-14},

urldate = {2019-06-14},

journal = {Software Testing Verif & Rel},

volume = {29},

number = {4-5},

publisher = {Wiley},

abstract = {<jats:title>Summary</jats:title><jats:p>This paper presents an integrated approach for testing mobile applications (apps) against a set of extra‐functional properties to be used by app developers. The approach starts with the (manual or automatic) extraction of the interaction model, that is, a formal model of the potential user interactions with the app. The model is constructed to allow a model checking tool to exhaustively extract the so‐called app user flows, that is, the sequences of user actions, that constitute the test cases. In the final step, the app user flows are executed on the app running on real devices. The resulting execution traces are enriched with different measures and verified against a set of extra‐functional properties of interest. The approach has been adapted to analyse several applications running at the same time with several devices supporting the applications. This paper presents the definition and formalization of both the modelling language for the interaction model and the specification language to represent the extra‐functional properties. It also describes a methodology for automatically extracting the model. Finally, it presents an implementation focused on Android apps, which is integrated in the TRIANGLE testing framework, and the evaluation of the approach. © 2019 The Authors. <jats:italic>Software Testing, Verification & Reliability</jats:italic> Published by John Wiley & Sons Ltd.</jats:p>},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Gomez-Sanz2019,

title = {Teaching Experiences in Academia to Understand the Impact of Smart Cities},

author = {Jorge J. Gomez-Sanz and Enrique Alba and Jose M. Fernandez-Guell},

doi = {10.1109/iotm.001.1900015},

issn = {2576-3199},

year  = {2019},

date = {2019-06-01},

journal = {IEEE Internet Things M.},

volume = {2},

number = {2},

pages = {20--24},

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Cotta2018,

title = {New perspectives on the optimal placement of detectors for suicide bombers using metaheuristics},

author = {Carlos Cotta and José E. Gallardo},

doi = {10.1007/s11047-018-9710-1},

issn = {1572-9796},

year  = {2019},

date = {2019-06-01},

journal = {Nat Comput},

volume = {18},

number = {2},

pages = {249--263},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}