Irakasleak

IRAKASKUNTZAREN JARDUERA

Emandako irakasgaiak

Zuzendutako Ikasketa Amaierako Proiektuak

Berezko tituluetako irakaskuntza eta formakuntza iraunkorra

AURREKO LAN ESPERIENTZIA

IKERKETAREN JARDUERA

Zuzendutako doktorego tesiak

Ikerketa proiektuak

Argitaratutako artikuluak

Automatic generation of test system instances for configurable cyber-physical systems
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria, Justyna Zander
Software Quality Journal. Pp 1–43. First Online 15 September,
2016

A Methodology for Model-based Verification of Safety Contracts and Performance Requirements
Elena Gómez-Martínez , Ricardo J. Rodríguez, Clara Benac Earley, Leire Etxeberria Elorza and Miren Illarramendi Rezabal
Journal of Risk and Reliability: Proceedings of the Institution of Mechanical Engineers, Part O.
2016

Embedded software product lines: domain and application engineering model based analysis processes
Lorea Belategi, Goiuria Sagardui, Leire Etxeberria, Maider Azanza
Journal of Software: Evolution and Process. Special Issue: ICSSP 2011 Special Issue: Processes for Tomorrow's Systems and Software Engineering: An evolving Dynamic Domain. Vol. 26. Nº 4. Pp. 419–433. April,
2014

Quality aware software product line engineering
Leire Etxeberria, Goiuria Sagardui and Lorea Belategi
The Journal of the Brazilian Computer Society. Special Issue on Software Reuse: Methods, Processes, Tools and Experiences. Vol 14. N° 1. March,
2008

Produktu-lerroak, sofwarea garatzeko paradigma berria
X. Aretxandieta, L. Etxeberria, G. Sagardui
Elhuyar zientzia eta teknika. N°201. Pg.38-41. Septiembre,
2004

Liburu edo liburuen kapituluen argitalpena

Model Transformation by Example Driven ATL Transformation Rules Development Using Model Differences
Joseba A. Agirre, Goiuria Sagardui, Leire Etxeberria 2015

Model-based verification of safety contracts
Elena Gomez-Martinez, Ricardo Rodriguez, Leire Etxeberria, Miren Illarramendi, Clara Benac Earle 2014

Generación de código ANSI-C de modelos de componentes UML para sistemas embebidos
Goiuria Sagardui, Leire Etxeberria, Joseba Aguirre 2013

Calidad en las líneas de producto software
Goiuria Sagardui, Leire Etxeberria, Gentzane Aldekoa, Joseba Aguirre 2010

Kongresu eta Konferentzietako komunikazioak

Search-based product line fault detection allocating test cases iteratively
Urtzi Markiegi, Aitor Arrieta, Goiuria Sagardui and Leire Etxeberria
Systems and Software Product Line Conference (SPLC). Sevilla. 25-29 September,
2017

Increasing dependability in Safety Critical CPSs using Reflective Statecharts
Miren Illarramendi, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui
12th International ERCIM/EWICS/ARTEMIS Workshop on “Dependable Smart Embedded and Cyber-physical Systems and Systems-of- Systems” at the International Conference on Computer Safety, Reliability, and Security (SAFECOMP) (DECSoS ’17)Trento. 12 September,
2017

Search-Based Test Case Generation for Cyber-Physical Systems
Aitor Arrieta, Shuai Wangy, Urtzi Markiegi, Goiuria Sagardui and Leire Etxeberria
Proceedings of the IEEE Congress on Evolutionary Computation (CEC). Donostia - San Sebastián. 5-8 June 5-8,
2017

Enabling Co-Simulation of Smart Energy Control Systems for Buildings and Districts
Leire Etxeberria, Felix Larrinaga, Urtzi Markiegi, Aitor Arrieta, Goiuria Sagardui
22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA). Limassol. 12-15 September,
2017

