Raul Pardo Jimenez

Publications (13)
Projects (1)

Showing 13 publications

2019

Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11761 LNCS, p. 228-243

Paper in proceeding

2018

MoVEMo - A structured approach for engineering reward functions

Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al

Proceedings - 2nd IEEE International Conference on Robotic Computing, IRC 2018. Vol. 2018-January, p. 250-257

Paper in proceeding

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 LNCS, p. 185-202

Paper in 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 in proceeding

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

Privacy Policies for Social Networks - A Formal Approach

Raul Pardo Jimenez

Doctoral thesis

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 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10012 LNCS, p. 285-301

Paper in 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9953 LNCS, p. 407-412

Paper in 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 in proceeding

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 LNCS, p. 378-392

Paper in 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 in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.