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
-
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)
-
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)
-
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)
-
TrUStAPIS: a trust requirements elicitation method for IoT
International Journal of Information Security