Fachbereich
Sistemas Informáticos y Computación
Artikel (26) Publikationen, an denen Forscher/innen teilgenommen haben
2015
-
A methodology for validating cloud models using metamorphic testing
Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 127-135
-
A multi-domain incremental analysis engine and its application to incremental resource analysis
Theoretical Computer Science, Vol. 585, pp. 91-114
-
A practical comparator of cost functions and its applications
Science of Computer Programming, Vol. 111, Núm. P3, pp. 483-504
-
A semantic approach for designing Assistive Software Recommender systems
Journal of Systems and Software, Vol. 104, pp. 166-178
-
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
-
A zoom-declarative debugger for sequential Erlang programs
Science of Computer Programming, Vol. 110, pp. 104-118
-
AVERIST: An Algorithmic Verifier for Stability
Electronic Notes in Theoretical Computer Science, Vol. 317, pp. 133-139
-
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
-
Building Real-Time Collaborative Applications with a Federated Architecture
IJIMAI, Vol. 3, Núm. 5, pp. 47-52
-
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
-
Discrete wavelets transform for improving greenness image segmentation in agricultural images
Computers and Electronics in Agriculture, Vol. 118, pp. 396-407
-
Finding your way among ISO standards for terminology,language and linguistics
Verbeia: Journal of English and Spanish Studies = revista de estudios filológicos, Núm. 0, pp. 158-182
-
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. 87-99
-
May-happen-in-parallel analysis for actor-based concurrency
ACM Transactions on Computational Logic, Vol. 17, Núm. 2
-
Normal higher-order termination
ACM Transactions on Computational Logic, Vol. 16, Núm. 2
-
Normalización de las anotaciones morfosintácticas y sintácticas del español: el caso de FreeLing
E-Aesla, Núm. 1
-
Object-sensitive cost analysis for concurrent objects
Software Testing Verification and Reliability, Vol. 25, Núm. 3, pp. 218-271
-
Quantified abstract configurations of distributed systems
Formal Aspects of Computing, Vol. 27, Núm. 4, pp. 665-699
-
Self-adaptive communication for collaborative mobile entities in ERCMS
International Journal of Autonomous and Adaptive Communications Systems, Vol. 8, Núm. 1, pp. 1-22
-
Shape analysis in a functional language by using regular languages
Science of Computer Programming, Vol. 111, Núm. P1, pp. 51-78