Publicacións (14) Publicacións nas que participase algún/ha investigador/a

2015

  1. Adjustable ECR Ion Source Control System: Ion Source Hydrogen Positive Project

    IEEE Transactions on Nuclear Science, Vol. 62, Núm. 3, pp. 903-910

  2. An implementation of a complete methodology for wind energy structures health monitoring

    Emerging Design Solutions in Structural Health Monitoring Systems (IGI Global), pp. 274

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

    Proceedings of the ACM Symposium on Applied Computing

  4. 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

  5. Kernel hautapen dinamikoa Optimizazio Bayesiarrean

    I. IkergazteNazioarteko ikerketa euskaraz. Kongresuko artikulu-bilduma: 2015eko maiatzaren 13, 14 eta 15a. Durango, Euskal Herria

  6. Knowledge-based personal health system to empower outpatients of diabetes mellitus by means of p4 medicine

    Methods in Molecular Biology, Vol. 1246, pp. 237-257

  7. Model query translator: A model-level query approach for large-scale models

    MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings

  8. Model transformation by example driven ATL transformation rules development using model differences

    Communications in Computer and Information Science

  9. Model-based verification of safety contracts

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  10. Reuse in Safety Critical Systems: Educational Use Case Final Results

    Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015

  11. Run-time variability for context-aware smart workflows

    IEEE Software, Vol. 32, Núm. 3, pp. 52-60

  12. Runtime translation of model-level queries to persistence-level

    Communications in Computer and Information Science

  13. Sistema Ziber-Fisiko Aldakorrak: Analisia, Kudeaketa eta Simulazioa

    I. IkergazteNazioarteko ikerketa euskaraz. Kongresuko artikulu-bilduma: 2015eko maiatzaren 13, 14 eta 15a. Durango, Euskal Herria

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

    ACM International Conference Proceeding Series