Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors. - Raúl Pardo; Fernando L. Pelayo (ICCI*CC, 2012)

ROSA Analyser: An automatized approach to analyse processes of ROSA - Raúl Pardo; Fernando L. Pelayo (WS-FMDS, 2012)

GPU Powered ROSA Analyzer. - Raúl Pardo; Fernando L. Pelayo; Pedro Valero-Lara (ICPP, 2013)

A Formal Privacy Policy Framework for Social Networks. - Raúl Pardo; Gerardo Schneider (SEFM, 2014)

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. - Gordon J. Pace; Raúl Pardo; Gerardo Schneider (ISoLA (2), 2016)

An Automata-Based Approach to Evolving Privacy Policies for Social Networks. - Raúl Pardo; Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (RV, 2016)

Specification of Evolving Privacy Policies for Online Social Networks. - Raúl Pardo; Ivana Kellyerova; César Sánchez 001; Gerardo Schneider (TIME, 2016)

Secure Photo Sharing in Social Networks. - Pablo Picazo-Sanchez; Raúl Pardo; Gerardo Schneider (SEC, 2017)

Timed Epistemic Knowledge Bases for Social Networks (Extended Version). - Raúl Pardo; César Sánchez 001; Gerardo Schneider (CoRR, 2017)

Model Checking Social Network Models. - Raúl Pardo; Gerardo Schneider (GandALF, 2017)

Formalising privacy policies in social networks. - Raúl Pardo; Musard Balliu; Gerardo Schneider (J. Log. Algebraic Methods Program., 2017)

Timed Epistemic Knowledge Bases for Social Networks. - Raúl Pardo; César Sánchez 001; Gerardo Schneider (FM, 2018)

MoVEMo: A Structured Approach for Engineering Reward Functions. - Piergiuseppe Mallozzi; Raúl Pardo; Vincent Duplessis; Patrizio Pelliccione; Gerardo Schneider (IRC, 2018)

Analysis of Privacy Policies to Enhance Informed Consent. - Raúl Pardo; Daniel Le Métayer (DBSec, 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 (FSEN, 2019)

Analysis of Privacy Policies to Enhance Informed Consent (Extended Version). - Raúl Pardo; Daniel Le Métayer (CoRR, 2019)

Three Dimensions of Privacy Policies. - Victor Morel; Raúl Pardo (CoRR, 2019)

SoK: Three Facets of Privacy Policies. - Victor Morel; Raúl Pardo (WPES@CCS, 2020)

Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. - Raúl Pardo; Willard Rafnsson; Christian W. Probst; Andrzej Wasowski (CoRR, 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: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. - Raúl Pardo; Willard Rafnsson; Christian W. Probst; Andrzej Wasowski (ESORICS (2), 2021)

How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming. - Louise Halvorsen; Siv L. Steffensen; Willard Rafnsson; Oksana Kulyk; Raúl Pardo (IWSPA@CODASPY, 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 001; Andrzej Wasowski (DPM/CBT@ESORICS, 2022)

A Specification Logic for Programs in the Probabilistic Guarded Command Language. - Raúl Pardo; Einar Broch Johnsen; Ina Schaefer; Andrzej Wasowski (ICTAC, 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)

Pull Request Governance in Open Source Communities. - Adam Alami; Raúl Pardo; Marisa Leavitt Cohn; Andrzej Wasowski (IEEE Trans. Software Eng., 2022)

Exact and Efficient Bayesian Inference for Privacy Risk Quantification. - Rasmus C. Rønneberg; Raúl Pardo; Andrzej Wasowski (SEFM, 2023)

Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version). - Rasmus C. Rønneberg; Raúl Pardo; Andrzej Wasowski (CoRR, 2023)

Towards a Proof System for Probabilistic Dynamic Logic. - Einar Broch Johnsen; Eduard Kamburjan; Raúl Pardo; Erik Voogd; Andrzej Wasowski (Principles of Verification (1), 2024)

Symbolic Quantitative Information Flow for Probabilistic Programs. - Philipp Schröer; Francesca Randone; Raúl Pardo; Andrzej Wasowski (Principles of Verification (1), 2024)

Model-Checking the Implementation of Consent. - Raúl Pardo; Daniel Le Métayer (SEFM, 2024)

Verification and Learning for Assured Autonomy. - Raúl Pardo; Devdatt Dubhashi; Gerardo Schneider; Hazem Torfah (AISoLA, 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., 2024)

SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling. - Maja Aaslyng Dall; Raúl Pardo; Thomas Lumley; Andrzej Wasowski (SAT, 2025)

Incubation and Beyond: A Comparative Analysis of ASF Projects Sustainability Impacts on Software Quality. - Adam Alami; Steffan Klockmann; Lasse Rehder Sørensen; Raúl Pardo; Johan Linåker (CoRR, 2025)