Sistemas Informáticos y Computación

2013

1. A CLP heap solver for test case generation

   Theory and Practice of Logic Programming

2. 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

3. A declarative debugger for sequential Erlang programs

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

4. A formal framework for software product lines

   Information and Software Technology, Vol. 55, Núm. 11, pp. 1925-1947

5. 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)

6. 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)

7. A model driven methodology for enabling autonomic reconfiguration of service oriented architecture

   Proceedings of the ACM Symposium on Applied Computing

8. 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

9. 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)

10. 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

11. An ACO-RFD hybrid method to solve NP-complete problems

    Frontiers of Computer Science, Vol. 7, Núm. 5, pp. 729-744

12. 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

13. Automatic inference of bounds on resource consumption

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

14. Comparing problem solving strategies for NP-hard optimization problems

    Fundamenta Informaticae, Vol. 124, Núm. 1-2, pp. 1-25

15. Contract compliance monitoring of web services

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

16. 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

17. Distances between processes: A pure algebraic approach

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

18. E-mc2: A formal framework for energy modelling in cloud computing

    Simulation Modelling Practice and Theory, Vol. 39, pp. 56-75

19. Eden's bees: Parallelizing artificial bee colony in a functional environment

    Procedia Computer Science

20. Engineering virtualized services

    ACM International Conference Proceeding Series