![Foto de M. E.](/img/nophoto.png)
M. E.
C. P.
Publicaciones en las que colabora con M. E. C. P. (18)
2024
-
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies
PeerJ Computer Science, Vol. 10
2023
-
Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures
Journal of Cloud Computing, Vol. 12, Núm. 1
2022
-
Evaluating cloud interactions with costs and SLAs
Journal of Supercomputing, Vol. 78, Núm. 6, pp. 7529-7555
-
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
-
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
-
Profiling SLAs for Cloud System Infrastructures and User Interactions
PeerJ Computer Science, Vol. 7, pp. 1-37
-
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
-
Runtime Verification of Contracts with Themulus
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Themulus: A Timed Contract-calculus
International Conference on Model-Driven Engineering and Software Development
-
Themulus: A timed contract-calculus
MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development
2019
-
A Framework for Modeling Cloud Infrastructures and User Interactions
IEEE Access, Vol. 7, pp. 43269-43285
-
Improving cloud architectures using UML profiles and M2T transformation techniques
Journal of Supercomputing, Vol. 75, Núm. 12, pp. 8012-8058
-
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
-
A Calculus Supporting Contract Reasoning and Monitoring
IEEE Access, Vol. 5, pp. 6735-6745
-
Timed contract compliance under event timing uncertainty
Frontiers in Artificial Intelligence and Applications
2016
-
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
-
Passive testing of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Formal passive testing of service-oriented systems
Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010