Emmanuel Chailloux | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Thierry Lecomte
4 publications
Sylvain Conchon
3 publications
Vincent Botbol
3 publications
David Deharbe
3 publications
Etienne Prun
2 publications
Mathias Bourgoin
2 publications
Adilla Susungi
1 publication
Tristan Le Gall
1 publication
Steven Varoumas
1 publication
Denis Sabatier
1 publication
Patrick Péronne
1 publication

research

∙ 06/10/2020

Objective Caml for Multicore Architectures

Objective Caml is a famous dialect of the ML family languages. It is wel...

0 Mathias Bourgoin, et al. ∙

research

∙ 05/13/2020

Low Cost High Integrity Platform

Developing safety critical applications often require rare human resourc...

0 Thierry Lecomte, et al. ∙

research

∙ 11/23/2016

Static Analysis of Communicating Processes using Symbolic Transducers

We present a general model allowing static analysis based on abstract in...

0 Vincent Botbol, et al. ∙