19 citations · 47 across the 8 of their papers we have counts for
6 papers · 1 filter
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…
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…
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal Zilio
The Software Transactional Memory (STM) model is an original approach for controlling concurrent accesses to ressources without the need for explicit lock-based synchronization mec…