Raul Pardo Jimenez

Gästforskare at Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Showing 12 publications

2018

MoVEMo - A structured approach for engineering reward functions

Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al
Paper in proceedings
2018

Timed epistemic knowledge bases for social networks

Raul Pardo Jimenez, César Sánchez, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10951, p. 185-202
Paper in proceedings
2017

Secure photo sharing in social networks

P. Picazo-Sanchez, Raul Pardo Jimenez, Gerardo Schneider
IFIP Advances in Information and Communication Technology. Vol. 502, p. 79-92
Paper in proceedings
2017

Privacy Policies for Social Networks - A Formal Approach

Raul Pardo Jimenez
Doctoral thesis
2017

Formalising privacy policies in social networks

Raul Pardo Jimenez, Musard Balliu, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming. Vol. 90, p. 125-157
Journal article
2017

Model checking social network models

Raul Pardo Jimenez, Gerardo Schneider
Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 256, p. 238-252
Paper in proceedings
2016

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
Paper in proceedings
2016

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

Gordon J. Pace, Raul Pardo Jimenez, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9953, p. 407-412
Paper in proceedings
2016

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

Raul Pardo Jimenez, C. Colombo, Gordon J. Pace et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10012, p. 285-301
Paper in proceedings
2015

Formalising Privacy Policies for Social Networks

Raul Pardo Jimenez
Licentiate thesis
2014

A Formal Privacy Policy Framework for Social Networks

Raul Pardo Jimenez, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8702, p. 378-392
Paper in proceedings
2013

GPU powered ROSA analyzer

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

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

Showing 1 research projects

2012–2016

Data-Driven Secure Business Intelligence (DataBIN)

David Sands Software Technology (Chalmers)
Devdatt Dubhashi Computing Science (Chalmers)
Peter Damaschke Computing Science (Chalmers)
Gerardo Schneider Software Technology (Chalmers)
Olof Mogren Computing Science (Chalmers)
Raul Pardo Jimenez Software Technology (Chalmers)
Hamid Ebadi Tavallaei Software Technology (Chalmers)
Fredrik Johansson Computing Science (Chalmers)
Andrei Sabelfeld 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.