Raul Pardo Jimenez

Publikationer (13)
Projekt (1)

Visar 13 publikationer

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 i 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, p. 250-257

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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

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

Privacy Policies for Social Networks - A Formal Approach

Raul Pardo Jimenez

Doktorsavhandling

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

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

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

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.