E.T.S.I. DE INFORMÁTICA

2016

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

   ACM International Conference Proceeding Series

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

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

   Journal of Systems and Software

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

5. 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)

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

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

7. Expressing Measurement Uncertainty in Software Models

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

8. Expressing measurement uncertainty in software models

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

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

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

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

11. Privacy-aware trust negotiation

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

12. Stability-based adaptation of asynchronously communicating software

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

13. 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)

14. Towards contractual interfaces for reusable functional quality attribute operationalisations

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

15. Towards distributed model transformations with LinTra

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

16. 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)

17. 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)

18. Towards the dynamic reconfiguration of quality attributes

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

19. Using SPL to develop AAL systems based on self-adaptive agents

    Advances in Intelligent Systems and Computing

20. Using models at runtime to adapt self-managed agents for the IoT

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