Action Research for improving System Engineering teaching in Embedded Systems Master
Leire Etxeberria, Xabier Elkorobarrutia and Goiuria Sagardu
Euromicro Conference on Software Engineering and Advanced Applications. Viena. 30 August 1 September,
2017

Search-Based Test Case Selection of Cyber-Physical System Product Lines for Simulation-Based Validation
Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria
Proceedings of the 20th International Systems and Software Product Line Conference. Beijing. 16 - 23 September. Pp. 297-306. New York: ACM,
2016

Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms
Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria
GECCO '16 Proceedings of the Genetic and Evolutionary Computation Conference, 2016. Pp. 1053-1060. New York: ACM,
2016

Reliability-Aware Design Specification for Allowing Reuse-Based Reliability Level Increment
Patricia López, Leire Etxeberria, Xabier Elkorobarrutia
ICSEA 2015, the Thenth International Conference on Software Engineering Advances . Barcelona. 15-20 November. IARIA,
2015

Cyber-Physical Systems Product Lines : Variability Analysis and Challenges
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria
Actas Jornadas Computación Empotrada SARTECO. VI Jornadas de Computación Empotrada (JCE). Córdoba. 23- 25 Septiembre,
2015

Variability in Test Systems: Review and Challenges
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria
The Seventh International Conference on Advances in System Testing and Validation Lifecycle (VALID). Barcelona. 5-10 November. Proceedings. IARIA,
2015

Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta : simulazioa
A. Arrieta, G. Sagardui, L. Etxeberria
IkerGazte. Durango. Maiatzak 13-15. Pp. 646-654. Udako Euskal Unibertsitatea,
2015

Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain
Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria
Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD). Angers. 9 - 11 February. Pp. 437-448,
2015

Reuse in Safety Critical Systems: Educational Use Case Final Results
Miren Illarramendi, Leire Etxeberria, Xabier Elkorobarrutia
Proceedings 41st Euromicro Conference on Software Engineering and Advanced Applications. Funchal. 26-28 August. Pp.290 - 297. Piscataway, NJ: IEEE,
2015

Test Control Algorithms for the Validation of Cyber-Physical Systems Product Lines
Aitor Arrieta, Goiuria Sagardui and Leire Etxeberria
Proceedings of the 19th International Software Product Line Conference: New Directions in Systems and Software Product Line Engineering. Nashville, TN USA. 20-24 July. New York: ACM,
2015

Transevol - A Tool to Evolve Legacy Model Transformations by Example
Joseba A. Agirre, Goiuria Sagardui, Leire Etxeberria
9th International Joint Conference on Software Technologies (ICSOFT). Vienna. 03-05 September. Pp. 234-245,
2014

Performance-based selection of software and hardware features under parameter uncertainty
Leire Etxeberria, Catia Trubiani, Vittorio Cortellessa, Goiuria Sagardui
Proceeding QoSA '14. Proceedings of the 10th International ACM Sigsoft Conference on Quality of software architectures. Pp. 23-32,
2014

Reuse in safety critical systems : educational use case first experiences
Miren Illarramendi, Leire Etxeberria, Xabier Elkorobarrutia
EUROMICRO DSD/SEAA, Euromicro Conference series on Software Engineering and Advanced Applications (SEAA) and Euromicro Conference on Digital System Design (DSD). Verona. 27-29 Agosto. Pp. 417-422. Ed. IEEE,
2014

Reuse in safety critical systems : TCMS railway use case first experiences
Miren Illarramendi, Leire Etxeberria, Xabier Elkorobarrutia
Actas de las V Jornadas de Computación Empotrada. Valladolid. 17-19 Septiembre. Valladolid,
2014

Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19. Pp. 1-8. IEEE,
2014

A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria
VALID 2014. The Sixth International Conference on Advances in System Testing and Validation : Lifecycle. October 12 - 16. Nice, France. Editors, Teemu Kanstrén, Philipp Helle. Pp. 66-73,
2014

A comparative on variability modelling and management approaches in Simulink for embedded systems
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria
Actas de las V Jornadas de Computación Empotrada. Valladolid. 17-19 Septiembre. Valladolid,
2014

