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

2019

  1. A Framework for Modeling Cloud Infrastructures and User Interactions

    IEEE Access, Vol. 7, pp. 43269-43285

  2. A Transformational Approach to Resource Analysis with Typed-norms Inference

    Theory and Practice of Logic Programming

  3. A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications

    Software and Systems Modeling, Vol. 18, Núm. 6, pp. 3577-3614

  4. A bibliometric approach to the analysis of the Technologically-Enhanced Language Learning (TELL) literature

    ARGENTINIAN JOURNAL OF APPLIED LINGUISTICS, Vol. 7, Núm. 2, pp. 8-33

  5. A core Erlang semantics for declarative debugging

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37

  6. A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric

    Science of Computer Programming, Vol. 184

  7. A review of annotation classification tools in the educational domain

    Open Computer Science, Vol. 9, Núm. 1, pp. 299-307

  8. An Assertional Proof of Red–Black Trees Using Dafny

    Journal of Automated Reasoning

  9. An expert system for checking the correctness of memory systems using simulation and metamorphic testing

    Expert Systems with Applications, Vol. 132, pp. 44-62

  10. An overview of a novel analysis approach for enhancing context awareness in smart environments

    Information and Software Technology, Vol. 111, pp. 131-143

  11. An overview on consensus-based approaches to processing collective inconsistency and knowledge integration

    Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, Vol. 9, Núm. 4

  12. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 990-1005

  13. Executing bigraphical reactive systems

    Discrete Applied Mathematics, Vol. 253, pp. 73-92

  14. FlinkCheck: Property-based testing for apache flink

    IEEE Access, Vol. 7, pp. 150369-150382

  15. How to interweave accessibility with didactic and technological quality of digital educational materials

    Journal of accessibility and design for all: JACCES, Vol. 9, Núm. 2, pp. 141-168

  16. ILSA (Ingeniería de Lenguajes Software y Aplicaciones), UCM: Investigación en Repositorios de Objetos Educativos en Dominios Especializados

    IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 30, pp. 90-103

  17. ITRS/GCRS transformation: Uncertainty propagation analysis and short-term modelling of IAU 2006/2000A developments

    Advances in Space Research, Vol. 63, Núm. 5, pp. 1792-1802

  18. Improving cloud architectures using UML profiles and M2T transformation techniques

    Journal of Supercomputing, Vol. 75, Núm. 12, pp. 8012-8058

  19. Incomplete smt techniques for solving non-linear formulas over the integers

    ACM Transactions on Computational Logic, Vol. 20, Núm. 4

  20. Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study

    Interactive Learning Environments, Vol. 27, Núm. 1, pp. 15-32