Publications (28)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2018

  1. (An Example for) Formally Modeling Robot Behavior with UML and OCL

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

  2. An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time

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

  3. An extension of TRIANGLE testbed with model-based testing

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

  4. Appdaptivity: An internet of things device-decoupled system for portable applications in changing contexts

    Sensors (Switzerland), Vol. 18, Núm. 5

  5. Computing the parallelism degree of timed BPMN processes

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

  6. Context-dependent reconfiguration of autonomous vehicles in mixed traffic

    Journal of Software: Evolution and Process, Vol. 30, Núm. 4

  7. EARMO: An Energy-Aware Refactoring Approach for Mobile Apps

    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)

  8. Efficient refactoring scheduling based on partial order reduction

    Journal of Systems and Software, Vol. 145, pp. 25-51

  9. Evolution oriented monitoring oriented to security properties for cloud applications

    ACM International Conference Proceeding Series

  10. Exact search-space size for the refactoring scheduling problem

    Automated Software Engineering, Vol. 25, Núm. 2, pp. 195-200

  11. Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant

    Computing, Vol. 100, Núm. 11, pp. 1155-1173

  12. Formalizing Complex Event Processing Systems in Maude

    IEEE Access, Vol. 6, pp. 23222-23241

  13. How can metaheuristics help software engineers?

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

  14. Integrating the common variability language with multilanguage annotations for web engineering

    ACM International Conference Proceeding Series

  15. Measuring the quality of machine learning and optimization frameworks

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

  16. Model driven evolution of an agent-based home energy management system

    Frontiers in Artificial Intelligence and Applications

  17. Model finding and model completion with use

    CEUR Workshop Proceedings

  18. Modelling privacy-aware trust negotiations

    Computers and Security, Vol. 77, pp. 773-789

  19. Runtime Migration of Applications in a Trans-Cloud Environment

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

  20. Self-adaptive energy-efficent applications: The HADAS developing approach

    Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017