Publications en collaboration avec des chercheurs de IK4-IKERLAN (42)

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

  2. Towards an Advanced Artificial Intelligence Architecture Through Asset Administration Shell and Industrial Data Spaces

    Lecture Notes in Mechanical Engineering

2023

  1. A Generic Interface for x-in-the-Loop Simulations Based on Distributed Co-Simulation Protocol

    IEEE Access, Vol. 11, pp. 5578-5595

  2. METASAT: Modular Model-Based Design and Testing for Applications in Satellites

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

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

  3. Towards Standardized Manufacturing as a Service through Asset Administration Shell and International Data Spaces Connectors

    IECON Proceedings (Industrial Electronics Conference)

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. Towards the implementation of a real-time co-simulation architecture based on distributed co-simulation protocol

    35th Annual European Simulation and Modelling Conference 2021, ESM 2021

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

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

  3. Towards an Asset Administration Shell scenario: A use case for interoperability and standardization in Industry 4.0

    Proceedings of IEEE/IFIP Network Operations and Management Symposium 2020: Management in the Age of Softwarization and Artificial Intelligence, NOMS 2020

  4. UP2DATE: Safe and secure over-The-Air software updates on high-performance mixed-criticality systems

    Proceedings - Euromicro Conference on Digital System Design, DSD 2020

2019

  1. Experimental evaluation of SAFEPOWER architecture for safe and power-efficient mixed-criticality systems

    Journal of Low Power Electronics and Applications, Vol. 9, Núm. 1

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

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

2018

  1. A hypervisor architecture for low-power real-time embedded systems

    Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018

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

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

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC