Leire Etxeberria Elorza

Orcid: 0000-0002-4846-2007

According to our database1, Leire Etxeberria Elorza authored at least 50 papers between 2005 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Multidimensional Framework for Characterizing Verification and Validation of Automated Systems.
Proceedings of the 18th European Dependable Computing Conference, 2022

2021
The VALU3S ECSEL project: Verification and validation of automated systems safety and security.
Microprocess. Microsystems, November, 2021

Dynamic test prioritization of product lines: An application on configurable simulation models.
Softw. Qual. J., 2021

Implementation of Digital Twin-based Virtual Commissioning in Machine Tool Manufacturing.
Proceedings of the 3rd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2022), Virtual Event / Upper Austria University of Applied Sciences - Hagenberg Campus, 2021

2020
Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019
Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines.
J. Syst. Softw., 2019

Pareto efficient multi-objective black-box test case selection for simulation-based testing.
Inf. Softw. Technol., 2019

MDE based IoT Service to enhance the safety of controllers at runtime.
Proceedings of the STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15, 2019

White-box and black-box test quality metrics for configurable simulation models.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Extended abstract of "spectrum-based fault localization in software product lines".
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Runtime observable and adaptable UML state machines: models@run.time approach.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Test case selection using structural coverage in software product lines for time-budget constrained scenarios.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018
Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems.
IEEE Trans. Ind. Informatics, 2018

Low Cost Photonic Sensor for in-Line Oil Quality Monitoring: Methodological Development Process towards Uncertainty Mitigation.
Sensors, 2018

Spectrum-based fault localization in software product lines.
Inf. Softw. Technol., 2018

Iterative Prototyping Methodology for the Development of Innovative and Dependable Complex Embedded Systems Through SPC&KPI Techniques.
Proceedings of the Product-Focused Software Process Improvement, 2018

Employing multi-objective search to enhance reactive test generation and prioritization for testing industrial cyber-physical systems.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Multi-objective black-box test case selection for cost-effectively testing simulation models.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

2017
Automatic generation of test system instances for configurable cyber-physical systems.
Softw. Qual. J., 2017

Search-based product line fault detection allocating test cases iteratively.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts.
Proceedings of the Computer Safety, Reliability, and Security, 2017

A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Action Research for Improving System Engineering Teaching in Embedded Systems Master.
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Enabling co-simulation of smart energy control systems for buildings and districts.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Search-based test case generation for Cyber-Physical Systems.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016
Search-based test case selection of cyber-physical system product lines for simulation-based validation.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms.
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20, 2016

2015
Test control algorithms for the validation of cyber-physical systems product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain.
Proceedings of the MODELSWARD 2015, 2015

Reuse in Safety Critical Systems: Educational Use Case Final Results.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014
Embedded software product lines: domain and application engineering model-based analysis processes.
J. Softw. Evol. Process., 2014

Model-Based Verification of Safety Contracts.
Proceedings of the Software Engineering and Formal Methods, 2014

Performance-based selection of software and hardware features under parameter uncertainty.
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Model Transformation by Example Driven ATL Transformation Rules Development Using Model Differences.
Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Transevol - A Tool to Evolve Legacy Model Transformations by Example.
Proceedings of the ICSOFT-EA 2014, 2014

Reuse in Safety Critical Systems: Educational Use Case First Experiences.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Reuse in Safety Critical Systems: Educational Use Case.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2011
Model based analysis process for embedded software product lines.
Proceedings of the International Conference on Software and Systems Process, 2011

2010
MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Plataforma DSDM para la Generación de Software Basado en Componentes en Entornos Empotrados.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

2008
Quality aware Software Product Line Engineering.
J. Braz. Comput. Soc., 2008

Variability Driven Quality Evaluation in Software Product Lines.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Quality Assessment in Software Product Lines.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

Evaluation of Quality Attribute Variability in Software Product Families.
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

2007
Modelling Variation in Quality Attributes.
Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

2005
The ADOV Method: an Experience in Selecting the Relevant Views of an Architecture in a SME.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Product-Line Architecture: New Issues for Evaluation.
Proceedings of the Software Product Lines, 9th International Conference, 2005


  Loading...