LUIS FERNANDO
LLANA DÍAZ
Profesor titular de universidad
M. E.
C. P.
Publicaciones en las que colabora con M. E. C. P. (8)
2024
-
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies
PeerJ Computer Science, Vol. 10
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
-
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)