Publicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (24)

2023

  1. Heuristics for Quantum Computing Dealing with 3-SAT

    Mathematics, Vol. 11, Núm. 8

  2. Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures

    Journal of Cloud Computing, Vol. 12, Núm. 1

2022

  1. ISO-Cloud: An Intelligent System for Optimizing the Overall Income in Cloud Providers

    2022 4th International Conference on Computer Communication and the Internet, ICCCI 2022

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. A Framework for Modeling Cloud Infrastructures and User Interactions

    IEEE Access, Vol. 7, pp. 43269-43285

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

2014

  1. WS-FMDS organizers' message

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

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)

2011

  1. Passive testing of web services

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

2010

  1. Formal passive testing of service-oriented systems

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

  2. Specification and testing of e-commerce agents described by using UIOLTSs

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

2009

  1. A novel formalism to represent collective intelligence in multi-agent systems

    Studies in Computational Intelligence

2008

  1. A comparative study of STOPA and RTPA

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

  2. A formal specification of the memorization process

    Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170