• MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems 

      Ayerdi, Jon Joseba; Iriarte, Asier; Valle Entrena, Pablo; Roman Txopitea, Ibai; Illarramendi, Miren; Arrieta, Aitor (ACM, 2024)
      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 (DNNs), which may not produce correct results ...
    • Uncertainty-aware Robustness Assessment of Industrial Elevator Systems 

      Arrieta, Aitor (ACM, 2022)
      Industrial elevator systems are commonly used software systems in our daily lives, which operate in uncertain environments such as unpredictable passenger traffic, uncertain passenger attributes and behaviors, and hardware ...