Conference papers (17)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2018 Remove filter
filter_list Type (aggr.) Conference papers 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. 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)

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

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

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

    ACM International Conference Proceeding Series

  7. How can metaheuristics help software engineers?

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

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

    ACM International Conference Proceeding Series

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

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

    Frontiers in Artificial Intelligence and Applications

  11. Model finding and model completion with use

    CEUR Workshop Proceedings

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

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

  14. Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT

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

  15. TRIANGLE: A Platform to Validate 5G KPIs in End to End scenarios

    IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD

  16. TRIANGLE: a Platform to Validate 5G KPIs in End to End scenarios

    2018 IEEE 23RD INTERNATIONAL WORKSHOP ON COMPUTER AIDED MODELING AND DESIGN OF COMMUNICATION LINKS AND NETWORKS (CAMAD)

  17. Towards a body of knowledge for model-based software engineering

    21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018