Matthieu Dien | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Arnaud Gotlieb
18 publications
Olivier Bodini
10 publications
Catherine Dubois
6 publications
Antoine Genitrini
6 publications
Alfredo Viola
4 publications
Vincent Botbol
3 publications
Martin Pépin
2 publications
Ghiles Ziat
1 publication
Frédéric Peschanski
1 publication

research

∙ 08/26/2022

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types

In program verification, constraint-based random testing is a powerful t...

0 Ghiles Ziat, et al. ∙

research

∙ 07/03/2019

The Combinatorics of Barrier Synchronization

In this paper we study the notion of synchronization from the point of v...

0 Olivier Bodini, et al. ∙

research

∙ 03/02/2018

Beyond series-parallel concurrent systems: the case of arch processes

In this paper we focus on concurrent processes built on synchronization ...

0 Olivier Bodini, et al. ∙