Publicaciones (85) Publicaciones en las que ha participado algún/a investigador/a

2015

  1. 6th international workshop on software engineering for E-Learning (ISELEAR15)

    ACM International Conference Proceeding Series

  2. A formal method for parallel genetic algorithms

    Procedia Computer Science

  3. A generic intermediate representation for verification condition generation

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

  4. A liberal type system for functional logic programs

    Mathematical Structures in Computer Science

  5. A methodology for designing energy-aware systems for computational science

    Procedia Computer Science

  6. A methodology for validating cloud models using metamorphic testing

    Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 127-135

  7. A multi-domain incremental analysis engine and its application to incremental resource analysis

    Theoretical Computer Science, Vol. 585, pp. 91-114

  8. A multi-scale modeling approach for software architecture deployment

    Proceedings of the ACM Symposium on Applied Computing

  9. A practical comparator of cost functions and its applications

    Science of Computer Programming, Vol. 111, Núm. P3, pp. 483-504

  10. A semantic approach for designing Assistive Software Recommender systems

    Journal of Systems and Software, Vol. 104, pp. 166-178

  11. A survey on formal active and passive testing with applications to the cloud

    Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 85-93

  12. A syntax-directed model transformation framework based on attribute grammars

    Communications in Computer and Information Science

  13. A zoom-declarative debugger for sequential Erlang programs

    Science of Computer Programming, Vol. 110, pp. 104-118

  14. AROSA 2015 Track Report: Adaptive and reconfigurable service-oriented and component-based applications and architectures

    Proceedings - 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2015

  15. AVERIST: An Algorithmic Verifier for Stability

    Electronic Notes in Theoretical Computer Science, Vol. 317, pp. 133-139

  16. Analysis of asynchronous programs with event-based synchronization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9032, pp. 535-559

  17. Analysis process for context aware applications in pervasive environments

    2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015 - Proceedings

  18. Awakening decentralised real-time collaboration: Re-engineering apache wave into a general-purpose federated and collaborative platform

    Advances in Intelligent Systems and Computing

  19. Building Real-Time Collaborative Applications with a Federated Architecture

    IJIMAI, Vol. 3, Núm. 5, pp. 47-52

  20. BusinessApp: Una aplicación para el aprendizaje del inglés mediante dispositivos móviles en el campo de los negocios

    E-Aesla, Núm. 1