Raúl Pardo

43 papers A 1B 8C 2Misc 1Journal 18Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Incubation and Beyond: A Comparative Analysis of ASF Projects Sustainability Impacts on Software Quality.
CoRR
Adam Alami, Steffan Klockmann, Lasse Rehder Sørensen, Raúl Pardo, Johan Linåker
2025 J jnl
ProbTest: Unit Testing for Probabilistic Programs (Extended Version).
CoRR
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
2025 B conf
ProbTest: Unit Testing for Probabilistic Programs.
SEFM
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
2025 A conf
SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling.
SAT
Maja Aaslyng Dall, Raúl Pardo, Thomas Lumley, Andrzej Wasowski
2025 J jnl
Scalable Thread-Safety Analysis of Java Classes with CodeQL.
CoRR
Bjørnar Haugstad Jåtten, Simon Boye Jørgensen, Rasmus Petersen, Raúl Pardo
2024 J jnl
Free Open Source Communities Sustainability: Does It Make a Difference in Software Quality?
CoRR
Adam Alami, Raúl Pardo, Johan Linåker
2024 J jnl
Free open source communities sustainability: Does it make a difference in software quality?
Empir. Softw. Eng.
Adam Alami, Raúl Pardo, Johan Linåker
2024 B conf
Model-Checking the Implementation of Consent.
SEFM
Raúl Pardo, Daniel Le Métayer
2024 J jnl
Model-Checking the Implementation of Consent.
CoRR
Raúl Pardo, Daniel Le Métayer
2024 — conf
Symbolic Quantitative Information Flow for Probabilistic Programs.
Principles of Verification (1)
Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski
2024 J jnl
Symbolic Quantitative Information Flow for Probabilistic Programs.
CoRR
Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski
2024 — conf
Towards a Proof System for Probabilistic Dynamic Logic.
Principles of Verification (1)
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2024 J jnl
Towards a Proof System for Probabilistic Dynamic Logic.
CoRR
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2024 — conf
Verification and Learning for Assured Autonomy.
AISoLA
Raúl Pardo, Devdatt P. Dubhashi, Gerardo Schneider, Hazem Torfah
2023 J jnl
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version).
CoRR
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
2023 B conf
Exact and Efficient Bayesian Inference for Privacy Risk Quantification.
SEFM
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
2022 J jnl
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version).
CoRR
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
2022 C conf
A Specification Logic for Programs in the Probabilistic Guarded Command Language.
ICTAC
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
2022 — conf
How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming.
IWSPA@CODASPY
Louise Halvorsen, Siv L. Steffensen, Willard Rafnsson, Oksana Kulyk, Raúl Pardo
2022 — conf
Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores.
DPM/CBT@ESORICS
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
2022 J jnl
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores.
CoRR
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
2022 J jnl
Pull Request Governance in Open Source Communities.
IEEE Trans. Software Eng.
Adam Alami, Raúl Pardo, Marisa Leavitt Cohn, Andrzej Wasowski
2021 — conf
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis.
ESORICS (2)
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
2020 J jnl
A collaborative access control framework for online social networks.
J. Log. Algebraic Methods Program.
Hanaa Alshareef, Raúl Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
2020 J jnl
Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis.
CoRR
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
2020 — conf
SoK: Three Facets of Privacy Policies.
WPES@CCS
Victor Morel, Raúl Pardo
2019 J jnl
Analysis of Privacy Policies to Enhance Informed Consent (Extended Version).
CoRR
Raúl Pardo, Daniel Le Métayer
2019 B conf
Analysis of Privacy Policies to Enhance Informed Consent.
DBSec
Raúl Pardo, Daniel Le Métayer
2019 J jnl
Three Dimensions of Privacy Policies.
CoRR
Victor Morel, Raúl Pardo
2019 — conf
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier.
FSEN
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
2018 — conf
MoVEMo: A Structured Approach for Engineering Reward Functions.
IRC
Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
2018 B conf
Timed Epistemic Knowledge Bases for Social Networks.
FM
Raúl Pardo, César Sánchez, Gerardo Schneider
2017 J jnl
Formalising privacy policies in social networks.
J. Log. Algebraic Methods Program.
Raúl Pardo, Musard Balliu, Gerardo Schneider
2017 — conf
Model Checking Social Network Models.
GandALF
Raúl Pardo, Gerardo Schneider
2017 Misc conf
Secure Photo Sharing in Social Networks.
SEC
Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider
2017 J jnl
Timed Epistemic Knowledge Bases for Social Networks (Extended Version).
CoRR
Raúl Pardo, César Sánchez, Gerardo Schneider
2016 B conf
An Automata-Based Approach to Evolving Privacy Policies for Social Networks.
RV
Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
2016 — conf
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.
ISoLA (2)
Gordon J. Pace, Raúl Pardo, Gerardo Schneider
2016 C conf
Specification of Evolving Privacy Policies for Online Social Networks.
TIME
Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider
2014 B conf
A Formal Privacy Policy Framework for Social Networks.
SEFM
Raúl Pardo, Gerardo Schneider
2013 B conf
GPU Powered ROSA Analyzer.
ICPP
Raúl Pardo, Fernando L. Pelayo, Pedro Valero-Lara
2012 — conf
Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors.
ICCI*CC
Raúl Pardo, Fernando L. Pelayo
2012 — conf
ROSA Analyser: An automatized approach to analyse processes of ROSA
WS-FMDS
Raúl Pardo, Fernando L. Pelayo