Raúl Pardo

According to our database, Raúl Pardo authored at least 33 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Free open source communities sustainability: Does it make a difference in software quality?

Adam Alami, Raúl Pardo, Johan Linåker

Empir. Softw. Eng., September, 2024

Verification and Learning for Assured Autonomy.

Raúl Pardo, Devdatt Dubhashi, Gerardo Schneider, Hazem Torfah

Proceedings of the Bridging the Gap Between AI and Reality, 2024

Model-Checking the Implementation of Consent.

Raúl Pardo, Daniel Le Métayer

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Symbolic Quantitative Information Flow for Probabilistic Programs.

Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

Towards a Proof System for Probabilistic Dynamic Logic.

Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version).

Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski

CoRR, 2023

Exact and Efficient Bayesian Inference for Privacy Risk Quantification.

Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2022

Pull Request Governance in Open Source Communities.

Adam Alami, Raúl Pardo, Marisa Leavitt Cohn, Andrzej Wasowski

IEEE Trans. Software Eng., 2022

A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version).

Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski

CoRR, 2022

A Specification Logic for Programs in the Probabilistic Guarded Command Language.

Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores.

Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2022

How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming.

Louise Halvorsen, Siv L. Steffensen, Willard Rafnsson, Oksana Kulyk, Raúl Pardo

Proceedings of the IWSPA@CODASPY 2022: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics, 2022

2021

Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis.

Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski

Proceedings of the Computer Security - ESORICS 2021, 2021

2020

A collaborative access control framework for online social networks.

Hanaa Alshareef, Raúl Pardo, Gerardo Schneider, Pablo Picazo-Sanchez

J. Log. Algebraic Methods Program., 2020

Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis.

Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski

CoRR, 2020

SoK: Three Facets of Privacy Policies.

Victor Morel, Raúl Pardo

Proceedings of the WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, 2020

2019

Three Dimensions of Privacy Policies.

Victor Morel, Raúl Pardo

CoRR, 2019

Analysis of Privacy Policies to Enhance Informed Consent (Extended Version).

Raúl Pardo, Daniel Le Métayer

CoRR, 2019

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

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Analysis of Privacy Policies to Enhance Informed Consent.

Raúl Pardo, Daniel Le Métayer

Proceedings of the Data and Applications Security and Privacy XXXIII, 2019

2018

MoVEMo: A Structured Approach for Engineering Reward Functions.

Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Timed Epistemic Knowledge Bases for Social Networks.

Raúl Pardo, César Sánchez, Gerardo Schneider

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Formalising privacy policies in social networks.

Raúl Pardo, Musard Balliu, Gerardo Schneider

J. Log. Algebraic Methods Program., 2017

Model Checking Social Network Models.

Raúl Pardo, Gerardo Schneider

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Timed Epistemic Knowledge Bases for Social Networks (Extended Version).

Raúl Pardo, César Sánchez, Gerardo Schneider

CoRR, 2017

Secure Photo Sharing in Social Networks.

Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider

Proceedings of the ICT Systems Security and Privacy Protection, 2017

2016

Specification of Evolving Privacy Policies for Online Social Networks.

Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

An Automata-Based Approach to Evolving Privacy Policies for Social Networks.

Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider

Proceedings of the Runtime Verification - 16th International Conference, 2016

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.

Gordon J. Pace, Raúl Pardo, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2014

A Formal Privacy Policy Framework for Social Networks.

Raúl Pardo, Gerardo Schneider

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013

GPU Powered ROSA Analyzer.

Raúl Pardo, Fernando L. Pelayo, Pedro Valero-Lara

Proceedings of the 42nd International Conference on Parallel Processing, 2013

2012

ROSA Analyser: An automatized approach to analyse processes of ROSA

Raúl Pardo, Fernando L. Pelayo

Proceedings of the Proceedings 2nd Workshop on Formal Methods in the Development of Software, 2012

Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors.

Raúl Pardo, Fernando L. Pelayo

Proceedings of the 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2012