Publications dans lesquelles il/elle collabore avec Leire Etxeberria Elorza (66)

2022

  1. Implementation of Digital Twin-based Virtual Commissioning in Machine Tool Manufacturing

    Procedia Computer Science

  2. Multidimensional Framework for Characterizing Verification and Validation of Automated Systems

    Proceedings - 2022 18th European Dependable Computing Conference, EDCC 2022

2021

  1. Dynamic test prioritization of product lines: An application on configurable simulation models

    Software Quality Journal, Vol. 29, Núm. 4, pp. 943-988

  2. La puesta en marcha virtual en la fabricación de máquinas herramienta: encuesta industrial

    Revista DYNA, Vol. 96, Núm. 6, pp. 612-619

  3. The VALU3S ECSEL project: Verification and validation of automated systems safety and security

    Microprocessors and Microsystems, Vol. 87

2020

  1. CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker

    Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020

  2. Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2019

  1. Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen duten UML Egoera Makinak

    III. Ikergazte. Nazioarteko ikerketa euskaraz. Kongresuko artikulu bilduma

  2. Extended abstract of "Spectrum-based fault localization in Software Product Lines"

    ACM International Conference Proceeding Series

  3. MDE based IoT service to enhance the safety of controllers at runtime

    CEUR Workshop Proceedings

  4. Pareto efficient multi-objective black-box test case selection for simulation-based testing

    Information and Software Technology, Vol. 114, pp. 137-154

  5. Prodevelop A Test Automation Case Study from academic research to the real-world tool chain

    Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019

  6. Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems

    IOP Conference Series: Materials Science and Engineering

  7. Runtime observable and adaptable UML State Machines: Models@run.time approach

    Proceedings of the ACM Symposium on Applied Computing

  8. Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines

    Journal of Systems and Software, Vol. 149, pp. 1-34

  9. Test case selection using structural coverage in software product lines for time-budget constrained scenarios

    Proceedings of the ACM Symposium on Applied Computing

  10. White-box and black-box test qality metrics for configurable simulation models

    ACM International Conference Proceeding Series

2018

  1. A methodology for model-based verification of safety contracts and performance requirements

    Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247

  2. Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems

    IEEE Transactions on Industrial Informatics, Vol. 14, Núm. 3, pp. 1055-1066

  3. Entorno de validación configurable para software embebido refactorizado y su aplicación en ascensores

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018