Publications (24)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2016 Remove filter
filter_list from 2016 to 2016 Software Engineering

2016

  1. A Systolic Genetic Search for reducing the execution cost of regression testing

    Applied Soft Computing, Vol. 49, pp. 1145-1161

  2. A model-based approach to anomaly detection in software architectures

    ACM International Conference Proceeding Series

  3. A model-driven approach for engineering trust and reputation into software services

    Journal of Network and Computer Applications, Vol. 69, pp. 134-151

  4. Adding uncertainty and units to quantity types in software models

    SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016

  5. An automatic process for weaving functional quality attributes using a software product line approach

    Journal of Systems and Software

  6. Architecture modeling and analysis of security in android systems

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

  7. BH-ShaDe: A Software Tool that Assists Architecture Students in the Ill-Structured Task of Housing Design

    IEEE Transactions on Learning Technologies, Vol. 9, Núm. 3, pp. 244-257

  8. Dynamic multi-objective optimization with jMetal and Spark: A case study

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

  9. Efficient decision-making under uncertainty for proactive self-adaptation

    Proceedings - 2016 IEEE International Conference on Autonomic Computing, ICAC 2016

  10. Expressing Measurement Uncertainty in Software Models

    PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC)

  11. Expressing measurement uncertainty in software models

    Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016

  12. Finding the best compromise between design quality and testing effort during refactoring

    2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016

  13. Green software using aspect orientation for cyber-physical- systems

    MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity

  14. Privacy-aware trust negotiation

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

  15. Stability-based adaptation of asynchronously communicating software

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

  16. Statistical model checking of e-motions domain-specific modeling languages

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

  17. Towards contractual interfaces for reusable functional quality attribute operationalisations

    MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity

  18. Towards distributed model transformations with LinTra

    Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016

  19. Towards generic monitors for object-oriented real-time maude specifications

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

  20. Towards model-based optimisation: Using domain knowledge explicitly

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