Raul Pardo Jimenez

Gästforskare vid Chalmers, Data- och informationsteknik, Formella metoder

Visar 12 publikationer

2018

MoVEMo - A structured approach for engineering reward functions

Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al
Paper i proceeding
2018

Timed epistemic knowledge bases for social networks

Raul Pardo Jimenez, César Sánchez, Gerardo Schneider
Lecture Notes in Computer Science. Vol. 10951, p. 185-202
Paper i proceeding
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 i proceeding
2017

Privacy Policies for Social Networks - A Formal Approach

Raul Pardo Jimenez
Doktorsavhandling
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
Artikel i vetenskaplig tidskrift
2017

Model checking social network models

Raul Pardo Jimenez, Gerardo Schneider
Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 256, p. 238-252
Paper i proceeding
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 i proceeding
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. Vol. 9953, p. 407-412
Paper i proceeding
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. Vol. 10012, p. 285-301
Paper i proceeding
2015

Formalising Privacy Policies for Social Networks

Raul Pardo Jimenez
Licentiatavhandling
2014

A Formal Privacy Policy Framework for Social Networks

Raul Pardo Jimenez, Gerardo Schneider
Lecture Notes in Computer Science. Vol. 8702, p. 378-392
Paper i proceeding
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 i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 1 forskningsprojekt

2012–2016

Informationsdriven säker Business Intelligence (DataBIN)

David Sands Programvaruteknik
Devdatt Dubhashi Datavetenskap
Peter Damaschke Datavetenskap
Gerardo Schneider Programvaruteknik
Olof Mogren Datavetenskap
Raul Pardo Jimenez Programvaruteknik
Hamid Ebadi Tavallaei Programvaruteknik
Fredrik Johansson Datavetenskap
Andrei Sabelfeld Programvaruteknik
Stiftelsen för Strategisk forskning (SSF)

Det kan finnas fler projekt där Raul Pardo Jimenez medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.