Publicacions (71) Publicacions en què ha participat algun/a investigador/a

2016

  1. 7th International Workshop on Software Engineering for E-learning (ISELEAR’16)

    Proceedings, TEEM '16

  2. 7th International workshop on software engineering for elearning (ISELEAR'16)

    ACM International Conference Proceeding Series

  3. A System to Manage Non-Formal Higher Education Activities

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 11, Núm. 3, pp. 205-212

  4. A bigraphical modeling methodology for multi-scale reconfigurable systems

    Proceedings - 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016

  5. A formal passive testing approach to control the integrity of private information in eHealth systems

    Studies in Computational Intelligence

  6. A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

    Software and Systems Modeling, Vol. 15, Núm. 4, pp. 987-1012

  7. A proposal to measure the quality of virtual teaching

    Proceedings, TEEM '16

  8. A system to manage grammatical level tests in the context of language schools

    Journal of Cases on Information Technology, Vol. 18, Núm. 4, pp. 53-69

  9. A systematic approach for performance evaluation using process mining: The POSIDONIA operations case study

    QUDOS 2016 - Proceedings of the 2nd International Workshop on Quality-Aware DevOps, co-located with ISSTA 2016

  10. A web tool for assessment of the quality of digital educational materials

    2016 International Symposium on Computers in Education, SIIE 2016: Learning Analytics Technologies

  11. An adaptation approach for smart buildings

    Proceedings - 18th IEEE International Conference on High Performance Computing and Communications, 14th IEEE International Conference on Smart City and 2nd IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2016

  12. An algorithmic approach to global asymptotic stability verification of hybrid systems

    Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016

  13. An overview of a decision approach for autonomic applications architectural adaptation

    Proceedings - 18th IEEE International Conference on High Performance Computing and Communications, 14th IEEE International Conference on Smart City and 2nd IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2016

  14. Aprender haciendo. Una experiencia en la enseñanza de Ingeniería de Software

    Actas del Congreso Virtual: Avances en Tecnologías, Innovación y Desafíos de la Educación Superior ATIDES 2016

  15. Aprendiendo a hacer presentaciones efectivas en inglés con BusinessApp

    RIED: revista iberoamericana de educación a distancia, Vol. 19, Núm. 1, pp. 41-61

  16. Assessing metaheuristics by means of random benchmarks

    Procedia Computer Science

  17. Attack simulation based software protection assessment method

    2016 International Conference on Cyber Security and Protection of Digital Services, Cyber Security 2016

  18. Automatic media planning: Optimal advertisement placement problems

    2016 IEEE Congress on Evolutionary Computation, CEC 2016

  19. Branching bisimulation games

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

  20. Built-in variant generation and unification, and their applications in Maude 2.7

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