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

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

2022

  1. Extended abstract of “Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems”

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  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. 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. TRILATERAL: A Model-Based Approach for Industrial CPS – Monitoring and Control

    Communications in Computer and Information Science

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

    Proceedings of the IEEE International Conference on Requirements Engineering

2019

  1. Industrial cyber-physical system evolution detection and alert generation

    Applied Sciences (Switzerland), Vol. 9, Núm. 8

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

  2. Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC

2017

  1. A CAN restbus HiL elevator simulator based on code reuse and device para-virtualization

    Proceedings - 2017 IEEE 20th International Symposium on Real-Time Distributed Computing, ISORC 2017

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

  3. GSN support of mixed-criticality systems certification

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

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

  5. Product line engineering of monitoring functionality in industrial cyber-physical systems: A domain analysis

    ACM International Conference Proceeding Series

2016

  1. Evaluating embedded relational databases for large model persistence and query

    Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016

  2. Supporting CRUD model operations from EOL to SQL

    MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development

  3. Two-step transformation of model traversal EOL queries for large CDO repositories

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

2015

  1. Dynamic variability support in workflow-based systems: An evaluation of the LateVa framework

    Proceedings of the ACM Symposium on Applied Computing