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 cs.SEShow all

6 papers · 1 filter

cs.SE2025

Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels

Karoline Nylænder, Aitor Arrieta, Shaukat Ali +1

Self-adaptation in maritime autonomous vessels (AVs) enables them to adapt their behaviors to address unexpected situations while maintaining dependability requirements. During the…

cs.SE2024★ 5 cited

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems

Shaukat Ali, Paolo Arcaini, Aitor Arrieta

Foundation models are trained on a large amount of data to learn generic patterns. Consequently, these models can be used and fine-tuned for various purposes. Naturally, studying s…

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.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…

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.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…