Goiuria Sagardui Mendieta

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker.

[BibT_eX]

[DOI]

Felix Larrinaga

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

QoS-aware Metamorphic Testing: An Elevation Case Study.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Seeding strategies for multi-objective test case selection: an application on simulation-based testing.

[BibT_eX]

[DOI]

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

2019

Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

Pareto efficient multi-objective black-box test case selection for simulation-based testing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2019

MDE based IoT Service to enhance the safety of controllers at runtime.

[BibT_eX]

[DOI]

Felix Larrinaga

Jose Maria Perez

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.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Extended abstract of "spectrum-based fault localization in software product lines".

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Runtime observable and adaptable UML state machines: models@run.time approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

TRILATERAL: A Model-Based Approach for Industrial CPS - Monitoring and Control.

[BibT_eX]

[DOI]

Markel Iglesias-Urkia

Aitziber Iglesias

Beatriz López-Davalillo

Santiago Charramendieta

Diego Casado-Mansilla

Aitor Urbieta

Proceedings of the Model-Driven Engineering and Software Development, 2019

2018

Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2018

Spectrum-based fault localization in software product lines.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Employing multi-objective search to enhance reactive test generation and prioritization for testing industrial cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Multi-objective black-box test case selection for cost-effectively testing simulation models.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

Automatic generation of test system instances for configurable cyber-physical systems.

[BibT_eX]

[DOI]

Softw. Qual. J., 2017

Search-based product line fault detection allocating test cases iteratively.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2017

GSN Support of Mixed-Criticality Systems Certification.

[BibT_eX]

[DOI]

Carlos Fernando Nicolás

Proceedings of the Computer Safety, Reliability, and Security, 2017

A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain.

[BibT_eX]

[DOI]

Carlos Fernando Nicolás

Jose-Maria Martin

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

A CAN Restbus HiL Elevator Simulator Based on Code Reuse and Device Para-Virtualization.

[BibT_eX]

[DOI]

Carlos Fernando Nicolás

Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Action Research for Improving System Engineering Teaching in Embedded Systems Master.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Search-based test case generation for Cyber-Physical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Supporting CRUD Model Operations from EOL to SQL.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2016, 2016

Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20, 2016

Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Run-Time Variability for Context-Aware Smart Workflows.

[BibT_eX]

[DOI]

IEEE Softw., 2015

Test control algorithms for the validation of cyber-physical systems product lines.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Dynamic variability support in workflow-based systems: an evaluation of the LateVa framework.

[BibT_eX]

[DOI]

Aitor Murguzur

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Runtime Translation of Model-Level Queries to Persistence-Level.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2015

Model Query Translator - A Model-level Query Approach for Large-scale Models.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2015, 2015

Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2015, 2015

2014

Embedded software product lines: domain and application engineering model-based analysis processes.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2014

Process Flexibility in Service Orchestration: A Systematic Literature Review.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2014

Performance-based selection of software and hardware features under parameter uncertainty.

[BibT_eX]

[DOI]

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

On the Support of Multi-perspective Process Models Variability for Smart Environments.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

MQT, an Approach for Run-Time Query Translation: From EOL to SQL.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Scalable Model Edition, Query and Version Control Through Embedded Database Persistence.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of MODELS 2014 Poster Session and the ACM Student Research Competition (SRC) co-located with the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014

Model Transformation by Example Driven ATL Transformation Rules Development Using Model Differences.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Transevol - A Tool to Evolve Legacy Model Transformations by Example.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-EA 2014, 2014

Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Context-Aware Staged Configuration of Process Variants@Runtime.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2014

2013

Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Process Variability through Automated Late Selection of Fragments.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2013

2011

Model based analysis process for embedded software product lines.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software and Systems Process, 2011

2010

MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

2008

Quality aware Software Product Line Engineering.

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2008

Variability Driven Quality Evaluation in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 12th International Conference, 2008

Quality Assessment in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

Evaluation of Quality Attribute Variability in Software Product Families.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

Quantifying Maintainability in Feature Oriented Product Lines.

[BibT_eX]

[DOI]

Oscar Díaz

Proceedings of the 12th European Conference on Software Maintenance and Reengineering, 2008

2007

Modelling Variation in Quality Attributes.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Composition Management Interfaces for a Predictable Assembly.

[BibT_eX]

[DOI]

Xabier Aretxandieta

Franck Barbier

Proceedings of the Software Composition - 6th International Symposium, 2007

Tracking the Evolution of Feature Oriented Product Lines.

[BibT_eX]

[DOI]

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

2006

Experience Measuring Maintainability in Software Product Lines.

[BibT_eX]

Oscar Díaz

Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

A Self-Healing Mechanism for State Machine Based Components.

[BibT_eX]

[DOI]

Alberto Izaguirre

Proceedings of the I. International Conference on Ubiquitous Computing: Applications, 2006

2005

The ADOV Method: an Experience in Selecting the Relevant Views of an Architecture in a SME.

[BibT_eX]

[DOI]

Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Product-Line Architecture: New Issues for Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 9th International Conference, 2005

2nd International Workshop on Incorporating COTS into Software Systems: Assessment and Prediction of Behavior and QoS Attributes of COTS Software Components and Systems.

[BibT_eX]

[DOI]

Franck Barbier

Xabier Aretxandieta

Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005

2000

Domain Potential Analysis: Calling the Attention on Business Issues of Product-Lines.

[BibT_eX]

[DOI]

Sergio Bandinelli