Follow
Michele Boreale
Michele Boreale
Università di Firenze, DiSIA
Verified email at unifi.it - Homepage
Title
Cited by
Cited by
Year
An implicit function theorem for the stream calculus
M Boreale, L Collodi, D Gorla
Logical Methods in Computer Science 20, 2024
2024
Products, polynomials and differential equations in the stream calculus
M Boreale, L Collodi, D Gorla
ACM Transactions on Computational Logic 25 (1), 1-26, 2024
12024
Verification, Model Checking, and Abstract Interpretation 2024
M Boreale
LECTURE NOTES IN COMPUTER SCIENCE, 141-162, 2024
2024
Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach
M Boreale, L Collodi
International Conference on Verification, Model Checking, and Abstract …, 2023
12023
Check for updates Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation
M Boreale, L Collodi
Verification, Model Checking, and Abstract Interpretation: 24th …, 2023
2023
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation
M Boreale, L Collodi
International Conference on Verification, Model Checking, and Abstract …, 2023
2023
Approximate Bayesian Computation for Probabilistic Damage Identification
C Viscardi, S Monchetti, L Collodi, G Bartoli, M Betti, M Boreale, F Corradi
Book of the Short Papers SIS 2023, 544-549, 2023
2023
Linearization, Model Reduction and Reachability in Nonlinear odes
M Boreale, L Collodi
International Conference on Reachability Problems, 49-66, 2022
32022
Automatic pre-and postconditions for partial differential equations
M Boreale
Information and Computation 285, 104860, 2022
42022
A linear-algebraic method to compute polynomial PDE conservation laws
M Boreale, L Collodi
Journal of Symbolic Computation 108, 55-72, 2022
12022
Weighted approximate Bayesian computation via Sanov’s theorem
C Viscardi, M Boreale, F Corradi
Computational Statistics 36 (4), 2719-2753, 2021
2021
Algebra and coalgebra of stream products
M Boreale, D Gorla
arXiv preprint arXiv:2107.04455, 2021
52021
Inference on Markov chains parameters via Large Deviations ABC
F Corradi, C Viscardi, M Boreale, A Mira
Book of Short papers SIS 2021, 1518-1523, 2021
2021
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes
M Boreale
Science of Computer Programming 193, 102441, 2020
242020
Output sampling for output diversity in automatic unit test generation
HD Menendez, M Boreale, D Gorla, D Clark
IEEE Transactions on Software Engineering 48 (1), 295-308, 2020
102020
Improving ABC via large deviations theory
C Viscardi, F Corradi, M Boreale
Book of short papers SIS 2020, 673-678, 2020
2020
Relative privacy threats and learning from anonymized data
M Boreale, F Corradi, C Viscardi
IEEE Transactions on Information Forensics and Security 15, 1379-1393, 2019
42019
Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
M Boreale, F Corradini, M Loreti, R Pugliese
Springer, 2019
12019
Algebra, coalgebra, and minimization in polynomial differential equations
M Boreale
Logical Methods in Computer Science 15, 2019
312019
On the coalgebra of partial differential equations
M Boreale
44th International Symposium on Mathematical Foundations of Computer Science …, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20