Publicaciones en las que colabora con M. E. C. P. (17)

2022

  1. Evaluating cloud interactions with costs and SLAs

    Journal of Supercomputing, Vol. 78, Núm. 6, pp. 7529-7555

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

2021

  1. Analyzing the Cloud Performance Using Different User Subscription Times

    International Journal of Software Engineering and Knowledge Engineering, Vol. 31, Núm. 11-12, pp. 1699-1720

  2. Profiling SLAs for Cloud System Infrastructures and User Interactions

    PeerJ Computer Science, Vol. 7, pp. 1-37

  3. Studying the impact of the user subscription times in different cloud configurations

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

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

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)

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