Publicaciones en las que colabora con Leire Etxeberria Elorza (10)
2022
-
Multidimensional Framework for Characterizing Verification and Validation of Automated Systems
Proceedings - 2022 18th European Dependable Computing Conference, EDCC 2022
2021
-
The VALU3S ECSEL project: Verification and validation of automated systems safety and security
Microprocessors and Microsystems, Vol. 87
2018
-
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
-
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
2015
-
Evolving legacy model transformations to aggregate non functional requirements of the domain
MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings
-
Model transformation by example driven ATL transformation rules development using model differences
Communications in Computer and Information Science
2014
-
Transevol: A tool to evolve legacy model transformations by example
ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications
2013
-
Automatic impact analysis of software architecture migration on model driven software development
CEUR Workshop Proceedings
2012
-
Management in testing architectures for embedded control systems
VALID 2012 - 4th International Conference on Advances in System Testing and Validation Lifecycle
2011
-
Towards quality evaluation in embedded model driven incremental product lines: Analyzing performance
Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011