Raul Pardo Jimenez

Doktorand at Chalmers, Computer Science and Engineering (Chalmers), [Formella metoder]



Data-Driven Secure Business Intelligence (DataBIN)

David Sands Software Technology (Chalmers)
Andrei Sabelfeld Software Technology (Chalmers)
Peter Damaschke Computing Science (Chalmers)
Devdatt Dubhashi Computing Science (Chalmers)
Olof Mogren Computing Science (Chalmers)
Fredrik Johansson Computing Science (Chalmers)
Raul Pardo Jimenez Software Technology (Chalmers)
Gerardo Schneider Software Technology (Chalmers)
Hamid Ebadi Tavallaei Software Technology (Chalmers)
Swedish Foundation for Strategic Research (SSF)

There might be more projects where Raul Pardo Jimenez participates, but you have to be logged in as a Chalmers employee to see them.



Formalising privacy policies in social networks

Raul Pardo Jimenez, Musard Balliu, Gerardo Schneider et al
Journal of Logical and Algebraic Methods in Programming. Vol. 90, p. 125-157
Scientific journal article - peer reviewed

Secure photo sharing in social networks

P. Picazo-Sanchez, Raul Pardo Jimenez, G. Schneider et al
32nd International Conference on ICT Systems Security and Privacy Protection, (IFIP Advances in Information and Communication Technology). Vol. 502, p. 79-92
Conference paper - peer reviewed

Specification of Evolving Privacy Policies for Online Social Networks

Raul Pardo Jimenez, I. Kellyerova, C. Sanchez et al
Proceedings 23rd International Symposium on Temporal Representation and Reasoning - Time 2016, p. 70-79
Conference paper - peer reviewed

On the runtime enforcement of evolving privacy policies in online social networks

Gordon J. Pace, Raul Pardo Jimenez, Gerardo Schneider et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9953, p. 407-412
Conference paper - peer reviewed

An automata-based approach to evolving privacy policies for social networks

Raul Pardo Jimenez, C. Colombo, G.J. Pace et al
Lecture Notes in Computer Science. 16th International Conference on Runtime Verification, RV 2016, Madrid, Spain, 23-30 September 2016. Vol. 10012, p. 285-301
Conference paper - peer reviewed

Formalising Privacy Policies for Social Networks

Raul Pardo Jimenez,
Licentiate thesis

A Formal Privacy Policy Framework for Social Networks

Raul Pardo Jimenez, Gerardo Schneider,
12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. Lecture Notes in Computer Science. Vol. 8702, p. 378-392
Conference paper - peer reviewed

GPU powered ROSA analyzer

Raul Pardo Jimenez, F.L. Pelayo, P.V. Lara et al
42nd Annual International Conference on Parallel Processing, ICPP 2013; Lyon; France; 1 October 2013 through 4 October 2013, p. 901-908
Conference paper - peer reviewed