Kongressbeiträge (10) Publikationen, an denen Forscher/innen teilgenommen haben

2015

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

    Proceedings of the ACM Symposium on Applied Computing

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

  3. Kernel hautapen dinamikoa Optimizazio Bayesiarrean

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

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

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

    Communications in Computer and Information Science

  6. Model-based verification of safety contracts

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

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

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

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

    Communications in Computer and Information Science

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

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

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

    ACM International Conference Proceeding Series