| 2022 | EDCC | Multidimensional Framework for Characterizing Verification and Validation of Automated Systems. | Joseba Andoni Agirre, Ahmet Yazici, Katia Di Blasio, Jose Luis de la Vara, Behrooz Sangchoolie, Ugur Yayan, Raul Barbosa, Leire Etxeberria, Massimo Nazaria, Mustafa Karaca |
| 2020 | ISSRE | CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker. | Miren Illarramendi Rezabal, Leire Etxeberria, Felix Larrinaga, Goiuria Sagardui |
| 2020 | SAFECOMP | Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins. | Miriam Ugarte Querejeta, Leire Etxeberria, Goiuria Sagardui |
| 2019 | SAC | Test case selection using structural coverage in software product lines for time-budget constrained scenarios. | Urtzi Markiegi, Aitor Arrieta, Leire Etxeberria, Goiuria Sagardui |
| 2019 | SAC | Runtime observable and adaptable UML state machines: models@run.time approach. | Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui |
| 2019 | SPLC | Extended abstract of "spectrum-based fault localization in software product lines". | Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria |
| 2019 | SPLC | White-box and black-box test quality metrics for configurable simulation models. | Urtzi Markiegi, Aitor Arrieta, Leire Etxeberria, Goiuria Sagardui |
| 2018 | GECCO | Multi-objective black-box test case selection for cost-effectively testing simulation models. | Aitor Arrieta, Shuai Wang, Ainhoa Arruabarrena, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria |
| 2018 | GECCO | Employing multi-objective search to enhance reactive test generation and prioritization for testing industrial cyber-physical systems. | Aitor Arrieta, Shuai Wang, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria |
| 2018 | PROFES | Iterative Prototyping Methodology for the Development of Innovative and Dependable Complex Embedded Systems Through SPC&KPI Techniques. | Patricia Lpez, Jon Mabe, Leire Etxeberria, Eneko Gorritxategi |
| 2017 | CEC | Search-based test case generation for Cyber-Physical Systems. | Aitor Arrieta, Shuai Wang, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria |
| 2017 | ETFA | Enabling co-simulation of smart energy control systems for buildings and districts. | Leire Etxeberria, Felix Larrinaga, Urtzi Markiegi, Aitor Arrieta, Goiuria Sagardui |
| 2017 | ISSRE | A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain. | Goiuria Sagardui, Leire Etxeberria, Joseba Andoni Agirre, Aitor Arrieta, Carlos Fernando Nicols, Jose-Maria Martin |
| 2017 | SAFECOMP | Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts. | Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui |
| 2017 | SPLC | Search-based product line fault detection allocating test cases iteratively. | Urtzi Markiegi, Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria |
| 2016 | GECCO | Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms. | Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria |
| 2016 | SPLC | Search-based test case selection of cyber-physical system product lines for simulation-based validation. | Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria |
| 2015 | MODELSWARD | Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain. | Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria |
| 2015 | SPLC | Test control algorithms for the validation of cyber-physical systems product lines. | Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria |
| 2014 | ETFA | Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems. | Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria |
| 2014 | ICSoft | Transevol - A Tool to Evolve Legacy Model Transformations by Example. | Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria |
| 2014 | ICSoft | Model Transformation by Example Driven ATL Transformation Rules Development Using Model Differences. | Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria |
| 2013 | MODELS | Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development. | Joseba Andoni Agirre, Leire Etxeberria, Goiuria Sagardui |
| 2010 | SPLC | MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines. | Lorea Belategi, Goiuria Sagardui, Leire Etxeberria |
| 2008 | ICSR | Quality Assessment in Software Product Lines. | Leire Etxeberria, Goiuria Sagardui Mendieta |
| 2008 | SPLC | Variability Driven Quality Evaluation in Software Product Lines. | Leire Etxeberria, Goiuria Sagardui Mendieta |
| 2005 | SPLC | Product-Line Architecture: New Issues for Evaluation. | Leire Etxeberria, Goiuria Sagardui Mendieta |