Publications in collaboration with researchers from IK4-IKERLAN (10)

2024

  1. A microservice-based framework for multi-level testing of cyber-physical systems

    Software Quality Journal, Vol. 32, Núm. 1, pp. 193-223

2021

  1. Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: An Industrial Case Study for Elevators Systems

    Proceedings - 2021 IEEE 18th International Conference on Software Architecture Companion, ICSA-C 2021

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

  3. Using regression learners to predict performance problems on software updates: A case study on elevators dispatching algorithms

    Proceedings of the ACM Symposium on Applied Computing

2020

  1. Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems

    Proceedings of the IEEE International Conference on Requirements Engineering

2018

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

2017

  1. A configurable validation environment for refactored embedded software: An application to the vertical transport domain

    Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017

  2. Multiplex: A co-simulation architecture for elevators validation

    Proceedings of the 2017 IEEE International Workshop of Electronics, Control, Measurement, Signals and their Application to Mechatronics, ECMSM 2017