A configurable test architecture for the automatic validation of variability-intensive cyber-physical systems
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria
9th International Conference on Software Engineering Advances (ICSEA). Nice, France. 12-16 October. Proceedings of a meeting held 12-16 October 2014, Nice, France. Held at SoftNet,
2014

Embedded software product lines : domain and application engineering Model-based analysis processes
Lorea Belategi, Goiuria Sagardui, Leire Etxeberria, Maider Azanza
XVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD). Madrid 17-20 Septiembre,
2013

Early estimation of quality attributes in multi-core systems
Goiuria Sagardui, Leire Etxeberria, Txema Perez, Joseba Andoni Agirre
Actas de las IV Jornadas de Computación Empotrada (JCE). Madrid. 17-20 septiembre,
2013

Automatic impact analysis of software architecture migration on model driven software development
Joseba Agirre, Leire Etxeberria, Goiuria Sagardui
Model-Driven Engineering Languages and Systems. Proceedings of the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems. Miami. 29 September- 4 October,
2013

Análisis de técnicas para la reutilización de componentes SW para sistemas embebidos críticos

Actas de las IV Jornadas de Computación Empotrada, dentro del CEDI (IV Congreso Español de informática). Madrid. 17-20 Septiembre,
2013

Reuse in safety critical systems : educational use case
Miren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Santander. 4-6 September,
2013

A Flexible Model Driven Software development Process For Component Based Embedded Control Systems
Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria
Actas de las III Jornadas de Computación Empotrada (JCE). Elche. 19-21 de Septiembre,
2012

Variability management in testing architectures for embedded control systems
Goiuria Sagardui, Leire Etxeberria, Joseba A. Agirre
4th International Conference on Advances in System Testing and Validation Lifecycle (VALID). Lisboa. 18-23 November,
2012

SafeCer: safety certification of software intensive systems
Miren Illarramendi, Xabier Elkorobarrutia, Leire Etxeberria
XIV Congreso de confiabilidad, libro de ponencias Madrid, 27 y 28 de noviembre de 2012. Madrid: Asociación Española para la Calidad,
2012

Towards quality evaluation in embedded model driven incremental product lines: analyzing performance
Lorea Belategi, Joseba Andoni Agirre, Leire Etxeberria, Goiuria Sagardui, Maider Azanza
Actas de las XVI Jornadas de Ingeniería del Software y Bases de Datos, Servizo de Publicacións da Universidade da Coruña, A Coruña (España), A Coruña. 5- 7 Septiembre,
2011

Variability issues in MARTE for SPL Model Analysis
L. Belategi, G. Sagardui, J. A. Agirre, L. Etxeberria
Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos. Vol. 2. Pp. 117-125,
2011

Model based analysis process for embedded software product lines
L. Belategi, G. Sagardui, L. Etxeberria
Proceedings of the International Conference on Software and Systems Process (ICSSP'11). Honolulu, Hawai. 21-23 May, pp. 53-62
2011

MARTE mechanisms to model variability when analyzing embedded software product lines
L. Belategi, G. Sagardui, L. Etxeberria
14th International Software Product Line Conference 2010 (SPLC 2010). Jeju Island, South Korea. 13-17 September. Pp 466-470. Springer,
2010

Variability management in embedded product line analysis
L. Belategi, G. Sagardui and L. Etxeberria
The Second International Conference on Advances in System Testing and Validation Lifecycle : VALID 2010 : 22-27 August 2010, Nice, France : proceedings,
2010

Plataforma DSDM para la generación de software Basado en componentes en entornos empotrados
Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria
XV Jornadas de Ingeniería del Software y Bases de Datos, Actas. Valencia. 7-10 Septiembre,
2010

Evaluation of quality attribute variability in software product families
Leire Etxeberria, Goiuria Sagardui
15th IEEE International Conference on Engineering of Computer-Based Systems. Belfast. 31 March- 4 April. Pp. 255-264. IEEE,
2008

Quality assessment in software product lines
Leire Etxeberria, Goiuria Sagardui
Quality Assessment in Software Product Line. High Confidence Software Reuse in Large Systems. Proceedings of the 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29. Pp. 178-181. Springer,
2008

Variability driven quality evaluation in software product lines
Leire Etxeberria, Goiuria Sagardui
12th International Conference on Software Product Lines. Limerick, Ireland. 8-12 September. Pp. 243-252. IEEE,
2008

Modelling variation in quality attributes
Leire Etxeberria, Goiuria Sagardui, Lorea Belategi
First International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2007). Limerick, Ireland. January 16-18,
2007

