Publicaciones en las que colabora con Miren Illarramendi Rezabal (9)

2022

  1. Digital safety manager: servivio loT para asegurar el buen comportamiento de las máquinas y controles en la fábrica

    Revista DYNA, Vol. 97, Núm. 1, pp. 18-22

  2. Machine learning-based test oracles for performance testing of cyber-physical systems: An industrial case study on elevators dispatching algorithms

    Journal of Software: Evolution and Process, Vol. 34, Núm. 11

2021

  1. Using Machine Learning to Build Test Oracles: An Industrial Case Study on Elevators Dispatching Algorithms

    Proceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021

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

2019

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

    III. Ikergazte. Nazioarteko ikerketa euskaraz. Kongresuko artikulu bilduma

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

    CEUR Workshop Proceedings

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

    IOP Conference Series: Materials Science and Engineering

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

    Proceedings of the ACM Symposium on Applied Computing

2017

  1. Increasing dependability in safety critical CPSs using reflective statecharts

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