Raúl Pardo

According to our database1, Raúl Pardo authored at least 13 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


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).
CoRR, 2017

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

A Formal Privacy Policy Framework for Social Networks.
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