Product line architecture: new issues for evaluation
Leire Etxeberria, Goiuria Sagardui
Software product lines. 9th International Conference, SPLC 2005. Rennes, France. Proceedings, LNCS 3714 Springer. Editors, H. Obbink, K. Pohl. Pp. 174-185. Springer,
2005

On the evolution of the production plan
Gentzane Aldekoa, Goiuria Sagardui, Leire Etxeberria
Proceedings of the Second International Software Product Lines Young Researchers Workshop (SPLYR). Rennes, France.26 September 2005. Editors, B. Geppert, I. John, G. Lami. IESE-Report N° 076.05/E. Pp. 10-18,
2005

Components behaviour specification and validation with abstract state machines
Goiuria Sagardui, Xabier Aretxandieta, Leire Etxeberria
IBIMA Conference on Theory and Practice of Software Engineering (TPSE). Proceedings. El Cairo. 13-15 December,
2005

The ADOV method: an experience in selecting the relevant views of an architecture
Goiuria Sagardui, Gentzane Aldekoa, Leire Etxeberria
SME, WICSA 2005, 5th Working IEEE/IFIP Conference on Software Architecture. Pittsburgh, PA. 6-9 November 2005. IEEE Computer Society. ISBN 0-7695-2548-2. Pp. 259-260. IEEE
2005

Architectural evaluation framework for product lines
Leire Etxeberria, Goiuria Sagardui
First International Conference on the Quality of Software Architectures, QoSA 2005. Erfurt, Germany. Proceedings Net.ObjectDays . ISBN 3-9808628-4-4. Pp. 505-512
2005

Batzorde Zientifikoetan partehartzea

Izena: PROGRAM COMMITTEE OF ICSEA 2016 Kargua: MIEMBRO
Zein erakunderen mendean dago: IARIA
Hasiera data: 2016/01/28

Izena: PROGRAM COMMITTEE OF THE POSTER TRACK OF WOMENCOURAGE 2015 Kargua: MIEMBRO
Zein erakunderen mendean dago: ACM
Hasiera data: 2015/04/05

Izena: COMITÉ DE PROGRAMA DE LAS JORNADAS DE COMPUTACIÓN EMPOTRADA - JCE Kargua: MIEMBRO
Zein erakunderen mendean dago: SARTECO (SOCIEDAD DE ARQUITECTURA Y TECNOLOGÍA DE LOS COMPUTADORES)
Hasiera data: 2013/01/04

Izena: TECHNICAL PROGRAM COMMITTEE OF THE INTERNATIONAL CONFERENCE ON ADVANCES IN SYSTEM TESTING AND VALIDATION LIFECYCLE -VALID Kargua: MIEMBRO
Zein erakunderen mendean dago: IARIA
Hasiera data: 2011/01/04

Izena: COMISIÓN ACADÉMICA DEL PROGRAMA DE DOCTORADO (CAPD) Kargua: MIEMBRO
Zein erakunderen mendean dago: MONDRAGON GOI ESKOLA POLITEKNIKOA
Hasiera data: 2010/09/01

I+G+Bko jardueren antolakuntzan esperientzia

I+G+Bko artikulu eta proiektuen berrikuspen eta ebaluazioan esperientzia

AURREKO LAN ESPERIENTZIA