Loïc Correnson | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred