Departament
Sistemas Informáticos y Computación
Aportacions a congrés (43) Publicacions en què ha participat algun/a investigador/a
2006
-
A formal framework to reduce communications in communication systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A logic for assessing sets of heterogeneous testing hypotheses
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A tool for interactive learning of data structures and algorithms
8th International Symposium on Computers in Education Proceedings, SIIE 2006
-
Abstract interpretation with specialized definitions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Accelerated modal abstractions of labelled transition systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
An incremental approach to abstraction-carrying code
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
ArgoSPE: Model-based software performance engineering
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Assessing the expressivity of formal specification languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Checking for deadlock, double-free and other abuses in the Linux kernel source code
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Conformance testing relations for timed systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Constructive failure in functional-logic programming: From theory to implementation
Journal of Universal Computer Science
-
Contenido, forma y función en textos del dominio del cine: la reseña y la crítica cinematográficas
Lingüística aplicada en la sociedad de la información y la comunicación
-
Context-sensitive multivariant assertion checking in modular programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Converting one type-based abstract domain to another
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Customized testing for probabilistic systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Declarative diagnosis of wrong answers in constraint functional-logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Derivation of a suitable finite test suite for customized probabilistic systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Detecting deadlock, double-free and other abuses in a million lines of Linux kernel source
Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30
-
Detecting deadlock, double-free and other abuses in a million lines of linux kernel source
30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS
-
Detecting determinacy in prolog programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)