Département
Sistemas Informáticos y Computación
Publications (77) Publications auxquelles un chercheur a participé
2013
-
A CLP heap solver for test case generation
Theory and Practice of Logic Programming
-
A Meta-Relational Approach for the Definition and Management of Hybrid Learning Objects
Educational Technology and Society, Vol. 16, Núm. 4, pp. 258-274
-
A declarative debugger for sequential Erlang programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal framework for software product lines
Information and Software Technology, Vol. 55, Núm. 11, pp. 1925-1947
-
A framework for guided test case generation in constraint logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A generic program slicing technique based on language definitions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A model driven methodology for enabling autonomic reconfiguration of service oriented architecture
Proceedings of the ACM Symposium on Applied Computing
-
APET: A test case generation tool for concurrent objects
2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings
-
Abstraction based model-checking of stability of hybrid systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Adaptive and reconfigurable service-oriented and component-based applications and architectures (AROSA 2013)
Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE
-
An ACO-RFD hybrid method to solve NP-complete problems
Frontiers of Computer Science, Vol. 7, Núm. 5, pp. 729-744
-
Aplicaciones de la investigación operativa en desarrollo de Apps sobre medio ambiente, movilidad y sociedad
XXXIV Congreso Nacional de Estadística e Investigación Operativa, VIII Jornadas de Estadística Pública: SEIO 2013. Universitat Jaume I, Castellón, septiembre 2013. Libro de actas
-
Automatic inference of bounds on resource consumption
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Comparing problem solving strategies for NP-hard optimization problems
Fundamenta Informaticae, Vol. 124, Núm. 1-2, pp. 1-25
-
Contract compliance monitoring of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Different approaches for development tools for natural computers grammar Driven vs. Model driven approaches
ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence
-
Distances between processes: A pure algebraic approach
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
E-mc2: A formal framework for energy modelling in cloud computing
Simulation Modelling Practice and Theory, Vol. 39, pp. 56-75
-
Eden's bees: Parallelizing artificial bee colony in a functional environment
Procedia Computer Science
-
Engineering virtualized services
ACM International Conference Proceeding Series