Personlig profil
Emneord
- Online privacy
- Privacy in data analytics
- Privacy in social networks
- Probabilistic programming
- Formal methods
Fingeraftryk
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
-
ProbTest: Unit Testing for Probabilistic Programs
Christensen, K., Varshosaz, M. & Pardo, R., 12 nov. 2025, Proceedings of 23rd International Conference on Software Engineering and Formal Methods (SEFM 2025). Springer Nature Switzerland, Bind 16192. s. 91-109 19 s. (LNCS, Bind 16192).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
Quantifying Privacy Risk with Gaussian Mixtures
Ronneberg, R., Randone, F., Pardo, R. & Wasowski, A., 23 jun. 2025, I: Software and Systems Modeling (SoSyM). s. 1-22 22 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling.
Dall, M. A., Pardo, R., Lumley, T. & Wasowski, A., 2025, 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 341. s. 12:1-12:18Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
Free open source communities sustainability: Does it make a difference in software quality?
Alami, A., Pardo, R. & Linåker, J., 23 jul. 2024, I: Empirical Software Engineering. 29, 114.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Model-Checking the Implementation of Consent
Pardo, R. & Métayer, D. L., 26 nov. 2024, Model-Checking the Implementation of Consent. Springer, Bind 15280. s. 253-271Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
PRO-TEST: Probabilistic Testing of Probabilistic Programs
Wasowski, A. (PI), Pardo Jimenez, R. (CoI), Varshosaz, M. (CoI) & Rafnsson, W. (CoI)
01/11/2025 → 31/10/2029
Projekter: Projekt › Forskning
-
REIDENT: Assessment of Reidentification Risks with Bayesian Probabilistic Programing
Wasowski, A. (PI) & Pardo Jimenez, R. (CoI)
01/09/2018 → 28/02/2022
Projekter: Projekt › Forskning
Forskningsdatasæt
-
Free Open Source Communities Sustainability: Does It Make a Difference in Software Quality?
Adam, A. (Ophavsmand), Raul, P. (Dataindsamler) & Johan, L. (Bidrager), ZENODO, 26 apr. 2024
DOI: 10.5281/zenodo.11069770, https://zenodo.org11069770 og et link mere, https://zenodo.org/records/10625578 (vis færre)
Datasæt
-
Model-Checking the Implementation of Consent (Accompanying Artifact)
Pardo, R. (Ophavsmand) & Métayer, D. L. (Ophavsmand), ZENODO, 26 jun. 2024
DOI: 10.5281/zenodo.12550375, https://zenodo.org/records/12550375
Datasæt: Software
-
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Accompanying Artifact)
Rønneberg, R. C. (Ophavsmand), Pardo, R. (Ophavsmand) & Wąsowski, A. (Ophavsmand), ZENODO, 22 jul. 2023
DOI: 10.5281/zenodo.8173905, https://zenodo.org/record/8173905
Datasæt: Software