Francesca Randone

17 papers A 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2026 — conf
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling.
TACAS (1)
Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi
2026 J jnl
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling.
CoRR
Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi
2025 A conf
Evolutionary Synthesis of Probabilistic Programs.
GECCO
Romina Doz, Francesca Randone, Eric Medvet, Luca Bortolussi
2025 J jnl
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back.
CoRR
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2025 J jnl
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back.
Proc. ACM Program. Lang.
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2024 J jnl
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures.
Proc. ACM Program. Lang.
Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
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 Probabilistic Programming Approach to Analyse Collective Adaptive Systems.
ISoLA (1)
Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi
2023 J jnl
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures.
CoRR
Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
2022 — conf
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling.
QEST
Francesca Randone, Luca Bortolussi, Mirco Tribastone
2021 J jnl
Model Learning with Personalized Interpretability Estimation (ML-PIE).
CoRR
Marco Virgolin, Andrea De Lorenzo, Francesca Randone, Eric Medvet, Mattias Wahde
2021 — conf
Model learning with personalized interpretability estimation (ML-PIE).
GECCO Companion
Marco Virgolin, Andrea De Lorenzo, Francesca Randone, Eric Medvet, Mattias Wahde
2021 — conf
Refining Mean-field Approximations by Dynamic State Truncation.
SIGMETRICS (Abstracts)
Francesca Randone, Luca Bortolussi, Mirco Tribastone
2021 J jnl
Refining Mean-field Approximations by Dynamic State Truncation.
Proc. ACM Meas. Anal. Comput. Syst.
Francesca Randone, Luca Bortolussi, Mirco Tribastone
2020 — conf
Learning a Formula of Interpretability to Learn Interpretable Formulas.
PPSN (2)
Marco Virgolin, Andrea De Lorenzo, Eric Medvet, Francesca Randone
2020 J jnl
Learning a Formula of Interpretability to Learn Interpretable Formulas.
CoRR
Marco Virgolin, Andrea De Lorenzo, Eric Medvet, Francesca Randone