Publications in collaboration with researchers from Universidad de Castilla-La Mancha (32)

2023

  1. Heuristics for Quantum Computing Dealing with 3-SAT

    Mathematics, Vol. 11, Núm. 8

2021

  1. Evaluating genetic algorithms through the approximability hierarchy

    Journal of Computational Science, Vol. 53

2020

  1. Runtime Verification of Contracts with Themulus

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

  2. Themulus: A Timed Contract-calculus

    International Conference on Model-Driven Engineering and Software Development

  3. Themulus: A timed contract-calculus

    MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development

2019

  1. Mobile applications for people with Parkinson’s disease: A systematic search in app stores and content review

    Journal of Universal Computer Science, Vol. 25, Núm. 7, pp. 740-763

2017

  1. A Calculus Supporting Contract Reasoning and Monitoring

    IEEE Access, Vol. 5, pp. 6735-6745

  2. Data-aware automatic derivation of choreography-conforming systems of services

    Computer Standards and Interfaces, Vol. 53, pp. 59-79

  3. Timed contract compliance under event timing uncertainty

    Frontiers in Artificial Intelligence and Applications

2016

  1. The simulation relation for formal E-Contracts

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

2015

  1. A methodology for designing energy-aware systems for computational science

    Procedia Computer Science

  2. IDK and ICARO to develop multi-agent systems in support of Ambient Intelligence

    Journal of Intelligent and Fuzzy Systems, Vol. 28, Núm. 1, pp. 3-15

2013

  1. Contract compliance monitoring of web services

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

  2. Reagent: Reverse engineering of multi-agent systems

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

2012

  1. A centralized and a decentralized method to automatically derive choreography-conforming web service systems

    Journal of Logic and Algebraic Programming

  2. Improving the automatic derivation of choreography-conforming web services systems

    Procedia Computer Science

2011

  1. DIEGO: A tool for deriving chorEoGraphy-cOnforming web service systems

    Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

  2. Passive testing of web services

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

  3. Summary creation for information discovery in distributed systems

    Proceedings - 19th International Euromicro Conference on Parallel, Distributed, and Network-Based Processing, PDP 2011

2010

  1. Formal passive testing of service-oriented systems

    Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010