Artículos (23) Publicaciones en las que ha participado algún/a investigador/a

2012

  1. A formal framework to test soft and hard deadlines in timed systems

    Software Testing Verification and Reliability, Vol. 22, Núm. 8, pp. 583-608

  2. A systematic approach to the implementation of attribute grammars with conventional compiler construction tools

    Computer Science and Information Systems, Vol. 9, Núm. 3, pp. 983-1017

  3. Alan Turing: una aproximación personal a su obra

    Gaceta de la Real Sociedad Matematica Española, Vol. 15, Núm. 4, pp. 675-696

  4. Architecture of a multiplatform virtual campus

    Software - Practice and Experience, Vol. 42, Núm. 10, pp. 1229-1246

  5. Building XML-driven application generators with compiler construction tools

    Computer Science and Information Systems, Vol. 9, Núm. 2, pp. 485-504

  6. Certificate size reduction in abstraction-carrying code

    Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318

  7. Developing Tools for Networks of Processors

    Triangle: Language, Literature, Computation = Lenguaje, Literatura, Computación = Llenguatge, Literatura, Computació, Núm. 7, pp. 25-59

  8. Dynamic-CoMPI: Dynamic optimization techniques for MPI parallel applications

    Journal of Supercomputing, Vol. 59, Núm. 1, pp. 361-391

  9. E-UCM (Grupo de Investigación en e-learning), UCM

    IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 15, pp. 37-46

  10. Formal passive testing of timed systems: Theory and tools

    Software Testing Verification and Reliability, Vol. 22, Núm. 6, pp. 365-405

  11. ICanCloud: A Flexible and Scalable Cloud Infrastructure Simulator

    Journal of Grid Computing, Vol. 10, Núm. 1, pp. 185-209

  12. ILSA (Ingeniería de Lenguajes Software y Aplicaciones), UCM

    IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 15, pp. 95-102

  13. Implementation relations and test generation for systems with distributed interfaces

    Distributed Computing, Vol. 25, Núm. 1, pp. 35-62

  14. Multiset rewriting for the verification of depth-bounded processes with name binding

    Information and Computation, Vol. 215, pp. 68-87

  15. NEPs Applied to Solve Specific Problems

    Triangle: Language, Literature, Computation = Lenguaje, Literatura, Computación = Llenguatge, Literatura, Computació, Núm. 7, pp. 63-100

  16. On the termination of integer loops

    ACM Transactions on Programming Languages and Systems, Vol. 34, Núm. 4

  17. SAT modulo linear arithmetic for solving polynomial constraints

    Journal of Automated Reasoning, Vol. 48, Núm. 1, pp. 107-131

  18. SIMCAN: A flexible, scalable and expandable simulation platform for modelling and simulating distributed architectures and applications

    Simulation Modelling Practice and Theory, Vol. 20, Núm. 1, pp. 12-32

  19. Specificity for interval-valued fuzzy sets

    International Journal of Computational Intelligence Systems, Vol. 5, Núm. 3, pp. 452-459

  20. Teaching Geometric Locus using GeoGebra: An experience with pre-service teachers

    GGIJRO (GeoGebra International Journal of Romania), Vol. 2, Núm. 1, pp. 209-224