Loïc Correnson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Mike Papadakis
54 publications
Sébastien Bardin
18 publications
Silvano Dal Zilio
13 publications
Nikolai Kosmatov
11 publications
Virgile Prevosto
8 publications
Michaël Marcozzi
2 publications
Serge Rainjonneau
2 publications
Vincent Mussot
1 publication
Yves Bardout
1 publication
Grégoire Scano
1 publication

research

∙ 01/31/2020

Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites

We propose a new approach for modelling the functional behaviour of an E...

0 Vincent Mussot, et al. ∙

research

∙ 08/29/2017

Freeing Testers from Polluting Test Objectives

Testing is the primary approach for detecting software defects. A major ...

0 Michaël Marcozzi, et al. ∙