E.T.S.I. DE INFORMÁTICA
2020
-
A Model Specification Implementation for Trust Negotiation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A comparative study of reinforcement learning techniques to repair models
Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings
-
A model-driven approach to ensure trust in the IoT
Human-centric Computing and Information Sciences, Vol. 10, Núm. 1
-
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Extending OCL with Subjective Logic
Journal of Object Technology, Vol. 19, Núm. 3, pp. 1-15
-
Extensible and modular abstract syntax for feature modeling based on language constructs
ACM International Conference Proceeding Series
-
ICITPM: Integrity Validation of Software in Iterative Continuous Integration Through the Use of Trusted Platform Module (TPM)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Incorporating measurement uncertainty into OCL/UML primitive datatypes
Software and Systems Modeling, Vol. 19, Núm. 5, pp. 1163-1189
-
Live migration of trans-cloud applications
Computer Standards and Interfaces, Vol. 69
-
Model-based testing of apps in real network scenarios
International Journal on Software Tools for Technology Transfer, Vol. 22, Núm. 2, pp. 105-114
-
Modeling Behavioral Deontic Constraints Using UML and OCL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday
Journal of Object Technology, Vol. 19, Núm. 3, pp. 1-5
-
TrUStAPIS: a trust requirements elicitation method for IoT
International Journal of Information Security