output
20032026
most citedPositron lifetime calculation of the elements of the periodic table

256 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2023Show all

9 papers · 1 filter

cs.SE2023★ 20 cited

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming

Jon Ayerdi, Valerio Terragni, Gunel Jahangirova +2

Metamorphic testing is a popular approach that aims to alleviate the oracle problem in software testing. At the core of this approach are Metamorphic Relations (MRs), specifying pr…

cs.HC2023★ 8 cited

Exploring the transformation of user interactions to Adaptive Human-Machine Interfaces

Angela Carrera-Rivera, Daniel Reguera-Bakhache, Felix Larrinaga +1

Human-machine interfaces (HMI) facilitate communication between humans and machines, and their importance has increased in modern technology. However, traditional HMIs are often st…

cs.SE2023★ 12 cited

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems

Jon Ayerdi, Asier Iriarte, Pablo Valle +3

Autonomous Driving Systems (ADSs) are complex Cyber-Physical Systems (CPSs) that must ensure safety even in uncertain conditions. Modern ADSs often employ Deep Neural Networks (DNN…

physics.optics2023

On the origin of the Kerker phenomena

Jon Lasa-Alonso, Chiara Devescovi, Carlos Maciel-Escudero +2

We provide an insight into the origin of the phenomena reported 40 years ago by Kerker, Wang and Giles (Journal of the Optical Society of America, 73, 6, pp. 765-767, (1983)). We s…

cs.LG2023★ 5 cited

Diagnostic Spatio-temporal Transformer with Faithful Encoding

Jokin Labaien, Tsuyoshi Idé, Pin-Yu Chen +2

This paper addresses the task of anomaly diagnosis when the underlying data generation process has a complex spatio-temporal (ST) dependency. The key technical challenge is to extr…

cs.SE2023★ 3 cited

Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)

Pablo Valle, Aitor Arrieta, Maite Arratibel

Elevator systems are one kind of Cyber-Physical Systems (CPSs), and as such, test cases are usually complex and long in time. This is mainly because realistic test scenarios are em…

cs.CR2023★ 139 cited

Clustered Federated Learning Architecture for Network Anomaly Detection in Large Scale Heterogeneous IoT Networks

Xabier Sáez-de-Cámara, Jose Luis Flores, Cristóbal Arellano +2

There is a growing trend of cyberattacks against Internet of Things (IoT) devices; moreover, the sophistication and motivation of those attacks is increasing. The vast scale of IoT…

quant-ph2023★ 8 cited

Error estimation in current noisy quantum computers

Unai Aseguinolaza, Nahual Sobrino, Gabriel Sobrino +2

One of the main important features of the noisy intermediate-scale quantum (NISQ) era is the correct evaluation and consideration of errors. In this paper, we analyze the main sour…

cs.SE2023★ 9 cited

Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

Pablo Valle, Aitor Arrieta, Maite Arratibel

Real-world Cyber-Physical Systems (CPSs) are usually configurable. Through parameters, it is possible to configure, select or unselect different system functionalities. While this…