Francesca Randone

According to our database, Francesca Randone authored at least 12 papers between 2020 and 2026.

Collaborative distances:

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

2026

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling.

Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs.

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

Dataset, June, 2025

Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs.

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

Dataset, April, 2025

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back.

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

Proc. ACM Program. Lang., 2025

Evolutionary Synthesis of Probabilistic Programs.

Romina Doz, Francesca Randone, Eric Medvet, Luca Bortolussi

Proceedings of the Genetic and Evolutionary Computation Conference, 2025

2024

Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures.

Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone

Proc. ACM Program. Lang., January, 2024

Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems.

Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 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

2022

Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling.

Francesca Randone, Luca Bortolussi, Mirco Tribastone

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Refining Mean-field Approximations by Dynamic State Truncation.

Francesca Randone, Luca Bortolussi, Mirco Tribastone

Proceedings of the SIGMETRICS '21: ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2021

Model learning with personalized interpretability estimation (ML-PIE).

Marco Virgolin, Andrea De Lorenzo, Francesca Randone, Eric Medvet, Mattias Wahde

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020

Learning a Formula of Interpretability to Learn Interpretable Formulas.

Marco Virgolin, Andrea De Lorenzo, Eric Medvet, Francesca Randone

Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020