Arloa
1GEP Informazio Sistemak-HAZI-ISI
Argitalpenak (14) Ikertzaileren baten partaidetza izan duten argitalpenak
2015
-
Adjustable ECR Ion Source Control System: Ion Source Hydrogen Positive Project
IEEE Transactions on Nuclear Science, Vol. 62, Núm. 3, pp. 903-910
-
An implementation of a complete methodology for wind energy structures health monitoring
Emerging Design Solutions in Structural Health Monitoring Systems (IGI Global), pp. 274
-
Dynamic variability support in workflow-based systems: An evaluation of the LateVa framework
Proceedings of the ACM Symposium on Applied Computing
-
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
-
Kernel hautapen dinamikoa Optimizazio Bayesiarrean
I. IkergazteNazioarteko ikerketa euskaraz. Kongresuko artikulu-bilduma: 2015eko maiatzaren 13, 14 eta 15a. Durango, Euskal Herria
-
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
-
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
-
Model transformation by example driven ATL transformation rules development using model differences
Communications in Computer and Information Science
-
Model-based verification of safety contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reuse in Safety Critical Systems: Educational Use Case Final Results
Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015
-
Run-time variability for context-aware smart workflows
IEEE Software, Vol. 32, Núm. 3, pp. 52-60
-
Runtime translation of model-level queries to persistence-level
Communications in Computer and Information Science
-
Sistema Ziber-Fisiko Aldakorrak: Analisia, Kudeaketa eta Simulazioa
I. IkergazteNazioarteko ikerketa euskaraz. Kongresuko artikulu-bilduma: 2015eko maiatzaren 13, 14 eta 15a. Durango, Euskal Herria
-
Test control algorithms for the validation of cyber-physical systems product lines
ACM International Conference Proceeding Series