Departamento
Sistemas Informáticos y Computación
Artigos (23) Publicacións nas que participase algún/ha investigador/a
2012
-
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
-
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
-
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
-
Architecture of a multiplatform virtual campus
Software - Practice and Experience, Vol. 42, Núm. 10, pp. 1229-1246
-
Building XML-driven application generators with compiler construction tools
Computer Science and Information Systems, Vol. 9, Núm. 2, pp. 485-504
-
Certificate size reduction in abstraction-carrying code
Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318
-
Developing Tools for Networks of Processors
Triangle: Language, Literature, Computation = Lenguaje, Literatura, Computación = Llenguatge, Literatura, Computació, Núm. 7, pp. 25-59
-
Dynamic-CoMPI: Dynamic optimization techniques for MPI parallel applications
Journal of Supercomputing, Vol. 59, Núm. 1, pp. 361-391
-
E-UCM (Grupo de Investigación en e-learning), UCM
IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 15, pp. 37-46
-
Formal passive testing of timed systems: Theory and tools
Software Testing Verification and Reliability, Vol. 22, Núm. 6, pp. 365-405
-
ICanCloud: A Flexible and Scalable Cloud Infrastructure Simulator
Journal of Grid Computing, Vol. 10, Núm. 1, pp. 185-209
-
ILSA (Ingeniería de Lenguajes Software y Aplicaciones), UCM
IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 15, pp. 95-102
-
Implementation relations and test generation for systems with distributed interfaces
Distributed Computing, Vol. 25, Núm. 1, pp. 35-62
-
Multiset rewriting for the verification of depth-bounded processes with name binding
Information and Computation, Vol. 215, pp. 68-87
-
NEPs Applied to Solve Specific Problems
Triangle: Language, Literature, Computation = Lenguaje, Literatura, Computación = Llenguatge, Literatura, Computació, Núm. 7, pp. 63-100
-
On the termination of integer loops
ACM Transactions on Programming Languages and Systems, Vol. 34, Núm. 4
-
SAT modulo linear arithmetic for solving polynomial constraints
Journal of Automated Reasoning, Vol. 48, Núm. 1, pp. 107-131
-
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
-
Specificity for interval-valued fuzzy sets
International Journal of Computational Intelligence Systems, Vol. 5, Núm. 3, pp. 452-459
-
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