Sistemas Informáticos y Computación

2013

1. A CLP heap solver for test case generation

   Theory and Practice of Logic Programming

2. A declarative debugger for sequential Erlang programs

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

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

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

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

   Proceedings of the ACM Symposium on Applied Computing

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

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

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

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

10. Automatic inference of bounds on resource consumption

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

11. Contract compliance monitoring of web services

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

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

13. Distances between processes: A pure algebraic approach

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

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

    Procedia Computer Science

15. Engineering virtualized services

    ACM International Conference Proceeding Series

16. Finite type extensions in constraint programming

    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013

17. Formal specification of the Kademlia and the Kad routing tables in Maude

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

18. Formalizing a broader recursion coverage in SQL

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

19. GMTE: A tool for graph transformation and exact/inexact graph matching

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

20. Grammar-driven development of JSON processing applications

    2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013