According to our database1, Raúl Pardo
Legend:Book In proceedings Article PhD thesis Other
MoVEMo: A Structured Approach for Engineering Reward Functions.
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018
Timed Epistemic Knowledge Bases for Social Networks.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Formalising privacy policies in social networks.
J. Log. Algebr. Meth. Program., 2017
Model Checking Social Network Models.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Timed Epistemic Knowledge Bases for Social Networks (Extended Version).
Secure Photo Sharing in Social Networks.
Proceedings of the ICT Systems Security and Privacy Protection, 2017
Specification of Evolving Privacy Policies for Online Social Networks.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
An Automata-Based Approach to Evolving Privacy Policies for Social Networks.
Proceedings of the Runtime Verification - 16th International Conference, 2016
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
GPU Powered ROSA Analyzer.
Proceedings of the 42nd International Conference on Parallel Processing, 2013
ROSA Analyser: An automatized approach to analyse processes of ROSA
Proceedings of the Proceedings 2nd Workshop on Formal Methods in the Development of Software, 2012
Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors.
Proceedings of the 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2012