19 citations · 47 across the 8 of their papers we have counts for
8 papers
An implicit function theorem for the stream calculus
Michele Boreale, Luisa Collodi, Daniele Gorla
In the context of the stream calculus, we present an Implicit Function Theorem (IFT) for polynomial systems, and discuss its relations with the classical IFT from calculus. In part…
Algebra and coalgebra of stream products
Michele Boreale, Daniele Gorla
We study connections among polynomials, differential equations and streams over a field K, in terms of algebra and coalgebra. We first introduce the class of (F,G)-products on stre…
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
Michele Boreale, Daniele Gorla
The problem of counting the number of models of a given Boolean formula has numerous applications, including computing the leakage of deterministic programs in Quantitative Informa…
Algebra, coalgebra, and minimization in polynomial differential equations
Michele Boreale
We consider reasoning and minimization in systems of polynomial ordinary differential equations (ode's). The ring of multivariate polynomials is employed as a syntax for denoting s…
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs
Michele Boreale
A system of polynomial ordinary differential equations (ODEs) is specified via a vector of multivariate polynomials, or vector field, . A safety assertion mea…
Quantitative information flow under generic leakage functions and adaptive adversaries
M. Boreale, Francesca Pampaloni
We put forward a model of action-based randomization mechanisms to analyse quantitative information flow (QIF) under generic leakage functions, and under possibly adaptive adversar…